Ninth International Workshop on Automated Verification of Critical Systems

Image of Gregynog Logo for AVoCS 2009

Swansea University Computer Science, 23-25 September 2009


The registration fee for AVoCS 2009 is 280 Pounds. This fee includes

Please register soon - there is only a limited number of rooms reserved at the Gregynog Conference Centre for AVoCS 2009.

Please fill in the registration form, which is available as form.pdf, and as form.tex.

Please email this form as a pdf attachment (excluding any credit card details) to: S.Phillips (at) and also as a cc to avocs09 (at)

Registration is only complete after payment has been recieved.


If paying by credit card, please post or fax the above form with your credit card details and signature to

Sue Phillips
Department of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP, UK
fax +44 (0) 1792 295708
email S.Phillips (at)

If paying by cheque, make the cheque payable to Swansea University and post it to Sue Phillips together with the registration form.

If paying by bank transfer, the details are:

    Bank Name: LLoyds TSB
    Bank Address: Swansea Branch
    Branch Sort Code: 30-95-46
    Branch Swift: LOYD21101
    IBAN Number: GB64LOYD30954602783215
    Bank Account Number: 02783215
    Bank Account Name: Swansea University
    VAT Number: 123 8534 77
    Reference: CSZ.010.252.