EN
PT
Login
Start
End
Home
Profile
Logout
loading...
UC.PT
International Joint Conference on Automated Reasoning
Path
›
UC.PT
›
English Version
›
Events
›
International Joint Conference on Automated Rea...
›
News
Home
General Information
Local Information
Registration
Programme
Submissions
WorkShops
Past Conferences
Next Conferences
Photos of the Event
News
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