The Coq mailing list

[Peter Lammich <p.lammich AT utwente.nl>]

[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 AT inria.fr
---------------------------------------------------------------------------