Loading Events

« All Events

IJCAR 2024 : International Joint Conference on Automated Reasoning

1 July 2024 - 6 July 2024

IJCAR 2024 will be organized in Nancy, France by the Inria research center at University of Lorraine as an in-person conference. It will take place at IDMC from July 1 to July 6, 2024.

Important Dates

  • Abstract submission: January 29, 2024
  • Paper submission: February 5, 2024 (AoE)
  • Rebuttal: March 10-12, 2024
  • Notification: March 28, 2024
  • Camera-ready version: April 28, 2024
  • Co-located events: July 1-2, 2024
  • Conference, including CASC: July 3-6, 2024

 

The CADE ATP System Competition CASC and the Termination Competition will take place during IJCAR. This year we are planning a special session to celebrate 30 years of CASC.

The 2024 edition of the SAT/SMT/AR summer school will take place in Nancy during the week preceding IJCAR 2024.

Details

Start:
1 July 2024
End:
6 July 2024
Event Category:
Website:
https://merz.gitlabpages.inria.fr/2024-ijcar/

Venue

IDMC
13 Rue Michel Ney
Nancy, France
+ Google Map