Day 7: Friday, August 7th

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:3010:30 - 11:0011:00 - 11:3011:30 - 12:3012:30 - 14:0014:00 - 15:3015:30 - 16:0009:00:3010:00:3011:00:3012:00:3013:00:3014:00:3015:00:3016:00Session 8: Logics and Systems for Program Verification (Room T9.003)Coffee BreakPresentation of Competition Results (Room T9.003)Session 9: UnificationLunch BreakSession 10: SAT/SMT (Room T9.003)End of CADE-25 (Room T9.003)