Generative and agentic AI systems are increasingly deployed in high-stakes settings, yet they cannot guarantee the correctness of their outputs or actions. This workshop explores neuro- symbolic reasoning — the emerging discipline that composes rigorous traditions (automated reasoning, symbolic AI, formal methods) with neural systems to enable provably correct, explainable, and trustworthy AI. Through four interconnected themes — AI-assisted formal reasoning, the neuro-symbolic pipeline, production-scale deployment, and AI-augmented verification and reasoning for code — the workshop brings together researchers from formal methods, machine learning, knowledge representation, mathematical logic, and industry for hands-on sessions, case studies, and research talks.
Poster Session and Lightning Talks
This workshop will include a poster session and lightning talks for early career researchers (including graduate students). In order to propose a poster or a lightning talk, you must first register for the workshop, and then submit a proposal using the form that will become available on this page after you register. You can request to do one, or both. The registration form should not be used to propose a poster or a lightning talk.
The deadline for proposing is Sunday August 1, 2027. If your proposal is accepted, you should plan to attend the event in-person.
In Person Registration
Seats are limited at the venue, which means that in-person registration may be capped prior to the workshop start date. If capacity is reached, a waitlist will be imposed, which the registration form will reflect. Early registration is strongly encouraged.
All in-person registrants must wait to receive an invitation to attend in-person from IMSI before traveling, which generally begin to be sent out 4-6 weeks in advance.
All registrants (online and in-person) will receive zoom links and are welcome to attend online.
Registration Fees
A non-refundable registration fee will be payable by credit card or debit card for any participants invited to attend this workshop in-person. In-person participants agree to pay the non-refundable fee by the deadline given by IMSI. Failure to pay the fee by the deadline may mean that the invitation to attend in-person is revoked.
Guy Van den Broeck
University of California, Los Angeles (UCLA)
Registration
IMSI is committed to making all of our programs and events inclusive and accessible.
Contact [email protected] to request
disability-related accommodations.
In order to register for this workshop, you must have an IMSI account and be logged in.