[TYPES] AVoCS '05 [Call for Participation]

[Ranko Lazic]

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:

http://www.dcs.warwick.ac.uk/~avocs05

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.