Invited Speakers

TANCL ’07

• Samson Abramsky, University of Oxford, UK
• Wojciech Buszkowski, Adam Mickiewicz University, Poland
• Alexander Kurz, University of Leicester, UK
• Jean-Eric Pin, University Paris 7 and CNRS
• Giovanni Sambin, University of Padova, Italy
• Yde Venema, University of Amsterdam, Netherlands
• Frank Wolter, University of Liverpool, UK

Coalgebraic Logic

• Marcelo Fiore, University of Cambridge, UK
• Rob Goldblatt, Victoria University, Wellington, New Zealand
• Hans-Peter Gumm, Philipps-Universität, Marburg, Germany
• Bart Jacobs, Radboud University, Nijmegen, The Netherlands
• Larry Moss, Indiana University, USA
• Yde Venema, University of Amsterdam, The Netherlands

Spatio-temporal Logics

• Ian Pratt-Hartmann, University of Manchester, UK
• Dimiter Vakarelov, Sofia University, Bulgaria

Categorical Quantum Logic

• Rick Blute, University of Ottawa, Canada
• Marcelo Fiore, University of Cambridge, UK
• John Harding, New Mexico State University, USA
• Chris Isham, Imperial College, London, UK
• Dusko Pavlovic, Kestrel Institute, USA