Location: | Leonardo da Vinci Building, Lobby |
Speaker: | Lê Dung Tráng (ICTP, Trieste, Italy) |
Location: | Leonardo da Vinci Building, Lobby |
Speaker: | Douglas S. Bridges (University of Canterbury, Christchurch, New Zealand) |
Material: |
![]() |
Location: | Leonardo da Vinci Building, Lobby |
Location: | Leonardo da Vinci Building, Lobby |
Speaker: | Francis Sergeraert (Institut Fourier, St Martin d 'Hères, France) |
Material: |
![]() |
Location: | Leonardo da Vinci Building, Lobby |
Location: | Leonardo da Vinci Building, Lobby |
Speaker: | Thierry Coquand (Chalmers University, Gothenberg, Sweden) |
Material: |
![]() |
Location: | Leonardo da Vinci Building, Lobby |
Location: | Leonardo da Vinci Building, Lobby |
Speaker: | Francis Sergeraert (Institut Fourier, St Martin d 'Hères, France) |
Speaker: | Teo Mora (Università degli Studi di Genova, Genova, Italy) |
Material: |
![]() |
Speaker: | Ihsen Yengui (Faculté des Sciences de Sfax, Sfax, Tunisia) |
Material: |
![]() |
Speaker: | Thierry Coquand (Chalmers University, Gothenberg, Sweden) |
Material: |
![]() |
Speaker: | Douglas S. Bridges (University of Canterbury, Christchurch, New Zealand) |
Material: |
![]() |
Speaker: | Teo Mora (Università degli Studi di Genova, Genova, Italy) |
Speaker: | Francis Sergeraert (Institut Fourier, St Martin d 'Hères, France) |
Speaker: | Thierry Coquand (Chalmers University, Gothenberg, Sweden) |
Material: |
![]() |
Speaker: | Douglas S. Bridges (University of Canterbury, Christchurch, New Zealand) |
Speaker: | Gert-Martin Greuel (University of Kaiserslautern, Kaiserslautern, Germany) |
Material: |
![]() |
Speaker: | Francis Sergeraert (Institut Fourier, St Martin d 'Hères, France) |
Speaker: | Ihsen Yengui (Faculté des Sciences de Sfax, Sfax, Tunisia) |
Location: | Computer Lab. (LB) |
Speaker: | Stefan Steidel (Technical University of Kaiserslautern, Germany) |
Speaker: | Gert-Martin Greuel (University of Kaiserslautern, Kaiserslautern, Germany) |
Speaker: | Douglas S. Bridges (University of Canterbury, Christchurch, New Zealand) |
Speaker: | Ihsen Yengui (Faculté des Sciences de Sfax, Sfax, Tunisia) |
Location: | Computer Lab. (LB) |
Speaker: | Stefan Steidel (Technical University of Kaiserslautern, Germany) |
Speaker: | Gert-Martin Greuel (University of Kaiserslautern, Kaiserslautern, Germany) |
Speaker: | Peter Paule (University of Linz, Hagenberg, Austria) |
Speaker: | Teo Mora (Università degli Studi di Genova, Genova, Italy) |
Speaker: | Erik Palmgren (University of Uppsala, Uppsala, Sweden) |
Material: |
![]() |
Location: | Computer Lab. (LB) |
Speaker: | Stefan Steidel (Technical University of Kaiserslautern, Germany) |
Speaker: | Gert-Martin Greuel (University of Kaiserslautern, Kaiserslautern, Germany) |
Speaker: | Peter Paule (University of Linz, Hagenberg, Austria) |
Speaker: | Teo Mora (Università degli Studi di Genova, Genova, Italy) |
Speaker: | Erik Palmgren (University of Uppsala, Uppsala, Sweden) |
Material: |
![]() |
Location: | Computer Lab. (LB) |
Speaker: | Stefan Steidel (Technical University of Kaiserslautern, Germany) |
Speaker: | Peter Paule (University of Linz, Hagenberg, Austria) |
Speaker: | Erik Palmgren (University of Uppsala, Uppsala, Sweden) |
Material: |
![]() |
Speaker: | Tornike Kadeishvili (A. Razmadze Mathematical Institute, Tbilisi, Georgia) |
Speaker: | Ihsen Yengui (Faculté des Sciences de Sfax, Sfax, Tunisia) |
Speaker: | Peter Paule (University of Linz, Hagenberg, Austria) |
Speaker: | Erik Palmgren (University of Uppsala, Uppsala, Sweden) |
Material: |
![]() |
Speaker: | Thierry Coquand (Chalmers University, Gothenberg, Sweden) |
Material: |
![]() |
Speaker: | Tornike Kadeishvili (A. Razmadze Mathematical Institute, Tbilisi, Georgia) |
Speaker: | Peter Paule (University of Linz, Hagenberg, Austria) |
Speaker: | Tornike Kadeishvili (A. Razmadze Mathematical Institute, Tbilisi, Georgia) |
Speaker: | Tornike Kadeishvili (A. Razmadze Mathematical Institute, Tbilisi, Georgia) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Peter Schuster (Universitaet Muenchen, Muenchen, Germany) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Henri Lombardi (Université de France-Comte, Besançon, France) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Freek Wiedijk (Nijmegen, Holland) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Miriam Andrés (Universidad de La Rioja, La Rioja, Spain) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Giuseppe Rosolini (Università di Genova, Genova, Italy) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Marie-Françoise Roy (Université de Rennes, Rennes, France) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Manuel Kauers (Johannes Kepler University, Linz, Austria) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Guillermo Matera (Universidad Nacional de General Sarmiento, Buenos Aires, Argentina) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Lihong Zhi (Academy of Mathematics and System Sciences, Beijing, P.R. of China) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Chunming Yuan (Academy of Mathematics and Systems Science, Beijing, P.R. of China) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Gabriela Jeronimo (Universidad de Buenos Aires, Buenos Aires, Argentina) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Alban Quadrat (INRIA, APICS Project, Sophia Antipolis, France) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Micaela Mayero (LIPN-UMR CNRS, Université Paris-Nord, Villetaneuse, France) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Ulrich Berger (University of Wales Swansea, Swansea, UK) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Andrej Bauer (FMF, Ljubljana) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Bas Spitters (Foundations of Mathematics and Computer Science, Nijmegen, Netherland) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Francis Sergeraert (Institut Fourier, St. Martin d'Hères, France) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Ulrich Kohlenbach (Technishche Universitaet Darmstadt, Darmstadt, Germany) |
Location: | Adriatico Guest House Kastler Lecture Hall |
Location: | Adriatico Guest House Kastler Lecture Hall |
Speaker: | Helmut Schwichtenberg (Mathematisches Institut der Universitaet Munchen, Munchen, Germany) |