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...
›
Past Conferences
Home
General Information
Local Information
Registration
Programme
Submissions
WorkShops
Past Conferences
Next Conferences
Photos of the Event
News
Past Conferences
IJCAR
.org home page
IJCAR 2014
, Vienna, Austria, 2014 (within
Vienna Summer of Logic
)
IJCAR 2012
, Manchester, United Kingdom, 25-29 June 2012
IJCAR 2010
, Edinburgh, United Kingdom, 16-19 July 2010 (within FLoC 2010)
IJCAR 2008
, Sydney, Australia, August 10-15, 2008
IJCAR-2006, Seattle, USA, August 16-20, 2006 (within FLoC 2006)
IJCAR-2004, Cork, Ireland, July 4-8, 2004
IJCAR-2001, Siena, Italy, June 18-23, 2001