"Grace Hopper Celebration is the world’s largest tech conference for women and nonbinary people. It’s run by us, AnitaB.org, a nonprofit that works toward a future where technology is built by and for the people and societies who use it. Our organization started because of a trailblazing computer scientist named Anita Borg. Since the first GHC in 1994, we’ve continued the work to connect, inspire, and guide nonbinary people and women in tech, and we invite you to join us in-person OR virtually to see what it’s all about!"

"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