Ninth International Workshop on Automated Verification of Critical Systems

Image of Gregynog Logo for AVoCS 2009

Swansea University Computer Science, 23-25 September 2009

A YouTube Video Capturing AVoCS'09

The YouTube video Paris - Gregynog by train is a short video composed of the journey from Paris to Gregynog, the AVoCS'09 conference at Gregynog and the journey back to Paris.

Timeline Via Photos

Here are some photos from AVoCS'09 in chronological order that make up a nice timeline. Some of the photos are not of the greatest quality ever, but they still tell a nice story.

The Setup

Liam O'Reilly creating name badges
Liam O'Reilly creating name badges
Phillip James with boxes
Phillip James with boxes
The AVoCS'09 team preparing the registration stand
The AVoCS'09 team preparing the registration stand
A helpful member of Gregynog's staff
A helpful member of Gregynog's staff
Jean-Jose Razafindrakoto & Erwin R. Catesbeiana (Jr)  & Temesghen Kahsai at the registration stand
Jean-Jose Razafindrakoto & Erwin R. Catesbeiana (Jr) & Temesghen Kahsai at the registration stand
Phillip James & Temesghen Kahsai creating the delegates packs
Phillip James & Temesghen Kahsai creating the delegates packs

The First Lunch

Photo from AVoCS'09 - The first lunch
Photo from AVoCS'09 - The first lunch
Photo from AVoCS'09 - The first lunch
Photo from AVoCS'09 - The first lunch

Full Papers – Session 1

The AVoCS'09 audience
The AVoCS'09 audience
Nathaniel Charlton
Nathaniel Charlton
Nathaniel Charlton
Nathaniel Charlton
Holger Gast
Holger Gast
Holger Gast
Holger Gast
Reynald Affeldt
Reynald Affeldt
Reynald Affeldt
Reynald Affeldt

Coffee Time

Photo from AVoCS'09 - Coffee time
Photo from AVoCS'09 - Coffee time

Full Papers – Session 2

Session chair: Christoph Lüth
Session chair: Christoph Lüth
Julio C. Peralta
Julio C. Peralta
Julio C. Peralta
Julio C. Peralta
Étienne André
Étienne André
Étienne André
Étienne André
Kenneth Johnson
Kenneth Johnson
Kenneth Johnson
Kenneth Johnson

Short Contributions – Session 1

Session chair: Cliff B. Jones
Session chair: Cliff B. Jones
Shamim H. Ripon, Alice Miller and Alastair F. Donaldson
Shamim H. Ripon
Shamim H. Ripon, Alice Miller and Alastair F. Donaldson
Shamim H. Ripon
Anaheed Ayoub
Anaheed Ayoub
Anaheed Ayoub
Anaheed Ayoub

The Welsh Dinner

Drinks In The Cellar Bar

Photo from AVoCS'09 - Drinks in the cellar bar
Photo from AVoCS'09 - Drinks in the cellar bar
Photo from AVoCS'09 - Drinks in the cellar bar

Day 2

Photo from AVoCS'09 - Day 2

Invited Speaker - Christoph Lüth: User Interfaces for Theorem Provers - Necessary Nuisance or Unexplored Potential?

Christoph Lüth
Christoph Lüth
Christoph Lüth
Christoph Lüth
Christoph Lüth
Christoph Lüth
Christoph Lüth
Christoph Lüth

Coffee Time

Photo from AVoCS'09 - Coffee time

Full Papers – Session 3

Session chair: Michael Goldsmith, Speaker: H. Palikareva
Session chair: Michael Goldsmith, Speaker: H. Palikareva
H. Palikareva
H. Palikareva
Neil C. C. Brown
Neil C. C. Brown
Neil C. C. Brown
Neil C. C. Brown
The switch over
The switch over
F.P.M. Stappers
F.P.M. Stappers
F.P.M. Stappers
F.P.M. Stappers

Short Contributions – Session 2

Session chair: Jan Tobias Mühlberg
Session chair: Jan Tobias Mühlberg
N. Tzevelekos
N. Tzevelekos
N. Tzevelekos
N. Tzevelekos
Monika Seisenberger
Monika Seisenberger
Monika Seisenberger
Monika Seisenberger
Alexei Lisitsa
Alexei Lisitsa
Alexei Lisitsa
Alexei Lisitsa
Karim Kanso
Karim Kanso
Karim Kanso
Karim Kanso

Coffee Time

Photo from AVoCS'09 - Coffee time
Photo from AVoCS'09 - Coffee time
Photo from AVoCS'09 - Coffee time
Photo from AVoCS'09 - Coffee time
Photo from AVoCS'09 - Coffee time

Short Contributions – Session 3

Savas Konur
Savas Konur
Savas Konur
Savas Konur
Erwin R. Catesbeiana (Jr)
Erwin R. Catesbeiana (Jr)
Nikolaos Papanikolaou
Nikolaos Papanikolaou
Nikolaos Papanikolaou
Nikolaos Papanikolaou
Nikolaos Papanikolaou
Nikolaos Papanikolaou
Cliff B. Jones
Cliff B. Jones
Cliff B. Jones
Cliff B. Jones
Cliff B. Jones
Cliff B. Jones

The Conference Dinner

Photo from AVoCS'09 - The conference lunch
Photo from AVoCS'09 - The conference lunch
Photo from AVoCS'09 - The conference lunch
Photo from AVoCS'09 - The conference lunch
Photo from AVoCS'09 - The conference lunch
Photo from AVoCS'09 - The conference lunch
Photo from AVoCS'09 - The conference lunch

Drinks In The Cellar Bar

Photo from AVoCS'09 - Drinks in the cellar bar
Photo from AVoCS'09 - Drinks in the cellar bar
Photo from AVoCS'09 - Drinks in the cellar bar
Photo from AVoCS'09 - Drinks in the cellar bar

Invited Speaker - Ulrich Berger: Proofs-as-Programs in Computable Analysis

Session chair: Anton Setzer
Session chair: Anton Setzer
Ulrich Berger
Ulrich Berger
Ulrich Berger
Ulrich Berger
Ulrich Berger
Ulrich Berger

Coffee Time

Erwin R. Catesbeiana (Jr) relaxing by the flowers
Erwin R. Catesbeiana (Jr) relaxing by the flowers

Full Papers – Session 4

Session chair: Jens Bendisposto
Session chair: Jens Bendisposto
Huaxin Wang
Huaxin Wang
Huaxin Wang
Huaxin Wang
Sion Lloyd
Sion Lloyd
Sion Lloyd
Sion Lloyd
Beeta Vajar
Beeta Vajar
Beeta Vajar
Beeta Vajar
Jens Bendisposto invites us to AVoCS'10 in Dusseldorf
Jens Bendisposto invites us to AVoCS'10 in Dusseldorf

Saying Farewell

Photo from AVoCS'09 - Saying farewell
Photo from AVoCS'09 - Saying farewell
Photo from AVoCS'09 - Saying farewell
Photo from AVoCS'09 - Saying farewell