People
Steering Committee
Photograph of the participants in the First European
Set Theory meeting (2007),
which took place in Bedlewo (Poland).
Joan Bagaria (Chair)
Department of Logic, History and Philosophy of Science
Universitat de Barcelona
Spain
Phone: +34 934 037 979
Mail: 
Mirna Džamonja
School of Mathematics
University of East Anglia
United Kingdom
Phone: +44 1603 592 981
Mail: .png)
Jouko Väänänen
Department of Mathematics and Statistics
University of Helsinki
Finland
Phone: (+358 9) 191 51500
Mail: .png)
ILLC, Universiteit van Amsterdam
Netherlands
Phone: +31 20 525 6925
Mail: .png)
Sy David Friedman
Kurt Gödel Research Center for Mathematical Logic
Austria
Phone: +43 1 4277 50501
Mail: .png)
Peter Koepke
Mathematisches Institut Rheinische Friedrich-Wilhelms-Universität Bonn
Germany
Phone: +49 (228) 73 2206
Mail: .png)
Benedikt Löwe
Institute for Logic, Language and Computation (ILLC)
Universiteit van Amsterdam
Netherlands
Phone: +31 (20) 525 6071
Mail: .png)
Erik Palmgren
Department of Mathematics
Stockholm University
Sweden
Phone: +46 8 16 45 32
Mail: .png)
Grzegorz Plebanek
Mathematical Institute
University of Wroc³aw
Poland
Phone: (+48) 71 37 57 401
Mail: .png)
Petr Simon
Department of Theoretical Computer Science and Mathematical Logic
Charles University
Czech Republic
Phone: +420 22191 4282
Mail: .png)
Andreas Weiermann
Theoretical Mathematics and Computer Algebra
Universiteit Gent
Belgium
Phone: +32 9 264 48 99
Mail: .png)
Back to the list of the Steering Committee
Participants
The number of participants in INFTY, including the Steering Committee, consists in more than 150 people, doing research in several different topics of mathematics and philosophy (their area of research is indicated in parentheses). You can see the complete list below, or browse them directly by country:
Austria
Photograph of some participants of the Austrian node.
- Sy David Friedman, (Set theory). University of Vienna.
- Arthur Fischer, (Set theory). University of Vienna.
.png)
- Vera Fischer, (Set theory). University of Vienna.
.png)
- Ekaterina Fokina, (Set theory, Computation theory). University of Vienna.
.png)
- Martin Goldstern, (Set theory). University of Technology, Vienna.
.png)
- Ajdin Halilovic, (Set theory). University of Vienna.
.png)
- Peter Holy, (Set theory). University of Vienna.
.png)
- Prerna Juhlin, (Model theory). University of Vienna.
.png)
- Jakob Kellner, (Set theory). University of Vienna.
.png)
- Giorgio Laguzzi, (Set theory). University of Vienna.
.png)
- Heike Mildenberger, (Set theory). University of Vienna.
.png)
- Hiroaki Minami, (Set theory). University of Vienna.
.png)
- Luca Motto Ros, (Set theory). University of Vienna.
.png)
- David Schrittesser, (Set theory). University of Vienna.
.png)
- Katherine Thompson, (Set theory). University of Vienna.
.png)
- Peter Telec, (Modal and Nonclassical logic). University of Vienna.
.png)
- Asger Törnquist, (Set theory). University of Vienna.
.png)
- Agatha Walczak-Typke, (Set theory, Model theory). University of Vienna.
- Philip Welch, (Set theory). University of Vienna.
.png)
- Wolfgang Wohofsky, (Set theory). University of Technology, Vienna.
.png)
- Lyubomyr Zdomskyy, (Set theory). University of Vienna.
.png)
Belgium
- Andreas Weiermann, (Logic). Universiteit Gent.
- Arnold Beckmann, (Proof theory and proof complexity, Bounded arithmetic and propositional proof complexity, Implicit computational complexity, Reduction systems, Intermediate predicate logics). Swansea University.
.png)
- Andrey Igorevich Bovykin, (Mathematical logic - Unprovability theory, Model theory). University of Bristol.
.png)
- Lorenzo Carlucci, (Proof theory, Computational learning theory). Università di Roma La Sapienza.
.png)
- Michiel De Smet, (Foundations of mathematics, Proof theory). Universiteit Gent.
.png)
- Leon Horsten, (Philosophy - Logic , Philosophy of Mathematics). University of Leuven.
.png)
- Chris Impens, (Nonstandard mathematics). Universiteit Gent.
.png)
- Sato Kentaro, (Mathematical logic). Kobe University.
.png)
- Michel Lavrauw, (Combinatorics, Finite geometry, Finite fields, Finite semifields). Universiteit Gent.
.png)
- Kristina Liefke, (Philosophical logic, Linguistics). Christian Albrecht University Kiel.
.png)
- Georg Moser, (Term rewriting, Complexity, Proof theory, Logic). University of Innsbruck.
.png)
- Eran Omri, (Computer science). Ben-Gurion University.
.png)
- Florian Pelupessy, (Proof theory, Combinatorics). Universiteit Gent.
.png)
- Sam Sanders, (Nonstandard mathematics, Logic). Universiteit Gent.
.png)
- Hans Vernaeve, (Nonstandard analysis). Universiteit Gent.
.png)
- Alan Robert Woods, (Mathematical logic - Finite and infinite structures, Nonstandard models, Limit laws for ordinal numbers, connection between set theory, combinatorics, algebra and arithmetic). University of Western Australia.
.png)
- Karim Zahidi, (Decidability in algebra, Philosophy). Universiteit of Antwerp.
.png)
Czech Republic
- Peter Simon, (Set-theoretic topology, Set theory). Charles University.
- Bohuslav Balcar, (Set theory). Charles University.
.png)
- David Chodounsky, (Set theory). Charles University.
.png)
- Jana Flašková, (Set theory, Topology). University of West Bohemia in Pilsen.
.png)
- Radek Honzik, (Set theory). Charles University.
.png)
- Vojtech Kolman, (Philosophy). Charles University.
.png)
- Jaroslav Nesetril, (Combinatorics, Model theory). Charles University.
.png)
- Tomáš Pazák, (Set theory, Boolean algebras, Forcing, Measure theory). Institute of Information Theory and Automation.
.png)
- Jonathan Verner, (Set theory). Charles University.
.png)
- Jindřich Zapletal, (Set theory). Czech Academy of Sciences.
.png)
Finland
- Jouko Väänänen, (Set theory). University of Helsinki and Universiteit van Amsterdam.
- Tapio Eerola, (Set theory). University of Helsinki.
.png)
- Lauri Hella, (Finite model theory). University of Helsinki.
.png)
- Taneli Huuskonen, (Logic). University of Helsinki.
.png)
- Tapani Hyttinen, (Model theory). University of Helsinki.
.png)
- Heikki Junnila, (Topology). University of Helsinki.
.png)
- Teppo Kankaanpää, (Set theory). University of Helsinki.
.png)
- Juliette Kennedy, (Set theory). University of Helsinki.
.png)
- Meeri Kesälä, (Model theory). University of Helsinki.
.png)
- Vadim Kulikov, (Set theory). University of Helsinki.
.png)
- Kerkko Luosto, (Finite model theory). University of Helsinki.
.png)
- Matti Pauna, (Non-well-founded sets). University of Helsinki.
.png)
- Lauri Tuomi, (Set theory). University of Helsinki.
.png)
Germany
- Peter Koepke, (Logic, Set theory). Universität Bonn.
- Benno van den Berg, (Constructive set theory). Technische Universität Darmstadt.
.png)
- Oliver Deiser, (Set theory). Freie Universität Berlin.
.png)
- Hans-Dieter Donder, (Set theory). Universität München.
.png)
- Gunter Fuchs, (Set theory).Universität Münster.
.png)
- Stefan Geschke, (Set theory). Universität Bonn.
.png)
- Rüdiger Göbel, (Algebra, Logic). Universität Duisburg-Essen.
.png)
- Bernhard Irrgang, (Set theory). Technische Universität Bonn.
.png)
- Ronald Jensen, (Set theory). Humboldt-Universität Berlin.
.png)
- Sabine Koppelberg, (Boolean algebras). Freie Universität Berlin.
.png)
- Philipp Schlicht, (Set theory). Universität Bonn.
.png)
- Ralf Schindler, (Set theory). Universität Münster.
.png)
- Bernhard Schröder, (Linguistics). Universität Duisburg-Essen.
.png)
- Otmar Spinas, (Set theory). Universität Kiel.
.png)
- Lutz Strüngmann, (Set-theoretic algebra). Universität Duisburg-Essen.
.png)
- Toshimichi Usuba, (Set theory). Universität Bonn.
.png)
- Martin Wesse, (Boolean algebras). Universität Postdam.
.png)
Netherlands
- Benedikt Löwe, (Logic). Universiteit van Amsterdam.
- Desiree Basile, (Set-theoretic topology). Vrije Universiteit Amsterdam.
.png)
- Merlin Carl, (Set theory). Universiteit van Amsterdam.
.png)
- Jan Dijkstra, (Set-theoretic topology). Vrije Universiteit Amsterdam.
.png)
- Klaas Pieter Hart, (Set-theoretic topology). Technische Universiteit Delft.
.png)
- Rosalie Iemhoff, (Constructive set theory). Universiteit Utrecht.
.png)
- Daisuke Ikegami, (Descriptive set theory, Infinite games). Universiteit van Amsterdam.
.png)
- Lauri Keskinen, (Set-theoretic model theory). Universiteit van Amsterdam.
.png)
- Yurii Khomskii, (Set theory of the reals, Descriptive set theory). Universiteit van Amsterdam.
.png)
- Adam Lesnikowski, (Set theory). Universiteit van Amsterdam.
.png)
- Zhenhao Li, (Set theory). Universiteit van Amsterdam.
.png)
- Ieke Moerdijk, (Category theory, Algebraic topology, Constructive set theory). Universiteit Utrecht.
.png)
- Guit-Jan Ridderbos, (Set-theoretic topology). Technische Universiteit Delft.
.png)
- Brian Semmes, (Infinite games, Descriptive set theory). Universiteit van Amsterdam.
.png)
- Bas Spitters, (Constructive mathematics, Proof theory). Radboud Universiteit Nijmegen.
.png)
- Sourav Tarafder, (Set theory). Universiteit van Amsterdam.
.png)
- Jouko Väänänen, (Set theory). Universiteit van Amsterdam and University of Helsinki.
- Kirsten Valkenburg, (Set-theoretic topology). Vrije Universiteit Amsterdam.
.png)
- Jan van Mill, (Set-theoretic topology). Vrije Universiteit Amsterdam.
.png)
- Jaap van Oosten, (Logic). Universiteit Utrecht.
.png)
- Wim Veldman, (Constructive set theory). Radboud Universiteit Nijmegen.
.png)
- Albert Visser, (Foundations of mathematics). Universiteit Utrecht.
.png)
- Dave Visser, (Set-theoretic topology). Vrije Universiteit Amsterdam.
.png)
- Freek Wiedijk, (Automated reasoning about set-theoretic systems). Radboud Universiteit Nijmegen.
.png)
Poland
- Grzegorz Plebanek, (Set-theoretic topology, Measure theory). University of Wroc³aw.
- Aleksander B³aszczyk, (Set theory, Set-theoretic topology). Silesian University.
.png)
- Piotr Borodulin-Nadzieja, (Set-theoretic topology, Measure theory). University of Wroc³aw.
.png)
- Jacek Cichoń, (Set theory, Computer science). Wroc³aw University of Technology.
.png)
- Piotr Koszmider, (Set-theoretic topology, Functional analysis). Technical University of £ód¼.
.png)
- Wies³aw Kubi¶, (Set-theoretic topology, Functional analysis). Jan Kochanowski University.
.png)
- Witold Marciszewski, (Topology, Set-theoretic topology). University of Warsaw.
.png)
- Janusz Pawlikowski, (Set theory). University of Wroc³aw.
.png)
- Ireneusz Rec³aw, (Set theory). University of Gdańsk.
.png)
- Piotr Zakrzewski, (Set theory, Measure theory). University of Warsaw.
.png)
Spain
- Joan Bagaria, (Set theory). Universitat de Barcelona, ICREA.
- David Asperó, (Set theory). Universitat de Barcelona, ICREA.
.png)
- José María Blasco, (Set theory, Computability). Universitat de Barcelona.
.png)
- Roger Bosch, (Descriptive set theory). Universidad de Oviedo.
.png)
- Neus Castells, (Set theory). Universitat de Barcelona.
.png)
- Luz María García-Ávila, (Set theory). Universitat de Barcelona.
.png)
- Ignasi Jané, (Logic, Philosophy of logic, Philosophy of mathematics). Universitat de Barcelona.
.png)
- Jordi López-Abad, (Banach space theory, Set theory). ICMAT, Madrid.
.png)
- José Martínez, (Philosophical logic). Universitat de Barcelona.
.png)
- Juan Carlos Martínez, (Set-theoretic topology). Universitat de Barcelona.
.png)
- Miguel Ángel Mota, (Set theory). Universitat de Barcelona.
.png)
- Kostas Tsaprounis, (Set theory). Universitat de Barcelona.
.png)
- David Virgili, (Set theory). Universitat de Barcelona.
.png)
Sweden
- Erik Palmgren, (Constructive set theory, Type theory). Stockholm University.
- Vera Koponen, (Model theory). Uppsala Universitet.
.png)
United Kingdom
- Mirna Džamonja, (Set theory). University of East Anglia.
- Peter Aczel. University of Manchester.
.png)
- Julian Bradfield, (Theoretical computer science). University of Edinburgh.
.png)
- Andrew David Brooke-Taylor, (Set theory). University of Bristol.
.png)
- Gregor Dolinar, (Set theory). University of Ljubljana.
.png)
- Imre Leader, (Combinatorics, Infinite graphs, Ramsey theory). University of Cambridge.
.png)
- Hannes Leitgeb, (Philosophical logic, Philosophy of mathematics). University of Bristol.
.png)
- Sharifa Al-Mahrouqi, (Set theory, Banach space theory). University of East Anglia.
.png)
- Mayra Montalvo, (Mathematical Logic, Model Theory). University of Leeds.
.png)
- Charles Morgan. London's Global University.
.png)
- Francesco Piccoli, (Set theory). University of East Anglia.
.png)
- Alex Primavesi. University of East Anglia.
.png)
- Michael Rathjen, (Intuitionistic and nonstandard set theories, Admissible set theory, Proof theory, Type theory, Combinatorics). University of Leeds.
.png)
- Omar Selim. University of East Anglia.
.png)
- John K. Truss. University of Leeds.
.png)
- Philip David Welch, (Set theory, Logic, Philosophy of mathematics). University of Bristol.
.png)
Back to the list of participants
Programme coordinator
David Virgili
Department of Logic, History and Philosophy of Science
Universitat de Barcelona
Spain
Mail: 
