The theme of the day is "Synthesis and Verification" understood in the widest
possible sense. It includes, but is not limited to : model-checking, automata
based models for timed and hybrid systems, synthesis of control strategies,
game theory, and also, theorem proving, abstract interpretation, partial evaluation,
type checking, animation of formal descriptions, proof of programs, termination
analysis, complexity and decidability issues, etc. This list is by no means
exhaustive.
Submissions:
Please send a title and an abstract (max. 1/2 page) before October 1st
to: Jean-François Raskin (Jean-Francois.Raskin@ulb.ac.be)
and Pascal Gribomont (gribomont@montefiore.ulg.ac.be)
Note that the contents of the talk may already have been submitted elsewhere;
in this case please specify its status in your submission.
Invited speaker:
Dr. Nicolas Markey (LSV, Ecole Supérieure de Cachan, http://www.lsv.ens-cachan.fr/~markey/)
will give an talk on : Verification of Multi-Agent Systems with ATL.
Abstract : Alternating-time Temporal Logic (ATL) is an extension of the well-known
branching-time logic CTL geared towards the specification and verification
of strategic abilities of (coalitions of ) agents to enforce some ob jective.
During this talk, I will introduce the framework of multi-agent systems, and
present some results on the expressiveness and complexity of ATL.
Location:
To be announced.
Organization:
P. Gribomont, Chairman
ULg - Institut d'électricité Montefiore
Sart-Tilman, B28
4000 Liège
Phone : 04/366.26.67
Email : gribomont@montefiore.ulg.ac.be
J.-F. Raskin, Secretary
ULB - Départment d'Informatique
Campus de la Plaine, CP212
1050 - Bruxelles
Phone : 02/650.55.92
Email : Jean-Francois.Raskin@ulb.ac.be
http://www.ulb.ac.be/di/ssd/jfr