loading...

UC.PT

International Joint Conference on Automated Reasoning

Important Dates


Conference

Abstract submission deadline: January 18, 2016
Paper submission deadline: January 25, 2016
Notification of paper decisions:
March 21, 2016
Final version of papers due:
April 11, 2016
Main Conference: 27-30 June, 2016
Satellite Events: 1-2 July, 2016

Workshops

Express of interest: at any time
Deadline for proposal submissions: November 15th, 2015
Notification: December 15th, 2015
Workshop dates: July 1st.2nd, 2016