Workshop Plan
- 08:30 – 09:00 | Breakfast & Registration
- 09:00 – 10:30 | Keynote Session I & II
- Keynote I: Bridging Learning and Reasoning: From Solvers to LLMs Prof. Vijay Ganesh, Georgia Tech (40 mins talk + 5 mins Q&A)
- Keynote II: Neuro-Symbolic Verification (Verification Beyond Fairness and Robustness) Prof. Daniel Neider, TU Dortmund (40 mins talk + 5 mins Q&A)
- 10:30 – 11:00 | Coffee Break
- 11:00 – 12:00 | Paper Presentations (Each paper: 15 min presentation + 5 min Q&A)
- A Vision for Model Checking Counterexample Explainability Via Neurosymbolic Reasoning. Kristin Yvonne Rozier, Iowa State University of Science and Technology, USA
- Runtime Verification of Prediction. Stefano Tonetta, Fondazione Bruno Kessler, Italy
- Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains. Zili Wang, Frank Montabon, Kristin Yvonne Rozier, Iowa State University, USA
- 12:00 – 14:00 | Lunch Break
- 14:00 – 15:30 | Keynote & Overview of Scallop and NeuroStrata
- Keynote III: Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in Real-World Applications. Prof. Isil Dillig, UT Austin (40 min talk + 5 min Q&A)
- Scallop and NeuroStrata Session:
- Scallop Overview – Ziyang Li, Johns Hopkins University, USA (20 min + 5 min Q&A)
- NeuroStrata Overview – Xi Zheng, Macquarie University, Australia (15 min + 5 min Q&A)
- 15:30 – 16:00 | Coffee Break
- 16:00 – 17:30 | Panel Discussion
- Theme: What’s Next for NeuroSymbolic Reasoning: Toward Shonan and Dagstuhl Seminars. Panellists: TBA