[TYPES] AVoCS '05 [Call for Participation]
lazic at dcs.warwick.ac.uk
Fri Aug 5 04:39:59 EDT 2005
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.
Tackling Partial Functions in the Formal Development of Programs
On Metric Temporal Logic and Faulty Turing Machines
Special session on timed, stochastic and biological systems
Optimal Timed Games
Could it Probably be Cheap?
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