IJCAR 2020

Submission timeline

• 16 Jan 2020 Abstract registration
• 23 Jan 2020 Full paper
• 20 Mar 2020 Notification

• 29 Jun 2020 Conference opens

What to submit

Format

15 pages (full) / 7 pages (system descriptions) / 5 pages (short), all excluding bibliography

Proceedings

Springer LNAI/LNCS — Paywalled, for-profit

IJCAR 2020 will recognize the most outstanding submission with a best paper award at the conference. Woody Bledsoe Travel Awards will be available to support selected students in attending the conference. The authors of a selection of the best IJCAR 2020 papers will be invited to submit an extended version of their paper after the conference, to be published in a special issue of Logical Methods in Computer Science. Every two years.

Call for papers

• As first published IJCAR-2020.txt · TXT · shown below

The call, as published

Reproduced verbatim from the organisers’ announcement. The conference’s own page is at ijcar2020.org/.

====================================================================
                      CALL FOR PAPERS
   
                        IJCAR 2020
   The 10th International Joint Conference on Automated Reasoning
            Paris, France, June 29-July 5, 2020
                  https://ijcar2020.org

====================================================================


IJCAR is the premier international joint conference on all topics in 
automated reasoning. The IJCAR 2020 technical program will consist of 
presentations of high-quality original research papers, short papers 
describing interesting work in progress,  system descriptions, 
and invited talks. IJCAR 2020 (+ workshops, tutorials etc) will take 
place in Paris (France) from June 29 to July 5 2020. 
It will be co-located with the conference FSCD. 

IJCAR 2020 is the merger of leading events in automated reasoning:
  * CADE (Conference on Automated Deduction)
  * FroCoS (Symposium on Frontiers of Combining Systems)
  * ITP (International Conference on Interactive Theorem Proving)
  * TABLEAUX (Conference on Analytic Tableaux and Related Methods)

TOPICS
======

IJCAR 2020 invites submissions related to all aspects of automated or 
interactive reasoning, including foundations, implementations, 
and applications. Original research papers and descriptions of 
working automated deduction systems or proof assistants are solicited. 

IJCAR topics include the following ones:

* Logics of interest include: propositional, first-order, classical, 
   equational, higher-order, non-classical, constructive, modal,
   temporal, many-valued, substructural, description, type theory.

* Methods of interest include: tableaux, sequent calculi, resolution, 
   model-elimination, inverse method, paramodulation, term rewriting, 
   induction, unification, constraint solving, decision procedures, 
   model generation, model checking, semantic guidance, interactive
   theorem proving, logical frameworks, AI-related methods for 
   deductive systems, proof presentation, automated theorem proving, 
   combination of decision or proof procedures, SAT and SMT solving, 
   integration of proof assistants with automated provers and other 
   symbolic tools, etc.

* Applications of interest include: verification, formal methods, 
   program analysis and synthesis, computer mathematics, 
   declarative programming, deductive databases, knowledge
   representation, education, formalization of mathematics etc.

The proceedings of IJCAR 2020 will be published by Springer in 
the LNAI/LNCS series (www.springer.com/lncs).


IMPORTANT DATES
===============

  * Abstract submission: January 16 2020
  * Paper submission:    January 23 2020
  * Rebuttal:            March 6-10 2020
  * Notification:        March 20 2020
  * Final version of papers due:  April 10 2020
  * IJCAR Conference + Workshops: 29th June - 5nd July 2020


SUBMISSION GUIDELINES
=====================

Submission is electronic, through 
      https://easychair.org/conferences/?conf=ijcar2020

Authors are strongly encouraged to use LaTeX and the Springer "llncs"
format, which can be obtained from 
     http://www.springer.de/comp/lncs/authors.html

We solicit three categories of submissions:

REGULAR PAPERS. 
Submissions, not exceeding fifteen (15) pages excluding bibliography,
should contain original research, and sufficient detail to assess the
merits and relevance of the contribution. For papers reporting
experimental results, authors are strongly encouraged to make their data 
and software available with their submission for reproducibility. 
In particular submissions describing formal proofs are expected to be 
accompanied by the source files of the formalization. 
The PC will take availability of software and data into account when 
evaluating submissions. Submissions reporting on case studies in an 
industrial context are strongly invited, and should describe details, 
weaknesses and strength in sufficient depth. 
Simultaneous submission to other conferences with proceedings or submission 
of material that has already been published elsewhere is not allowed.

SYSTEM DESCRIPTIONS. 
Submissions, not exceeding seven (7) pages excluding bibliography, 
should describe the implemented tool and its novel features.  Each of these
papers should bear the phrase “(system description)” beneath the title. 
One author is expected to be able to perform a demonstration on demand 
to accompany a tool presentation. Papers describing tools that have
already been presented in other conferences before will be accepted
only if significant and clear enhancements to the tool are reported 
and implemented.

