Non-classical Logics: from Foundations to Applications
24 April 2008 - 26 April 2008
Invited Speakers
[page view]
| Name | Affiliation | period |
| Stefano Aguzzoli |
Dipartimento di Scienze dell'Informazione, Università di Milano |
|
| Matthias Baaz |
Vienna, Tech. Universitaet |
|
| Simone Bova |
Dipartimento di Matematica, Università di Siena |
|
| Carlos Caleiro |
Departamento de Matemática, Instituto Superior Técnico, Lisboa |
|
| Agata Ciabattoni |
Vienna, Tech. Universitaet |
|
| Christian Fermüller |
Technische Universität Wien |
|
| Tommaso Flaminio |
Dipartimento di Matematica, Università di Siena |
|
| Pter Hàjek |
Academy of Sciences, Prague |
|
| Alexander Leitsch |
Vienna, Tech. Universitaet |
|
| Vincenzo Marra |
Dipartimento di Matematica "Federigo Enriques", Università degli Studi di Milano |
|
| Jeff Paris |
School of Mathematics, University of Manchester |
|
| Wiebe van der Hoek |
Department of Computer Science, University of Liverpool |
|
| Gregory Wheeler |
Carnegie Mellon University |
|
| Jon Williamson |
Center for Reasoning, University of Kent |
|
