Scientific Program (Conference rooms 326, 325
)
- Presentation of 3 invited talks
- Presentation of 39 regular research papers
- Presentation of 6 short papers
- Presentation of the Herbrand Award to Armin Biere
Please see here for the detailed schedule.
Co-located Events
There will be ten workshops and two system competitions associated with IJCAR 2024. Please see here for details.
Social Events
July 2, 19:00.
Welcome Reception, Pub Mac Carthy.July 4, 19:30.
Conference Banquet, Opéra national de Lorraine, Place Stanislas.