School of Computer Science

Scope

The aim of this workshop is to foster a research community in verification in United Kingdom through encouraging communication among researchers. Specific objectives include efforts at integration as well as the transfer of methods between different groups. The topics are to be interpreted broadly and inclusively, and in particular cover all aspects of verification (model checking, theorem proving, specification and refinement proofs, etc) pertaining to various types of critical systems, be it safety-critical, business-critical, or performance-critical.

The first meeting, AVoCS'01, was held in Oxford, continuing in the tradition of the annual DERA/OUCL series.

Similarly to last year, the meeting will be informal, and will combine invited lectures with accepted submissions.

Topics

Topics include but are not limited to:

Specification and refinement methods
Model checking (theory, tools and applications)
Abstract interpretation
Theorem proving
Software and hardware verification
Verification of probabilistic and/or real-time systems
Verification of distributed protocols including security
Performance and dependability evaluation
Case studies

Call for Papers

Download self-contained Postscript or PDF CFP.

Instructions to Authors

Submit in your article in Postscript or PDF format and a plain text abstract electronically to avocs@cs.bham.ac.uk. Submissions should not exceed 16 10pt a4wide pages, all inclusive. The page limit for final versions will probably be different, and will be announced later. A LaTeX version of the final version of accepted papers will have to be submitted too.

Proceedings

AVoCS'01 Proceedings will be published as a technical report of the School of Computer Science of the University of Birmingham.

Important Dates

Deadline for Submissions: February 15, 2002.
Notification of Acceptance: March 15, 2002.
Final versions of papers: April 1, 2002.
Deadline for Registration: April 10, 2002.
Workshop: April 15, 16, 2002.

The workshop immediately follows The Eighth IEEE International Symposium on Asynchronous Circuits and Systems, which is to take place at Manchester April 8-11, 2002.

Invited Speakers

Kim Larsen, Aalborg University

Contact

Registration applications should be received by fax or surface mail by April 10, 2002.

Mail address:

Dr. Gethin Norman
Attn. AVoCS'02
School of Computer Science, The University of Birmingham
Edgbaston B15 2TT, Birmingham, United Kingdom

Fax: +44 121 414 4281

For all other communication concerning AVoCS'02, including submissions, please send e-mail at avocs@cs.bham.ac.uk.

Registration

Click here to download an AVoCS'02 registration form.

Venue

Room LG32, Learning Centre & Primary Care Clinical Sciences Building
University of Birmingham, Edgbaston B15 2TT, Birmingham, United Kingdom.

Click here for a map of Birmingham initially focused on the university campus surrounding area. A map of the university campus is available here. The Learning Centre Building is newer than this map. It is closest to location 13 on the map. Click here for travel instructions.

Accommodation

Programme Committee

Marta Kwiatkowska, University of Birmingham
Michael Leuschel, University of Southampton
David Nowak, Oxford University
Joy Reed, Armstrong Atlantic State University
Mike Reed, Oxford University
Bill Roscoe, Oxford University
Ulrich Ultes-Nitsche, University of Southampton
Irfan Zakiuddin, QinetiQ

Index Scope Topics Call for Papers Instructions to Authors Proceedings Important Dates Invited Speakers Programme (not yet available) Contact Registration Venue Accommodation Travel to Birmingham Programme Committee Related Events: AVoCS'01 ASYNC'02 ETAPS'02		Scope The aim of this workshop is to foster a research community in verification in United Kingdom through encouraging communication among researchers. Specific objectives include efforts at integration as well as the transfer of methods between different groups. The topics are to be interpreted broadly and inclusively, and in particular cover all aspects of verification (model checking, theorem proving, specification and refinement proofs, etc) pertaining to various types of critical systems, be it safety-critical, business-critical, or performance-critical. The first meeting, AVoCS'01, was held in Oxford, continuing in the tradition of the annual DERA/OUCL series. Similarly to last year, the meeting will be informal, and will combine invited lectures with accepted submissions. Topics Topics include but are not limited to: Specification and refinement methods Model checking (theory, tools and applications) Abstract interpretation Theorem proving Software and hardware verification Verification of probabilistic and/or real-time systems Verification of distributed protocols including security Performance and dependability evaluation Case studies Call for Papers Download self-contained Postscript or PDF CFP. Instructions to Authors Submit in your article in Postscript or PDF format and a plain text abstract electronically to avocs@cs.bham.ac.uk. Submissions should not exceed 16 10pt a4wide pages, all inclusive. The page limit for final versions will probably be different, and will be announced later. A LaTeX version of the final version of accepted papers will have to be submitted too. Proceedings AVoCS'01 Proceedings will be published as a technical report of the School of Computer Science of the University of Birmingham. Important Dates Deadline for Submissions: February 15, 2002. Notification of Acceptance: March 15, 2002. Final versions of papers: April 1, 2002. Deadline for Registration: April 10, 2002. Workshop: April 15, 16, 2002. The workshop immediately follows The Eighth IEEE International Symposium on Asynchronous Circuits and Systems, which is to take place at Manchester April 8-11, 2002. Invited Speakers Kim Larsen, Aalborg University Contact Registration applications should be received by fax or surface mail by April 10, 2002. Mail address: Dr. Gethin Norman Attn. AVoCS'02 School of Computer Science, The University of Birmingham Edgbaston B15 2TT, Birmingham, United Kingdom Fax: +44 121 414 4281 For all other communication concerning AVoCS'02, including submissions, please send e-mail at avocs@cs.bham.ac.uk. Registration Click here to download an AVoCS'02 registration form. Venue Room LG32, Learning Centre & Primary Care Clinical Sciences Building University of Birmingham, Edgbaston B15 2TT, Birmingham, United Kingdom. Click here for a map of Birmingham initially focused on the university campus surrounding area. A map of the university campus is available here. The Learning Centre Building is newer than this map. It is closest to location 13 on the map. Click here for travel instructions. Accommodation Programme Committee Marta Kwiatkowska, University of Birmingham Michael Leuschel, University of Southampton David Nowak, Oxford University Joy Reed, Armstrong Atlantic State University Mike Reed, Oxford University Bill Roscoe, Oxford University Ulrich Ultes-Nitsche, University of Southampton Irfan Zakiuddin, QinetiQ
Search our site

AVoCS'02		HOME < ~MZK