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