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