CADE-25 Preliminary Schedule Proposal (see pdf):
  • Aug 1-3, 2015 (morning): Workshops and Tutorials
  • Aug 3, 2015 (afternoon): Jubilee 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): Excursion and Dinner
  • Aug 6, 2015 (late afternoon): Business Meeting
Important Dates: Research Papers
  • Abstract deadline: February 16, 2015
  • Submission deadline: February 23, 2015
  • Rebuttal phase: April 15-18, 2015
  • Notification: April 26, 2015
  • Final version: May 17, 2015
Important Dates: Workshops, Tutorials and Competitions