[isabelle] IJCAR2016 - cfp
- To: isabelle-users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] IJCAR2016 - cfp
- From: Pedro Quaresma <pedro at mat.uc.pt>
- Date: Fri, 02 Oct 2015 09:25:03 +0200
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0
[This is a shortened CFP, the full one is available at
** FIRST CALL FOR PAPERS **
IJCAR 2016 - The 8th International Joint Conference on Automated Reasoning, Coimbra, Portugal, 27 June- 2 July, 2016
Call for Papers
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 2016 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.
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).
Submission is electronic, through
Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from
The page limit is 15 pages for full papers, and 7 pages for system descriptions.
Best paper award
IJCAR 2016 will offer a best paper award to recognize the most outstanding paper appearing at the conference.
Nicola Olivetti (Aix-Marseille University, LSIS, France)
Ashish Tiwari (SRI International, USA)
Pedro Quaresma (University of Coimbra)
Sandra Marques Pinto (University of Coimbra)
Reinhard Kahle (New University of Lisbon)
Abstract submission deadline: January 18, 2016
Paper submission deadline: January 25, 2016
Notification of paper decisions: March 21, 2016
Final version of papers due: April 11, 2016
Main Conference: 27-30 June, 2016
Satellite Events: 1-2 July, 2016
Student travel awards
Travel awards will be available to enable selected students to attend the conference. Details will be announced in March 2016.
IJCAR 2016, International Joint Conference on Automated Reasoning, 27
June-1 July, 2016, Coimbra, Portugal.
CiEMeLP 2015, ConferÃncia Internacional do EspaÃo MatemÃtico em LÃngua
Portuguesa, 28 a 31 de Outubro de 2015 em Coimbra, Portugal.
At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;
Professor Auxiliar Pedro Quaresma
Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia
Universidade de Coimbra
P-3001-454 COIMBRA, PORTUGAL
Elec. mail: pedro at mat.uc.pt
phone: +351 239 791 137; fax: +351 239 832 568
This archive was generated by a fusion of
Pipermail (Mailman edition) and