[Apologies for multiple copies of this announcement] --------------------------------------------------------------------------- IJCAR 2024 - The 12th International Joint Conference on Automated Reasoning Nancy, France, July 1-6, 2024 https://ijcar2024.loria.fr Call for Participation --------------------------------------------------------------------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical programme will consist of presentations of high-quality regular research papers, short papers, and invited talks. IJCAR 2024 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), and TABLEAUX (Conference on Analytic Tableaux and Related Methods) The 2024 edition of the SAT/SMT/AR summer school will take place in Nancy during the week preceding IJCAR 2024. For details, see https://sat-smt-ar-school.gitlab.io/www/2024/ IJCAR 2024 deadlines (all deadlines are firm, CET): * early registration: until June 4. * late registration: from June 5 to June 24. Registration, accommodation, and travel/visa information for IJCAR 2024 and the associated events can be found on the web site. --------------------------------------------------------------------------- Scientific Program ------------------ + Presentation of 3 invited talks + Presentation of 39 regular research papers + Presentation of 6 short papers + Presentation of the Herbrand Award to Armin Biere + 10 workshops, 2 competitions. --------------------------------------------------------------------------- Invited Speakers ---------------- + Jeremy Avigad, Carnegie Mellon University, USA + Laura Kovacs, TU Wien, Austria + Geoff Sutcliffe, University of Miami, USA --------------------------------------------------------------------------- Workshops, Competitions ----------------------- There will be ten workshops and two system competitions associated with IJCAR 2024. See their individual web sites, linked from IJCAR 2024 web site for more information. + Workshops, July 1 - ARQNL, the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics - Quantify, the International Workshop on Quantification - TPTP tea party - Vampire, the 8th Vampire workshop - IFIP WG 1.6, a meeting of the IFIP Working Group 1.6 on Rewriting (presentations by invitation only, attendance open). + Workshops, July 2 - PAAR, the 9th International Workshop on Practical Aspects of Automated Reasoning - SC square, the Workshop on Satisfiability Checking and Symbolic Computation - ThEdu, the 13th International Workshop on Theorem Proving Components for Educational Software - UNIF, the 38th International Workshop on Unification - WAIT, the International Workshop on Automated (Co)Inductive Theorem Proving + Competitions - CASC-J12, the CADE ATP System Competition - Termination and Complexity Competition 2024 --------------------------------------------------------------------------- Social Events ------------- + Welcome reception on July 2 + Conference banquet on July 4 --------------------------------------------------------------------------- Registration ------------ For online registration to IJCAR 2024, please follow the link on the web site athttps://ijcar2024.loria.fr/page/registration The deadline for early registration is June 4. Late rates apply for those who register between June 5 and June 24. Registration will be closed after June 24. --------------------------------------------------------------------------- Accommodation ------------- Blocks of rooms have been booked at several hotels in the city centre. Please note that the rooms are only blocked until May 31, after which date the availability or prices of rooms may change. For details, seehttps://ijcar2024.loria.fr/page/accommodation --------------------------------------------------------------------------- For all enquiries about IJCAR 2024 email:ijcar2024@inria.fr ---------------------------------------------------------------------------