loading...

UC.PT

International Joint Conference on Automated Reasoning

Submissions

Proceedings, Lecture Notes in Artificial Intelligence, volume 9706.

Logótipo LNCS

Call for Papers, Call for Workshops (submissions are closed)

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