Plenary speakers
John Baldwin
Tomek Bartoszynski
Alessandro Berarducci
Alberto Marcone
Grigori Mints
Michael Möllerfeld
Frank Stephan
Göran Sundholm
Guglielmo Tamburrini
Matthew Valeriote
Hugh Woodin
Tutorials
Alexander Kechris
Thomas Scanlon
Slawomir Solecki
Reed Solomon
Ross Willard
Special sessions
Model Theory
Proof Theory
Universal Algebra
Panel Discussion
Dag Prawitz (moderator)
Mirella Capozzi,
Cesare Cozzo,
Riccardo Pozzo
Program Committee
Toshiyasu Arai, Dick de Jongh, Steffen Lempp,
Gabriele Lolli, David Marker, Warren Goldfarb, Greg Hjorth, Tony Martin, Ralph McKenzie,
Wolfram Pohlers (Chair), Wilfried Sieg, Andrea Sorbi, Alex Wilkie
Organizing Committee
Alessandro Andretta (Chair),
Stefano Berardi,
Riccardo Camerlo,
Ugo De Liguoro,
Mariangiola Dezani,
Alberto Marcone,
Nicola Olivetti,
Domenico Zambella
Poster
