Pedro Quaresma pedro at mat.uc.pt
Tue May 31 13:11:25 CEST 2016

             ** CALL FOR PARTICIPATION **

                                IJCAR 2016
              The 8th International Joint Conference on Automated Reasoning
                       Coimbra, Portugal, 27 June- 2 July, 2016

                              Call for Participation

IJCAR is the premier international joint conference on all topics in 
automated reasoning. The IJCAR technical program will consist of 
presentations of high-quality original research papers, system 
descriptions, and invited talks.

IJCAR 2016 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)

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, etc.

- 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 provers, combination of decision 
procedures, SAT and SMT solving, etc.

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

The proceedings of IJCAR 2016 will be published by Springer-Verlag in 
the LNAI/LNCS series (www.springer.com/lncs).  A special issue of the 
journal Logical Methods in Computer Science (LMCS) is planned for 
selected papers.

Invited speakers:
  Arnon Avron   (Tel Aviv University)
  Gilles Barthe (IMDEA Madrid)
  Sumit Gulwani (Microsoft Research Redmond)
  André Platzer (CMU Pittsburgh)

Best paper award: Jasmin Christian Blanchette, Mathias Fleury, Christoph 
Weidenbach, "A verified SAT solver framework with learn, forget, 
restart, and incrementality."

2016 Herbrand Award: Zohar Manna and Richard Waldinger in recognition of 
their distinguished contributions to automated reasoning.

Satellite Events:
  GeTFun (Compositional Meaning in Logic)
  SMT (Satisfiability Modulo Theories)
  ARQNL (Automated Reasoning in Quantified Non-Classical Logics)
  HaTT (Hammers for Type Theories)
  UITP (User Interfaces for Theorem Provers)
  PAAR (Practical Aspects of Automated Reasoning)
  Social Aspects of Proofs

  CASC, the CADE ATP System Competition (June 29th)

Program co-chairs:
Nicola Olivetti (Aix-Marseille University, LSIS, France)
Ashish Tiwari (SRI International, USA)

Conference chair:
Pedro Quaresma (University of Coimbra)

Publicity chair:
Sandra Marques Pinto (University of Coimbra)

Workshop chair:
Reinhard Kahle (New University of Lisbon)

***** Important dates:
Main Conference:                      27-30 June, 2016
Satellite Events:              1-2 July, 2016

Program Committee:
Franz Baader (TU Dresden)
Peter Baumgartner (NICTA, The Australian National University)
Maria Paola Bonacina (Università degli Studi di Verona)
Agata Ciabattoni (TU Wien)
Leonardo de Moura (Microsoft Research)
Hans De Nivelle (University of Wroclaw)
Stephanie Delaune (LSV, CNRS, ENS Cachan)
Stéphane Demri (LSV, CNRS, ENS Cachan)
Clare Dixon (University of Liverpool)
Christian Fermüller (TU Wien)
Didier Galmiche (Université de Lorraine, LORIA)
Silvio Ghilardi (Università degli Studi di Milano)
Jürgen Giesl (RWTH Aachen)
Birte Glimm (Universität Ulm)
Rajeev Goré (The Australian National University)
Reiner Hähnle (Technical University of Darmstadt)
Stefan Hetzl (TU Wien)
Dejan Jovanović (SRI International)
Reinhard Kahle (New University of Lisbon)
Deepak Kapur (University of New Mexico)
Jordi Levy (IIIA - CSIC)
Carsten Lutz (University of Bremen)
Christopher Lynch (Clarkson University)
George Metcalfe (University of Bern)
Aart Middeldorp (University of Innsbruck)
Dale Miller (INRIA and LIX/Ecole Polytechnique)
Sara Negri (University of Helsinki)
Nicola Olivetti (Aix-Marseille University, LSIS)
Jens Otten (University of Potsdam)
Lawrence Paulson (University of Cambridge)
Nicolas Peltier (CNRS - LIG, Grenoble)
Andrei Popescu (Middlesex University London)
Christophe Ringeissen (LORIA-INRIA, Nancy)
Philipp Ruemmer (Uppsala University)
Masahiko Sakai (Nagoya University)
Renate A. Schmidt (University of Manchester)
Roberto Sebastiani (Università di Trento)
Martina Seidl (Johannes Kepler University Linz)
Viorica Sofronie-Stokkermans (University of Koblenz-Landau MPI)
Ashish Tiwari (SRI International)
Josef Urban (Czech Technical Institute Prague)
Christoph Weidenbach (MPI Saarbrücken)


IJCAR 2016, International Joint Conference on Automated Reasoning,
27 June-2 July, 2016, Coimbra, Portugal.

UITP 2016, User Interfaces for Theorem Provers
colocated with IJCAR 2016, 2 July, 2016, Coimbra, Portugal.

ThEdu'16, International Workshop on Theorem proving components for Educational software
colocated with CICM 2016, 25-29 July, 2016, Bialystok, Poland

Automated Theorem Proving in Dynamic Geometry: Current Achievements
Special Session at ACA'2016, 1-4 August, 2016 in Kassel, Germany

CADGME 2016, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education
7-10 September, 2016 Targu Mures, Romania



At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Professor Auxiliar Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
Elec. mail: pedro at mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568

More information about the ecoop-info mailing list