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
Phillip James with boxes
The AVoCS'09 team preparing the registration stand
A helpful member of Gregynog's staff
Jean-Jose Razafindrakoto & Erwin R. Catesbeiana (Jr) & Temesghen Kahsai at the registration stand
Phillip James & Temesghen Kahsai creating the delegates packs
The First Lunch
Full Papers – Session 1
The AVoCS'09 audience
Nathaniel Charlton
Nathaniel Charlton
Holger Gast
Holger Gast
Reynald Affeldt
Reynald Affeldt
Coffee Time
Full Papers – Session 2
Session chair: Christoph Lüth
Julio C. Peralta
Julio C. Peralta
Étienne André
Étienne André
Kenneth Johnson
Kenneth Johnson
Short Contributions – Session 1
Session chair: Cliff B. Jones
Shamim H. Ripon
Shamim H. Ripon
Anaheed Ayoub
Anaheed Ayoub
The Welsh Dinner
Drinks In The Cellar Bar
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
Coffee Time
Full Papers – Session 3
Session chair: Michael Goldsmith, Speaker: H. Palikareva
H. Palikareva
Neil C. C. Brown
Neil C. C. Brown
The switch over
F.P.M. Stappers
F.P.M. Stappers
Short Contributions – Session 2
Session chair: Jan Tobias Mühlberg
N. Tzevelekos
N. Tzevelekos
Monika Seisenberger
Monika Seisenberger
Alexei Lisitsa
Alexei Lisitsa
Karim Kanso
Karim Kanso
Coffee Time
Short Contributions – Session 3
Savas Konur
Savas Konur
Erwin R. Catesbeiana (Jr)
Nikolaos Papanikolaou
Nikolaos Papanikolaou
Nikolaos Papanikolaou
Cliff B. Jones
Cliff B. Jones
Cliff B. Jones
The Conference Dinner
Drinks In The Cellar Bar
Invited Speaker - Ulrich Berger: Proofs-as-Programs in Computable Analysis
Session chair: Anton Setzer
Ulrich Berger
Ulrich Berger
Ulrich Berger
Coffee Time
Erwin R. Catesbeiana (Jr) relaxing by the flowers
Full Papers – Session 4
Session chair: Jens Bendisposto
Huaxin Wang
Huaxin Wang
Sion Lloyd
Sion Lloyd
Beeta Vajar
Beeta Vajar
Jens Bendisposto invites us to AVoCS'10 in Dusseldorf
Saying Farewell