This page contains the general overview of the schedule. For concrete talks and all the other details see the detailed schedule page. See also workshops.

Coffee and lunch breaks will take place at the conference building at the following times:

• 10:00-10:30 coffee break
• 12:45-14:00 lunch
• 16:00-16:30 coffee break

The talks will normally start at 9:00 and finish at 18:00.

Blanchet and Giunchiglia tutorials take place during the main conference. The exact time slots will be announced later.

• Friday, 22. July:
  • 8:30-9:00. Registration opens. It is OK to register later during the day, just make sure you do register sometimes before lunch.
  • Workshop: ESCAR.
  • Workshop: DISPROVING.
• Saturday, 23. July:
  • Workshop: ESCAR.
  • Workshop: CFV'05.
  • Tutorial: VERIFICATION OO.
  • TPTP Tea Party.
• Sunday, 24. July:
  • First day of the main conference.
  • Evening: excursion at the Old Town.
  • Evening: reception at the town hall.
  • Evening: CASQUE - the squash competition.
• Monday, 25. July:
  • Morning: main conference.
  • From 14.00 until evening: excursion. Bus ride/walking/swimming at picturesque places, beaches and islands on the northern coast.
  • Evening: CASC dinner.
• Tuesday, 26. July:
  • Main conference.
  • CASC.
  • Evening: banquet at Olde Hansa.
• Wednesday, 27. July:
  • Last day of the conference.
  • Activities stop at around 15:45.