CADE-25 - International Conference on Automated Deduction

Day 1: Saturday, August 1st

Workshops Tutorials Competitions Main Conference Award Ceremony Social Events	CADE-25 Preliminary Schedule (see also: CADE Conference Booklet): Aug 1-3, 2015 (morning): Workshops and Tutorials Aug 1-6, 2015: EPS Poster Event Aug 3, 2015 (afternoon): Special Session Aug 3, 2015 (evening): Reception Aug 4-7, 2015: Main Conference Aug 4, 2015 (late afternoon): Herbrand Award Ceremony Aug 5, 2015 (afternoon & evening): Excursions and Dinner Aug 6, 2015 (late afternoon): Business Meeting
Please click on an event to get more information.