Workshop Plan
- Keynote Speech: Opening the event with an inspiring talk by a leading expert.
- Paper Presentation Sessions: Two sessions dedicated to the presentation of selected papers (Vision papers: 4 pages. Experience and regular papers: 8 pages (plus 2 pages for references)).
- Neurosymbolic Tutorials: A session featuring tutorials, such as a demonstration of Scallop, or verification of neural-controlled systems.
- Panel Discussion: A closing panel discussion focusing on actionable next steps for neurosymbolic approaches and foundation models in formally verifying AI components. The panel will be formed from the paper presenters, keynote speaker, and other attendees.
The paper selection process will involve forming a program committee and conducting a rigorous peer-review process, with each submission reviewed by at least three reviewers.
We will be releasing Call for Paper soon.