2006 International Workshop
on Description Logics
Programme

Bijan Parsia, Ulrike Sattler and David Toman
May 30-June 1, 2006

Tuesday May 30

 9:00
Welcome to DL'06
 9:05
DLs and ABoxes (regular presentations)
10:35
Coffee
11:00
Theory (long presentations)
12:30
Lunch
 2:00
Anthony Hunter: Living with Inconsistency: Theory + Applications (Invited Talk)
 3:20
Posters Introduction
 3:50
Coffee/Posters/Demos
 6:00
Welcome Reception

Wednesday May 31

 9:00
Implementation (regular presentations)
10:20
Coffee Break/Poster Session
11:00
Queries and DLs (long presentations)
12:30
Lunch
 2:00
Franz Baader: Description Logics: a personal history (Invited Talk)
 3:20
Coffee Break/Poster Session
 4:30
Unorthodox Applications (regular presentations)
 7:30
DL Dinner

Thursday June 1

 9:00
Tableaux (regular presentations)
10:20
Coffee Break/Poster Session
11:00
Efficient Reasoning (long presentations)
12:30
Lunch
 2:00
DIG 2.0 session
 3:00
Coffee Break/Poster Session
 4:00
Business Meeting

Poster Presentation Schedule (May 30 at 3:20)