Seminar: Qualitative spatio-temporal reasoning - Schedule

The seminar will take place on Monday, February 16, 2009 in room 00-016 (building 52).

Schedule:

Time	Topic	Presentation by	Comment by
10:00-10:45	Temporal calculi	Mou Wei	Andreas Hertle
10:45-11:30	Efficiency and Tools	Zinan Lin	Florian Pommerening
11:30-12:15	Orientation calculi, star calculus, cardinal direction calculus	Stefan Wölfl	Mou Wei
12:15-13:00	Lunch break
13:00-13:45	Weak composition, algebraic closure and the INDU calculus	Florian Pommerening	Matthias Westphal
13:45-14:30	Relative orientation calculi, LR calculus, DRA calculus	Till Mossakowski	Stefan Wölfl
14:30-14:45	Break
14:45-15:30	The OPRA calculus and a sailing application	Andreas Hertle	Zinan Lin
15:30-16:15	Combinations of qualitative constraint calculi	Matthias Westphal	Till Mossakowski
16:15-17:00	Final discussion

For each presentation there is a time slot of 45 minutes 30 minutes talk, 5 minutes commentary and 10 minutes discussion and feedback.