AVoCS'03 - Southampton

Scope

The aim of this workshop is to foster a research community in verification in and beyond the United Kingdom of Great Britain through encouraging communication among researchers. Specific objectives include efforts at integration as well as the transfer of methods between different groups from academia and industry. 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 (UK), continuing in the tradition of the annual DERA/OUCL series.
The second meeting, AVoCS'02, was held in Birmingham (UK).

Similarly to previous years, the meeting will be informal, and will combine invited lectures with accepted submissions. This year we also want to aim for wider, European and international attention.

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 PDF call for papers.

Instructions to Authors

For the PreProceedings, which will be available at the workshop, submit in your abstract or extended abstract in Postscript or PDF format and a plain text abstract electronically to avocs@ecs.soton.ac.uk Submissions should not exceed 16 10pt a4wide pages, all inclusive (but may be as short as 2 pages for abstracts).

Papers invited for the special issue (after the workshop) must be submitted in LaTeX in strict accordance to the publisher's style and layout regulations. (A corresponding LaTeX style file will be provided then.)

Proceedings

The AVoCS'03 Proceedings have been published as a technical report of the University of Southampton.

For the Final Proceedings, the authors of the best workshop presentations will be invited to submit, if they so wish, a Full Paper for a special issue in a journal (probably Formal Aspects of Computing).

Important Dates

Deadline for Submissions: March 5, 2003 - 17:00 GMT (elapsed).
Notification of Acceptance: March 10, 2003.
Deadline for Registration: March 24, 2003 (extended)

Workshop: April 2 and 3, 2003.
Deadline for Final Proceedings Submissions after the Workshop: to be announced

Invited Speakers

Doron Peled, University of Warwick (author of Model checking and Software Reliability Methods)
David LeBlanc, Microsoft (author of Writing Secure Code)

Programme

The full programme is available here.

The list of accepted papers is available here. There was a model checking competition. Answers will be published soon.

Fees

85.- British Pounds Stirling (ca. 135,- Eur) for Professionals, including the Workshop Dinner.
60.- British Pounds Stirling (ca. 95,- Euro) for Students, including the Workshop Dinner.
40.- British Pounds Stirling (ca. 65,- Euro) for Students, without the Workshop Dinner.

Contact & Registration

Please print out and fill in the Registration Form and send it back by telefax or surface mail by March 20 (2003) latest (using address or fax number on form).

Mail address for general enquiries:

