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...
›
General Information
Home
General Information
Invited Speakers
Programme Committee
Local Committee
Sponsors & Supporters
IJCAR 2016 Poster
Local Information
Registration
Programme
Submissions
WorkShops
Past Conferences
Next Conferences
Photos of the Event
News
General Information
Conference
27-30, June 2016
Workshops
1-2, July 2016
Poster
IJCAR2016
poster
(png,A4).