"MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium focuses on the foundations and applications of formal methods in the development of hardware, firmware, middleware, and application software for systems, ranging from single embedded devices to highly networked cyber-physical systems and the Internet of Things."

Topics of interest include, but are not limited to security.

Security Models of Language Models

Dusko Pavlovich, University of Hawaii

The logic of attention enables Large Language Models (LLMs) to learn not only the languages but also the protocols sampled in their training corpuses. That is how their chatbots produce not just the well-formed sentences but also the well-mannered conversations.

Trust and Observability in Cyber Ecosystems

Ryan Hilger, Colorado State University, and Senior Non-Resident Fellow, Cyber Statecraft Initiative, Atlantic Council 
Steve Simske, Professor, Colorado State University

On Trojans in Refined Language Models

George Kesidis, David J. Miller, and Jayaram Raghuram
Anomalee Inc., State College, PA & Penn State University, University Park, PA

LLMs for Robotics and Autonomy: Safety Perspective

Sayan Mitra, Coordinated Science Laboratory Department of Electrical and Computer Engineering , University of Illinois, Urbana-Champaign

From generative pre-trained models to verifiable protocols for security and privacy preservation

Ufuk Topcu, The University of Texas at Austin

Comp-HuSim: Complex Human Simulations

Michael G. Yankoski, William & Mary and Colby College (Affiliate) 
Trenton W. Ford, William & Mary

"The International Conference on Engineering Digital Twins (EDTconf) aims to bring together researchers and practitioners on digital twins, from both academia and industry to shape the future of systematically designing, developing, evolving, maintaining, and validating digital twins."

Topics of interest include, but are not limited to security.