Dr. Stefan Gruner [Attn. AVoCS'03]
Dept. ECS / DSSE / 59
University of Southampton
Highfield Campus
Southampton
GB - SO17 1BJ

Fax: +44 2380 593 045

For all other communication concerning AVoCS'03, including submissions, please send e-mail at avocs@ecs.soton.ac.uk.

Venue & Travel & Dinner

Building 65, Lecture Theatre C & North Corridor
on the Avenue Campus
University of Southampton, Southampton SO17 1BJ, United Kingdom.

Click here travel directions and for a map of the university campuses and surrounding area.

The conference dinner will be held April 2nd at 8pm in the evening at the Taste of Thailand, 11, Castle Way, Southampton, SO14 2BX. Click here for a map.

Accommodation

Participants are kindly asked to book their own accomodation. Here is a list of hotels and guest houses.

Local Organisers

Stefan Gruner, University of Southampton
Michael Leuschel, University of Southampton
Stéphane Lo-Presti, University of Southampton

Programme Committee

Sadie Creese, QinetiQ (UK)
Michael Goldsmith, Formal Systems Europe (UK)
Marta Kwiatkowska, University of Birmingham (UK)
Michael Leuschel (Chair), University of Southampton (UK)
David Nowak, CNRS & ENS Cachan (FR)
Joy Reed, Armstrong Atlantic State University (USA)
Mike Reed, Oxford University (UK)
Bill Roscoe, Oxford University (UK)
Ulrich Ultes-Nitsche, Université de Fribourg (CH)
Irfan Zakiuddin, QinetiQ (UK)

Index Scope Topics Call for Papers Instructions to Authors Proceedings (Updated) Important Dates Invited Speakers Programme Contact & Registration Fees Venue & Travel Accommodation Southampton Travel Info Programme Committee Sponsors & Supporters Related Events: AVoCS'01 AVoCS'02		Scope The aim of this workshop is to foster a research community in verification in and beyond the United Kingdom of Great Britain through encouraging communication among researchers. Specific objectives include efforts at integration as well as the transfer of methods between different groups from academia and industry. 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 (UK), continuing in the tradition of the annual DERA/OUCL series. The second meeting, AVoCS'02, was held in Birmingham (UK). Similarly to previous years, the meeting will be informal, and will combine invited lectures with accepted submissions. This year we also want to aim for wider, European and international attention. 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 PDF call for papers. Instructions to Authors For the PreProceedings, which will be available at the workshop, submit in your abstract or extended abstract in Postscript or PDF format and a plain text abstract electronically to avocs@ecs.soton.ac.uk Submissions should not exceed 16 10pt a4wide pages, all inclusive (but may be as short as 2 pages for abstracts). Papers invited for the special issue (after the workshop) must be submitted in LaTeX in strict accordance to the publisher's style and layout regulations. (A corresponding LaTeX style file will be provided then.) Proceedings The AVoCS'03 Proceedings have been published as a technical report of the University of Southampton. For the Final Proceedings, the authors of the best workshop presentations will be invited to submit, if they so wish, a Full Paper for a special issue in a journal (probably Formal Aspects of Computing). Important Dates Deadline for Submissions: March 5, 2003 - 17:00 GMT (elapsed). Notification of Acceptance: March 10, 2003. Deadline for Registration: March 24, 2003 (extended) Workshop: April 2 and 3, 2003. Deadline for Final Proceedings Submissions after the Workshop: to be announced Invited Speakers Doron Peled, University of Warwick (author of Model checking and Software Reliability Methods) David LeBlanc, Microsoft (author of Writing Secure Code) Programme The full programme is available here. The list of accepted papers is available here. There was a model checking competition. Answers will be published soon. Fees 85.- British Pounds Stirling (ca. 135,- Eur) for Professionals, including the Workshop Dinner. 60.- British Pounds Stirling (ca. 95,- Euro) for Students, including the Workshop Dinner. 40.- British Pounds Stirling (ca. 65,- Euro) for Students, without the Workshop Dinner. Contact & Registration Please print out and fill in the Registration Form and send it back by telefax or surface mail by March 20 (2003) latest (using address or fax number on form). Mail address for general enquiries: Dr. Stefan Gruner [Attn. AVoCS'03] Dept. ECS / DSSE / 59 University of Southampton Highfield Campus Southampton GB - SO17 1BJ Fax: +44 2380 593 045 For all other communication concerning AVoCS'03, including submissions, please send e-mail at avocs@ecs.soton.ac.uk. Venue & Travel & Dinner Building 65, Lecture Theatre C & North Corridor on the Avenue Campus University of Southampton, Southampton SO17 1BJ, United Kingdom. Click here travel directions and for a map of the university campuses and surrounding area. The conference dinner will be held April 2nd at 8pm in the evening at the Taste of Thailand, 11, Castle Way, Southampton, SO14 2BX. Click here for a map. Accommodation Participants are kindly asked to book their own accomodation. Here is a list of hotels and guest houses. Local Organisers Stefan Gruner, University of Southampton Michael Leuschel, University of Southampton Stéphane Lo-Presti, University of Southampton Programme Committee Sadie Creese, QinetiQ (UK) Michael Goldsmith, Formal Systems Europe (UK) Marta Kwiatkowska, University of Birmingham (UK) Michael Leuschel (Chair), University of Southampton (UK) David Nowak, CNRS & ENS Cachan (FR) Joy Reed, Armstrong Atlantic State University (USA) Mike Reed, Oxford University (UK) Bill Roscoe, Oxford University (UK) Ulrich Ultes-Nitsche, Université de Fribourg (CH) Irfan Zakiuddin, QinetiQ (UK) Sponsors & Supporters