[Om-announce] Registration for AVoCs 2008

[Alice Miller]

Apologies for cross posting:

 

Call for participation:

 

Registration for AVoCs 2008 will be open from Monday 15th September.
Please forward this email to any distribution list you have access to.

 

We look forward to seeing you in Glasgow!

 

Best wishes,

Alice and Muffy

 

AVoCS 2008

                                                     Eighth
International Workshop on Automated Verification of Critical Systems

Glasgow, 30 September - 1 October 2008

http://www.dcs.gla.ac.uk/avocs08/avocs08.htm

 

 

CALL FOR PARTICIPATION

 

 

     The aim of AVoCS 2008 is to contribute to the interaction and
exchange of ideas among  members of the international research community
on tools and techniques for the verification of critical systems. The
subject is to be interpreted broadly and inclusively. It covers all
aspects of automated verification, including model checking, theorem
proving, abstract interpretation, and refinement pertaining to various
types of critical systems (safety-critical, security-critical,
business-critical, performance-critical, etc.). Contributions that
describe different techniques, and industrial case studies are
encouraged.  This year, techniques and studies of ubiquitous, and
possibly mobile systems, either use-centred or sensor based, are
particularly welcome.

     The technical programme will consist of invited and contributed
talks and also allow for short presentations of ongoing work. The
workshop will be relatively informal, with an emphasis on discussion.

 

 

Topics include:

-         Model Checking

-         Automatic and Interactive Theorem Proving

-         Abstract Interpretation

-         Specification and Refinement

-         Requirements Capture and Analysis

-         Verification of Software and Hardware

-         Verification of Security-Critical Systems

-         Probabilistic and Real-Time Systems

-         Verified System Development

-         Industrial Applications

 

 

 

Dr Alice Miller CEng MIET

Department of Computing Science

University of Glasgow

G12 8QQ

0141 330 4454

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20080912/db1d718c/attachment.htm