loading...

UC.PT

International Joint Conference on Automated Reasoning

International Joint Conference

on

Automated Reasoning

27 June - 2 July, 2016

University of Coimbra, Portugal

IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.

Previous conferences were held in Vienna, Austria, 2014; Manchester, United Kingdom, 2012; Edinburgh, United Kingdom, 2010; Sydney, Australia, 2008; Seattle, USA, 2006; Cork, Ireland, 2004; Siena, Italy, 2001.

IJCAR 2016 will be hosted by the Mathematics Department of the University of Coimbra, Portugal.

Proceedings will be published by the LNCS series. Call For Papers and Call for Workshops.

Invited Speakers

Arnon Avron
Gilles Barthe
Sumit Gulwani
André Platzer
Arnon Avron, Tel Aviv University (title, abstract)
Gilles Barthe, IMDEA, Madrid (title, abstract)
Sumit Gulwani, MSR, Redmond (title, abstract)
André Platzer, CMU, Pittsburgh (title, abstract)

Sponsored by



Logo CISUC



Logótipo CMA



Logótipo CMUC



Logótipo CMUP



Logótipo IT



Logótipo FCT



Amazon Web Services Logo


With the Support of

Logótipo Santander



Logótipo CMC
Departamento de Matemática