Competition Schedule

The following Competitions are associated with CADE-25:
The preliminary schedule can be found below. Note that this information might change in the future!

August 2ndAugust 3rdAugust 4thAugust 5thAugust 6th
Morning
session
CoCo @ IWCRoom T9.005CASCRoom T9.055and FoyertermCOMPRoom T9.055and FoyertermCOMPRoom T9.055and Foyer
Lunch break
Afternoon
session
CoCo @ IWCRoom T9.005CASCRoom T9.055and FoyertermCOMPRoom T9.055and FoyertermCOMPRoom T9.055and Foyer

The 4th Confluence Competition (CoCo) will take place at the 4th International Workshop on Confluence (IWC), see WorkshopsThe per-day schedule can be found here, or in the CADE Conference Booklet.