"This conference is dedicated to recognizing the dynamic interplay between emerging technologies and the incorporation of artificial intelligence-based tools in educational strategies and pedagogy. Amid exploring the ethical and responsible application of computing, we confront challenges such as the potential decline in student skills due to an overreliance on generative AI, which threatens to compromise the quality of education and the outcomes of learning.

"The CCSC-NW Conference is designed to promote quality computer-oriented curricula as well as effective use of computing in smaller institutions of higher learning which are typically non-research in orientation. We get together to share ideas and expertise about innovative uses of curricula in both Computer Science and Computer Information Systems, as well as the use of computers in the Liberal Arts and Sciences and General Education."

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

"This is the fourth edition of AIMLSystems targeting the research in the intersection of Systems Engineering and Artificial Intelligence and Machine Learning techniques. Through this conference, we plan to examine how immense strides in AI/ML techniques are made possible through advances in the computational systems and how the use of AI/ML can help in the data-driven explorations of the design space of the computational systems.

"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