University of Coimbra - International Joint Conference on Automated Reasoning

News

2016-07-18: Photos in the Web-Page (all photos in an archive file)
2016-07-18: Presentations in the Web-Page
2016-07-3: Photos of the conference and Workshops
2016-06-28: Social program details
2016-06-09: Cultural and Sport Events in Coimbra at the time of the conference
2016-05-18: Programme for IJCAR 2016
2016-05-11: Amazon Web Services Sponsoring
2016-05-2: Herbrand award
2016-04-29: Vampire Workshop Webpage
2016-04-22: LRPP Workshop Webpage
2016-04-15: Woody Bledsoe travel awards
2016-04-13: List of accepted papers
2016-03-22: Registrations are Open
2016-02-25: ARQNL Workshop Webpage
2016-01-27: CASC Competition
2016-01-26: Vampire Workshop
2016-01-12: Hotel information
2015-12-21: Workshops approved (SMT,GETFUN,PAAR,ARQNL,UITP,LRPP,HATT2016)
2015-12-09: 2nd Call for Papers
2015-11-10: Invited Speakers
2015-10-01: Call for Papers and Call for Workshops
2015-09-02: Programme Committee
2015-07-09: IJCAR 2016 Poster
2015-06-19: Preliminary Call for Papers