The workshop
Automata and Verification has been held at UMH,
Mons-Hainaut University from
monday 25th August 2008 to tuesday 26th August 2008.
Slides of the presentations: slides will be progressively added in the
program page when received by the authors.
This workshop was a sattelite workshop of the conference
Mons Theoretical Computer Science Days from 27th to 30th August 2008.
The central topic of the workshop is about the extended models of automata used in the domain of verification, in particular around the extensions that have been briefly exposed : extensions of timed automata; regular model-checking; pushdown automata; automata and games; and related efficient algorithms.
The main objectives of the workshop are the following ones :
- to propose several surveys talks dedicated to young researchers in a way to introduce them to some specific extensions of automata used in verification,
- to present recent results and current research,
- and to try to initiate new collaborations on some specific open problems.
No participation fee is required. We will be able to propose some grants for young researchers. Details will be available later.
