ICAPS'03 Tutorials

Provisional schedule


Monday, June 9
morning


TUT1: Timed Automata for Planning and Scheduling
Oded Maler (Verimag)

Room: 3

afternoon



Tuesday, June 10

morning

TUT2: Practical Approaches to Handling Uncertainty in Planning and Scheduling
J. Christopher Beck (University College Cork),
Thierry Vidal (ENIT)


Room: 8-S

TUT4: Model Checking - A Hands-On Introduction
Alessandro Cimatti (ITC-Irst),
Marco Pistore (University of Trento),
Marco Roveri (ITC-IRST)


Room: 7-S / Foyer

afternoon
TUT3: Resource-Bounded and Time-Critical Reasoning
Lloyd Greenwald (Drexel University),
Shlomo Zilberstein (University of Massachusetts)


Room: 8-S


ICAPS'03 Tutorial chairs:

Anthony Barrett
NASA Jet Propulsion Laboratory

Jussi Rintanen
Albert-Ludwigs-Universitšt Freiburg