ICAPS'03 Tutorials

Provisional schedule

Monday, June 9

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

Room: 3


Tuesday, June 10


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

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