CADE 2017

From Openresearch
Jump to: navigation, search
CADE 2017
26th International Conference on Automated Deduction
Event in series CADE
Dates 2017/08/08 (iCal) - 2017/08/11
Location: Gothenburg, Sweden
Loading map...

Important dates
Abstracts: 2017/02/11
Submissions: 2017/02/18
Notification: 2017/04/22
Papers: Submitted 69 / Accepted 31 (44.9 %)
Organizers: Chalmers University of Technology
General chairs: Wolfgang Ahrendt, Moa Johansson
PC chairs: Leonardo de Moura
Workshop chairs: Philipp Ruemmer
Seminars Chair: Philipp Ruemmer
Table of Contents