Con­fer­ence schedule

The reg­is­tra­tion desk will open at 8:45 and close at 16:00 (12:30 on Wednes­day).

If you are a speaker, please read the Speakers in­for­ma­tion page.

Click here to go back to the cal­endar view.

Click here to re­veal fur­ther in­for­ma­tion.

Slides of talks are avail­able from the de­tailed pro­gram page.

  • Gödel lec­ture
    Rod Downey
    9:00 — 10:00
    Room 3
  • Coffee break
  • Tu­to­rial
    De­scrip­tion log­ics, on­tolo­gies, and au­to­mated rea­son­ing: an in­tro­duc­tion Part 1 Part 2
    Ul­rike Sat­tler
    10:30 — 11:30
    Room 3
  • Tu­to­rial
    Model the­o­retic am­ple­ness Part 1 Part 2 Part 3
    Ka­trin Tent
    11:30 — 12:30
    Room 3