Logic Colloquium 2004
ASL European Summer Meeting       Torino, 25-31 July 2004

Model Theory

Organizers: D.Marker, A.Wilkie
Matthias Aschenbrenner
Ivan Tomasic
Alexander Berenstein
Raf Cluckers
Tamara Servi
Monica VanDieren
Xavier Vidaux
Karim Zahidi

Proof Theory

Organizers: T.Carlson, M.Rathjen, A.Weiermann
Andrea Cantini
Robert Lubarsky
Anton Setzer
Alan Woods

Universal Algebra

Organizers: R.Willard, M.Valeriote, K.A.Kearnes, G.McNulty
Paolo Aglianò
Erhard Aichinger
Steve Givant
Benoit Larose
Paolo Lipparini
Miklos Maroti
Vera Vertesi
Laszlo Zadori