TACPS 2024 (October) was held successfully

🎉🎉🎉 Congratulations! The second TACPS was successfully held in conjunction with ESWEEK on the 4th of OCT 2024!

Results

• Zheng, X., Li, Z., Ruchkin, I., Piskac, R., and Pajic, M. (2025). NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS . In Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE 2025).

Following the preparation and discussions during the workshop, both a Shonan Meeting and a Dagstuhl Seminar proposal were successfully accepted:

• Shonan Meeting No. 235 on “LLM-Guided Synthesis, Verification, and Testing of Learning-Enabled CPS” (to be held in March 2026).
• Dagstuhl Seminar 202501048 on “Advancing Testability and Verifiability of CPS with Neurosymbolic and Large Language Models” (to be held in October 2026).

Program

9:00–10:00 Welcome/Keynote session (Session Chair: Xi Zheng)

• Welcome Speech (Organizing Chairs: Xi Zheng, Aloysius K. Mok, Amir Khazraei, Miroslav Pajic)
• Keynote – Safety Verification via Deep Learning (Sanjoy Baruah from Washington University in St. Louis)

10:00–10:30: Coffee break

10:30–12:30 Session 1 (Session Chair: Ruzica Piskac)

• 10:30–11:15: Invited Talk I – How Safe Will I Be Given What I See? Visual Prediction of Calibrated Safety Chances with (Foundation) World Models (Ivan Ruchkin from University of Florida)
• 11:15–12:00: Invited Talk II – Behavioral Testing and Certification of Autonomous Vehicles (Parasara Sridhar Duggirala from the University of North Carolina at Chapel Hill)
• 12:00–12:30: Invited Talk III – Neuro-Symbolic Programming with Scallop (Ziyang Li from University of Pennsylvania)

12:30–13:30: Lunch break

13:30–15:00 Session 2 (Session Chair: Miroslav Pajic)

• 13:30–14:15: Invited Talk IV – Formal Methods for Accountable Cyber-physical Systems (Ruzica Piskac from Yale University)
• 14:15–15:00: Invited Talk V – Engineering Safe Autonomous Systems: Achievements and Challenges (Elena Troubitsyna, KTH Royal Institute of Technology)

15:00–15:30: Coffee break with Dagstuhl and Shonan Seminar Committee meeting

15:30–17:00 Session 3 (Session Chair: Xi Zheng)

• 15:30–16:15: Invited Talk VI – Current Trends in Neuro-Symbolic Paradigm (Armando Solar-Lezama, Massachusetts Institute of Technology)
• 16:15–17:00: Panel discussion on the impact of foundation models and the neuro-symbolic paradigm on trusted autonomy (Host: Xi Zheng, Panel Members: Ivan Ruchkin, Miroslav Pajic, Armando Solar-Lezama)

Committee

Workshop Chairs

• Dr. Xi Zheng (co-chair), Macquarie University
• Prof. Aloysius K. Mok (co-chair), University of Texas at Austin
• A/Prof. Miroslav Pajic (co-chair), Duke University
• Dr. Amir Khazraei (co-chair), Duke University

Steering Committee

• Dr. Xi Zheng, Macquarie University
• Prof. Aloysius K. Mok, University of Texas at Austin
• Prof. Insup Lee, University of Pennsylvania
• Prof. Oleg Sokolsky, University of Pennsylvania
• Prof. Bhaskar Krishnamachari, University of Southern California
• Prof. Dakai Zhu, The University of Texas at San Antonio
• A/Prof. Ruzica Piskac, Yale University