[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] IJCAR 2012: 2nd Call for Papers

********* Apologies for multiple copies of this announcement *********


                Second Call For Papers --- IJCAR 2012

      6th International Joint Conference on Automated Reasoning
                 Manchester, UK, June 26-July 1, 2012

Important Dates (all in 2012)

  Abstract submission  January 23    Final version due        April 16
  Paper submission     January 30    Conference dates       June 26-29
  Notification           March 26    Satellite events   June 30-July 1

IJCAR is the premier international joint conference on all topics in
automated reasoning. IJCAR 2012, the 6th International Joint
Conference on Automated Reasoning, is a merger of leading events in
automated reasoning: CADE (International Conference on Automated
Deduction), FroCoS (International Symposium on Frontiers of Combining
Systems), FTP (International Workshop on First-order Theorem Proving),
and TABLEAUX (International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods). Previous editions of IJCAR
took place in Siena (2001), Cork (2004), Seattle (2006), Sydney (2008)
and Edinburgh (2010), cf. http:/ /www.ijcar.org/. 

IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The
Alan Turing Centenary Conference in Manchester.

Scope: IJCAR 2012 invites submissions related to all aspects of
automated reasoning, including foundations, implementations, and
applications. Original research papers and descriptions of working
automated deduction systems are solicited.

Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal,
temporal, many-valued, substructural, description, metalogics, type
theory, and set theory.  Methods of interest include: tableaux,
sequent calculi, resolution, model-elimination, connection method,
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, efficient datastructures and indexing, integration
of computer algebra systems and automated theorem provers, and
combination of logics or decision procedures.

Applications of interest include: verification, formal methods,
program analysis and synthesis, computer mathematics, declarative
programming, deductive databases, knowledge representation, natural
language processing, linguistics, robotics, and planning.

Submission: Submission is electronic through


Authors are strongly encouraged to use LaTeX and the Springer llncs
class file, which can be obtained from
http://www.springer.de/comp/lncs/authors.html. The page limit is 15
pages for full papers and 7 pages for system descriptions.  All papers
will be evaluated according to originality, significance, technical
quality, and readability. Submitted papers must be original and not
submitted for publication elsewhere. For more details concerning
submission see the conference web site. The proceedings of IJCAR 2012
will be published by Springer-Verlag in the LNAI/LNCS series. 

Student Travel Awards: Travel awards will be available to enable
selected students to attend the conference. Details will be available
in early 2012. 

Conference Chairs

  Konstantin Korovin, University of Manchester, UK
  Andrei Voronkov, University of Manchester, UK

Program Chairs

  Bernhard Gramlich (TU Wien, Austria)
  Dale Miller (INRIA Saclay, France)
  Ulrike Sattler (University of Manchester, UK)

Program Committee

  Takahito Aoto, Tohoku University, Japan
  Franz Baader, TU Dresden, Germany
  Peter Baumgartner, NICTA, ANU, Australia
  Maria Paola Bonacina, Università degli Studi di Verona, Italy
  Torben Braüner, Roskilde University, Denmark
  Michael Fink, TU Wien, Austria
  Jacques Fleuriot, University of Edinburgh, UK
  Silvio Ghilardi, Università degli Studi di Milano, Italy
  Jürgen Giesl, RWTH Aachen ,Germany
  Bernhard Gramlich, TU Wien, Austria
  Reiner Hähnle, Chalmers University of Technology, Sweden
  Florent Jacquemard, ENS de Cachan, France
  Deepak Kapur, University of New Mexico, Albuquerque, USA
  Yevgeni Kazakov, University of Oxford, UK
  Hélène Kirchner, INRIA Rocquencourt, France
  Konstantin Korovin, University of Manchester, UK
  Martin Lange, Universität Kassel, Germany
  Stéphane Lengrand, LIX, Ecole Polytechnique, France
  Christoph Lüth, DFKI & Universität Bremen, Germany
  Carsten Lutz, Universität Bremen, Germany
  Christopher Lynch, Clarkson University, Potsdam, USA
  George Metcalfe, Universität Bern, Switzerland
  Dale Miller, INRIA Saclay, France
  Aleksandar Nanevski, IMDEA Software, Madrid, Spain
  Tobias Nipkow, TU München, Germany
  Hans de Nivelle, University of Wroclaw, Poland
  Albert Oliveras, UPC, Barcelona, Spain
  Nicolas Peltier, LIG/IMAG, Grenoble, France
  Frank Pfenning, CMU, Pittsburgh, USA
  Grigore Rosu, University of Illinois at Urbana-Champaign, USA
  Michaël Rusinowitch, LORIA/INRIA-Lorraine, Nancy France
  Ulrike Sattler, University of Manchester, UK
  Viorica Sofronie-Stokkermans, MPI für Inf., Saarbrücken, Germany
  Georg Struth, University of Sheffield, UK
  Aaron Stump, The University of Iowa, USA
  Geoff Sutcliffe, University of Miami, USA
  René Thiemann, University of Innsbruck, Austria
  Cesare Tinelli, The University of Iowa, USA
  Alwen Tiu, ANU, Canberra, Australia
  Bow-Yaw Wang, Academia Sinica, Taipei, Taiwan
  Christoph Weidenbach, MPI für Informatik, Saarbrücken, Germany
  Michael Zakharyashev, Birkbeck College, London, UK
  Hans Zantema, Eindhoven University of Technology, The Netherlands 

Satellite Event Chair:

  Birte Glimm, University Ulm, Germany 

Competitions Chair:

  Geoff Sutcliffe, University of Miami, USA 

Further Information: For further and up-to-date information about
IJCAR 2012 visit http://ijcar.cs.manchester.ac.uk/.