[TYPES] AVoCS '05 [Call for Participation]

Ranko Lazic lazic at dcs.warwick.ac.uk
Fri Aug 5 04:39:59 EDT 2005

AVoCS '05
5th International Workshop on
Automated Verification of Critical Systems

University of Warwick, UK, 12-13 September 2005

Workshop programme and registration information are now available at:


Registration is by 21 August.

Invited speakers

Cliff Jones
Tackling Partial Functions in the Formal Development of Programs

James Worrell
On Metric Temporal Logic and Faulty Turing Machines

Special session on timed, stochastic and biological systems

Patricia Bouyer
Optimal Timed Games

Joost-Pieter Katoen
Could it Probably be Cheap?

Sara Kalvala
Application of Formal Methods to Biological Systems

11 regular papers

6 short presentations

For a detailed programme, see the workshop website.

More information about the Types-list mailing list