Day 6: Thursday, August 6th

Workshops
Tutorials
Competitions
Main Conference
Award Ceremony
Social Events

CADE-25 Preliminary Schedule (see also: CADE Conference Booklet):

Please click on an event to get more information.
9:00 - 10:009:00 - 00:0010:00 - 10:3010:30 - 12:3012:30 - 14:0014:00 - 15:3015:30 - 16:0016:00 - 17:0017:00 - 18:0018:00 - 19:0019:00 - 00:0010 AM12 PM24681012 AMInvited talk (Room T9.003)termCOMP (Room T9.055)Coffee BreakSession 5: Automating First-Order Logic (Room T9.003)Lunch BreakSession 6: Combinations (Room T9.003)Coffee BreakSession 7: Hybrid Systems ... (Room T9.003)CADE Business MeetingBeach volleyballGet Together