loading...

UC.PT

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