SHORT PAPERS. 
Submissions, not exceeding five (5) pages excluding bibliography, and 
describing interesting work in progress. Such a preliminary report may 
consist of an extended abstract. Each of these papers should bear the 
phrase “(short paper)” beneath the title. Accepted submissions in this 
category will be presented as short talks and published in the main 
proceedings. There will be no downgrading from regular papers or
system descriptions to short papers.


All submissions should meet high academic standards; 
proofs of theoretical results that do not fit in the page limit, 
executables of systems, and input data of experiments 
should be made available, via a reference to a website or 
in an appendix of the paper.


BEST PAPER AWARD
================

IJCAR 2020 will recognize the most outstanding submission with 
a best paper award at the conference.


STUDENT TRAVEL AWARDS
====================

Woody Bledsoe Travel Awards will be available to support selected 
students in attending the conference.


SPECIAL ISSUE
=============

The authors of a selection of the best IJCAR 2020 papers will be 
invited to submit an extended version of their paper after the 
conference, to be published in a special issue of Logical Methods 
in Computer Science.


ORGANIZATION
============

Conference Chair: 
  * Kaustuv Chaudhuri (INRIA, Ecole Polytechnique)

Programme Chairs:  
  * Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble France), 
  * Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)

Workshop, Tutorial and Competition Chairs: 
  * Giulio Manzonetto (Université Paris-Nord, France)
  * Andrew Reynolds (University of Iowa, USA)

Programme Committee: 
  * Takahito Aoto (Niigata University, Japan)
  * Carlos Areces (FaMAF Universidad Nacional de Cordoba, Argentina)
  * Jeremy Avigad (Carnegie Mellon University, USA)
  * Franz Baader (TU Dresden, Germany)
  * Peter Baumgartner (Data 61 and CSIRO, Australia)
  * Yves Bertot (Inria) 
  * Christoph Benzmueller (Freie Universitaet Berlin, Germany)
  * Armin Biere (Johannes Kepler University Linz, Austria)
  * Nikolaj Bjorner (Microsoft Research, USA)
  * Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands)
  * Maria Paola Bonacina (Università degli Studi di Verona, Italy)
  * James Brotherston (University College London, UK)
  * Serenella Cerrito (IBISC, Univ. Evry, Paris Saclay University, France)
  * Agata Ciabattoni (Vienna University of Technology, Sweden)
  * Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)
  * Leonardo de Moura (Microsoft Research, USA)
  * Stéphane Demri (CNRS, LSV, ENS Paris-Saclay, France)
  * Gilles Dowek (Inria and ENS Paris-Saclay, France)
  * Marcelo Finger (University of Sao Paulo, Brazil)
  * Pascal Fontaine (Universit� de Li�ge, Belgium)
  * Didier Galmiche (Université de Lorraine – LORIA, France)
  * Silvio Ghilardi (Università degli Studi di Milano, Italy)
  * Martin Giese (Universitetet i Oslo, Norway)
  * Juergen Giesl (RWTH Aachen University, Germany)
  * Valentin Goranko (Stockholm University, Sweden)
  * Rajeev Gore (The Australian National University, Australia)
  * Stefan Hetzl (Vienna University of Technology, Austria)
  * Marijn J. H. Heule (The University of Texas at Austin, USA)
  * Cezary Kaliszyk (University of Innsbruck, Austria)
  * Deepak Kapur (University of New Mexico, USA)
  * Laura Kovacs (Vienna University of Technology, Austria)
  * Andreas Lochbihler (Digital Asset, Switzerland) 
  * Christopher Lynch (Clarkson University, USA)
  * Assia Mahboubi (Inria, France)
  * Panagiotis Manolios (Northeastern University, USA)
  * Dale Miller (Inria and LIX/Ecole Polytechnique, France)
  * Claudia Nalon (University of Brasilia, Brazil)
  * Tobias Nipkow (Technical University of Munich, Germany)
  * Albert Oliveras (Universitat Politècnica de Catalunya, Spain)
  * Jens Otten (University of Oslo, Norway)
  * Lawrence Paulson (University of Cambridge, UK)
  * Frank Pfenning (Carnegie Mellon University, USA)
  * Andrei Popescu (Middlesex University London, UK)
  * Andrew Reynolds (University of Iowa, USA)
  * Christophe Ringeissen (LORIA-INRIA, France)
  * Christine Rizkallah (University of New South Wales, Australia)
  * Katsuhiko Sano (Hokkaido University, Japan)
  * Renate Schmidt (The University of Manchester, UK)
  * Stephan Schulz (DHBW Stuttgart, Germany)
  * Roberto Sebastiani (DISI, University of Trento, Italy)
  * Matthieu Sozeau (Inria) 
  * Martin Suda (Czech Technical University, Czech Republic)
  * Geoff Sutcliffe (University of Miami, USA)
  * Sofiene Tahar (Concordia University, Canada)
  * Cesare Tinelli (The University of Iowa, USA)
  * Christian Urban (King’s College London, UK)
  * Josef Urban (Czech Technical University in Prague, Czech Republic)
  * Uwe Waldmann (Max Planck Institute for Informatics, Germany)
  * Christoph Weidenbach (Max Planck Institute for Informatics, Germany)