Workshop on Infinite Systems
and Verification of Quantitative Properties

March 5-7, 2003 - Grenoble, France

Description

This workshop follows the previous "JSI" (Workshops on Infinite Systems) which took place in 2001 in Paris and in 2002 in Luminy, and is organised, this year, jointly with the final workshop of the Specific Action on Verification of Quantitative Properties of the STIC Department of the CNRS.

Invited Speakers

Eugene Asarin : Theory of Timed Languages

Bernard Boigelot : Hybrid Acceleration using Real Vector Automata

Ahmed Bouajjani : Regular Model Checking - verification of parametrized and dynamic systems

Giorgio Delzanno : Verification of multithreaded programs

Eric Goubault : Static analysis of floating-point computations by abstract interpretation - current status and problems

Joost-Pieter Katoen : Performance analysis by model checking

Denis Lugiez : Multitree automata

Oded Maler : A New Theory of Scheduling based on Timed Automata

Mooly Sagiv : Shape analysis

Philippe Schnoebelen : The Verification of Lossy Channel Systems

Organizing Committee