The workshop will cover some recent advances and issues in the modelling and analysis of time-dependent systems. The plan is to have some preparatory lectures on the 11th and the actual workshop talks on the 12th.
Here is the schedule of lectures:
| Timed Systems Workshop Schedule | ||
| Monday, 11th December 2006 | ||
| 9:30--10:30am: | Timed automata | Supratik Chakraborty, IIT Bombay |
| 10:30--11:30am: | Symbolic reachability analysis in hybrid automata | Paritosh Pandya, TIFR Mumbai |
| 11:30am--12:00pm: | Tea | |
| 12:00--1:00pm: | Introduction to timed logics | Kamal Lodaya, IMSc Chennai |
| 1:00--2:00pm: | Lunch | |
| 2:00--3:00pm: | Decision procedures for timed logics | Fabrice Chevalier, LSV Cachan |
| 3:00--4:00pm: | Timed games | Deepak D'Souza, IISc Bangalore |
| 4:00--4:30pm: | Tea | |
| 4:30--5:30pm: | Learning regular languages | Martin Leucker, TUM Munich |
| Tuesday, 12th December 2006 | ||
| 9:30--10:15am: | Timed regular languages | Eugene Asarin, LIAFA Paris |
| 10:15--11:00am: | Abstractions and Refinements for timed systems | Paul Gastin, LSV Cachan |
| 11:00--11:30am: | Tea | |
| 11:30am--12:15pm: | Weighted timed automata: model-checking and games | Patricia Bouyer, LSV Cachan |
| 12:15--1:00pm: | Learning timed systems | Martin Leucker, TUM Munich |
| 1:00--2:00pm: | Lunch | |
| 2:00--2:45pm: | Timed Message Sequence Charts | Madhavan Mukund, CMI Chennai |
| 2:45--3:30pm: | Model Checking Timed Automata using Digitization | Paritosh Pandya, TIFR Mumbai |
| 3:30--4:00pm: | Tea | |
| 4:00--4:45pm: | Symbolic approaches for verification of hybrid systems | Ashish Tiwari, SRI Menlo Park |