Kurt Gödel Research Center

Visitors

2023

• Giovanni Soldà (Ghent University, BE; September); host: Juan Aguilera
• Andreas Weiermann (Ghent University, BE; September); host: Juan Aguilera
• Lou van den Dries (University of Illinois, Urbana-Champaign, US; September); host: Matthias Aschenbrenner
• Philip Welch (University of Bristol, UK; August); host: Juan Aguilera
• Noam Greenberg (Victoria University of Wellington, NZ; August); host: Juan Aguilera
• Robert Lubarsky (Florida Atlantic University, US; July); host: Juan Aguilera
• Šárka Stejskalová (Charles University in Prague, CZ; July); host: Vera Fischer
• Radek Honziík (Charles University in Prague, CZ; July); host: Vera Fischer
• Aristotelis Panagiotopoulos (Carnegie Mellon University, US; July); host: Matthias Aschenbrenner
• Fedor Pakhomov (Ghent University, NL and Russian Academy of Sciences, Moscow, RU; July); host: Juan Aguilera
• David Schrittesser (Harbin Institute of Technology, Harbin, CN; June–September); host: Vera Fischer
• Yurii Khomskii (Amsterdam University College, NL and Universität Hamburg, DE; June); host: Vera Fischer
• Serhii Bardyla (Pavol Jozef Šafárik University in Košice, SK; June); host: Vera Fischer
• Jaroslav Šupina (University of Košice, SK; June); host: Vera Fischer
• Jindřich Zapletal (University of Florida, US; June); host: Vera Fischer
• Ido Feldman (Bar-Ilan University, Ramat Gan, IL; June); host: Miguel Moreno
• Fabian Kaak (Kiel University, DE; May); host: Vera Fischer
• Aaron Anderson (University of California, Los Angeles, US; May); host: Matthias Aschenbrenner
• Sergei Starchenko (University of Notre Dame, US; May); host: Matthias Aschenbrenner
• Nigel Pynn-Coates (Ohio State University, US; June); host: Matthias Aschenbrenner
• Thilo Weinert (May–June); host: Vera Fischer
• Heike Mildenberger (University of Freiburg, DE; May); host: Vera Fischer
• Zoltán Vidnyánszky (Eötvös Loránd University, HU; April); host: Vera Fischer
• Fabian Kaak (ETH Zürich, CH; May); host: Vera Fischer
• Tomasz Żuchowski (University of Wroclaw, PL; April); host: Damian Sobota
• Sergei Starchenko (University of Notre Dame, US; April); host: Matthias Aschenbrenner
• Franz-Viktor Kuhlmann (University of Szczecin, PL; March); host: Matthias Aschenbrenner
• Chieu-Minh Tran (National University of Singapore, SG; March); host: Matthias Aschenbrenner
• Silvain Rideau-Kikuchi (Université Paris Diderot, Paris, FR; March); host: Matthias Aschenbrenner
• Lou van den Dries (University of Illinois, Urbana-Champaign, US; March); host: Matthias Aschenbrenner
• Juris Steprāns (York University, CA; March); host: Vera Fischer
• Katrin Tent (Westfälische Wilhelms-Universität, DE; March); host: Matthias Aschenbrenner
• Manuel López-Pellicer (Universitat Politècnica de València, ES; February/March); host: Damian Sobota
• Jerzy Kąkol (Adam Mickiewicz University, Poznań, PL; February/March); host: Damian Sobota
• Jonathan Schilhan (University of Leeds, UK; January); host: Thilo Weinert
• Tomasz Żuchowski (University of Wrocław, PL; January); host: Damian Sobota

2022

• Clifton Ealy (Western Illinois University, Macomb, US; December–August 2023); host: Matthias Aschenbrenner
• Wiesław Kubiś (Czech Academy of Sciences, CZ; December); host: Damian Sobota
• Stefan Ludwig (ENS Paris, FR; December); hosts: Martin Hils and Matthias Aschenbrenner
• Jan Hubička (Charles University Prague, CZ; December); host: Vera Fischer
• David Chodounský (Czech Academy of Sciences, CZ; December); host: Vera Fischer
• Franz-Viktor Kuhlmann (University of Szczecin, PL; November–January 2023); host: Matthias Aschenbrenner
• Simone Ramello (University of Münster, DE; November); hosts: Martin Hils and Matthias Aschenbrenner
• Will Brian (University of North Carolina at Charlotte, US; November); host: Vera Fischer
• Jonathan Schilhan (University of Leeds, GB; November); host: Thilo Weinert
• Andrew Brooke-Taylor (University of Leeds, GB; October); host: Vera Fischer
• Martin Hils (Universität Münster, DE; October–March 2023); host: Matthias Aschenbrenner
• David Chodounský (Czech Academy of Sciences, CZ; September); host: Thilo Weinert
• Leandro Aurichi (University of São Paulo, BR; July); host: Lyubomyr Zdomskyy
• Frank Tall (University of Toronto, CA; July); host: Lyubomyr Zdomskyy
• Peter Nyikos (University of South Carolina, US; July); host: Lyubomyr Zdomskyy
• Jeffrey Bergfalk (University of Barcelona, ES; July); host: Vera Fischer
• Justin Moore (Cornell University, Ithaca, US; July); host: Vera Fischer
• Severin Mejak (University of Copenhagen, DK; July); hosts: Vera Fischer, David Schrittesser
• Natasha Dobrinen (University of Denver, US; July); host: Vera Fischer
• Alessandro Vignati (University of Paris, FR; June/July); host: Vera Fischer
• Gunter Fuchs (City University of New York, US; June); host: Vera Fischer
• Jaroslav Šupina (Pavol Jozef Šafárik University, Košice, Slovakia; June); host: Serhii Bardyla
• Luke Elliott (University of St Andrews, Scotland, UK; May); host: Lyubomyr Zdomskyy
• Yann Peresse (University of Hertfordshire, UK; May); host: Serhii Bardyla
• James Mitchell (University of St Andrews, Scotland, UK; May); host: Vera Fischer
• Jonathan Cancino (Czech Academy of Sciences, CZ; May); host: Vera Fischer
• Marta Maloid-Glebova (Ivan Franko National University of Lviv, Ukraine; May); host: Lyubomyr Zdomskyy
• David Schrittesser (University of Toronto, Canada; May–August); host: Vera Fischer
• Miguel Antonio Cardona Montoya (Pavol Jozef Šafárik University, Košice, Slovakia; May); host: Vera Fischer
• Tobias Kaiser (University of Passau, Germany; April); host: Matthias Aschenbrenner
• Stefan Hoffelner (University of Münster, Germany; March); hosts: Vera Fischer, Matthias Aschenbrenner
• Piotr Borodulin-Nadzieja (University of Wroclaw, Poland; March); host: Damian Sobota
• Jonathan Cancino (Czech Academy of Sciences, Czech Republic; March); host: Vera Fischer
• Radek Honzik (Charles University in Prague, Czech Republic; February); host: Sy-David Friedman
• Šárka Stejskalová (Charles University in Prague, Czech Republic; February); host: Sy-David Friedman
• Natasha Dobrinen (University of Denver, Colorado, USA; January); host: Vera Fischer

2021

• Clifton Ealy (Western Illinois University, Macomb, USA; December 2021–August 2022); host: Benjamin Miller
• Martin Hils (University of Münster, Germany; December 2021); host: Matthias Aschenbrenner
• Radek Honzik (Charles University in Prague, Czech Republic; November); host: Vera Fischer
• Gunter Fuchs (City College of New York, US; January); host: Vera Fischer
• Jaroslav Šupina (Pavol Jozef Šafárik University, Košice, Slovakia; October); host: Serhii Bardyla
• Fortunato Maesano (University of Messina, Italy; November–June 2022); host: Lyubomyr Zdomskyy
• Chris Lambie-Hanson (Czech Academy of Sciences; October); hosts: Jeffrey Bergfalk, Vera Fischer
• Vladimir Tkachuk (Auburn University, Alabama, USA; October); host: Vera Fischer
• Jerzy Kąkol (Adam Mickiewicz University, Poznań, Poland; September); host: Damian Sobota
• Radek Honzík (Charles University, Prague, Czech Republic; July); host: Vera Fischer
• Sergei Starchenko (University of Notre Dame du Lac, USA; July); host: Matthias Aschenbrenner

2020

• Ziemowit Kostana (University of Warsaw, Poland; October); host: Noé de Rancourt
• Colin Jahel (University of Lyon, France; October); host: Noé de Rancourt - visit canceled due to COVID travel restrictions; he gives his talk via Zoom.
• Jerzy Kąkol (Adam Mickiewicz University, Poznań, Poland; October); host: Damian Sobota - visit canceled due to COVID travel restrictions
• Jaroslav Šupina (Pavol Jozef Šafárik University, Košice, Slovakia; September 2020–February 2021); hosts: Vera Fischer, Lyubomyr Zdomskyy
• Dušan Repovš (University of Ljubljana, Slovenia; August); host: Lyubomyr Zdomskyy
• Otmar Spinas (University of Kiel, Schleswig-Holstein, Germany; July); host: Vera Fischer
• Clifton Ealy (Western Illinois University, Macomb, USA; May–June); host: Benjamin Miller
• Neil Barton (University of Konstanz, Germany; February); host: Sy-David Friedman
• Vincenzo Dimonte (University of Udine, Italy; February); host: Sy-David Friedman
• Leandro Aurichi (University of São Paulo; January); host: Lyubomyr Zdomskyy
• Corey Switzer (City University of New York, Graduate Center, New York City, USA; January); host: Vera Fischer
• Jaroslav Šupina (Pavol Jozef Šafárik University in Košice, Slovakia, January); host: Vera Fischer
• Clifton Ealy (Western Illinois University, Macomb, USA; March); host: Benjamin Miller

2019

• Taras Banakh (Ivan Franko National University of Lviv, Ukraine; December); host: Lyubomyr Zdomskyy
• Oleksandr Ravsky (National Academy of Sciences of Ukraine; December); host: Lyubomyr Zdomskyy
• Mohammad Golshani (Institute for Research in Fundamental Sciences (IPM), Tehran, Iran; December); host: Sy-David Friedman
• Miguel Moreno (Bar-Ilan University, Ramat Gan, Tel Aviv, Israel; December 2019–November 2020); host: Lyubomyr Zdomskyy
• István Juhász (Rényi Mathematical Institute, Budapest, Hungary; November); host: Sy-David Friedman
• Radek Honzík (Charles University, Prague, Czech Republic; November); host: Sy-David Friedman
• Šárka Stejskalová (Charles University, Prague, Czech Republic; November); host: Sy-David Friedman
• Noé de Rancourt (Charles University, Prague, Czech Republic; November); host: Vera Fischer
• Yurii Khomskii (Amsterdam University College, Netherlands and Hamburg University, Germany; October); host: Vera Fischer
• Michał Tomasz Godziszewski (Munich Center for Mathematical Philosophy, Universität München, Germany; October); host: Vera Fischer
• Christina Brech (Universidade de São Paulo, Brazil; October); host: Lyubomyr Zdomskyy
• Masahiko Sato (Kyoto University, Japan; October); host: Sy-David Friedman
• Alexander Osipov (Ural State University of Economics, Yekaterinburg, Russia; September/October); host: Lyubomyr Zdomskyy
• Asger Törnquist (University of Copenhagen, Denmark; September); host: Vera Fischer
• Dušan Repovš (University of Ljubjana, Slovenia; July/August); host: Lyubomyr Zdomskyy
• Clifton Ealy (Western Illinois University, Macomb, USA; July 2019–January 2020); host: Benjamin Miller
• Jana Maříková (Western Illinois University, Macomb, USA; July 2019–June 2020); host: Benjamin Miller
• Assaf Shani (University of California, Los Angeles, USA; June/July); host: Yair Hayut
• Leandro Aurichi (University of São Paulo; June); host: Lyubomyr Zdomskyy
• Boaz Tsaban (Bar-Ilan University, Tel Aviv, Israel; June/July); host: Lyubomyr Zdomskyy
• Neil Barton (Zukunftskolleg at the University of Konstanz, Germany; June); host: Sy-David Friedman
• Johan Comparat (Max Planck Institute for extraterrestrial Physics (MPE/MPG), Bavaria, Germany; May); host: Raphaël Carroy
• Asaf Karagila (University of East Anglia, Norwich, UK; May); host: Yair Hayut
• Radek Honzík (Charles University, Prague, Czech Republic; May); host: Sy-David Friedman
• Šárka Stejskalová (Charles University, Prague, Czech Republic; May); host: Sy-David Friedman
• Miroslav Zelený (Charles University, Prague, Czech Republic; May); host: Zoltán Vidnyánszky
• Philipp Lücke (Universität Bonn, Germany; May); hosts: Vera Fischer and Sandra Müller
• Ilijas Farah (York University, Toronto, Canada; April); host: Vera Fischer
• Miha Habič (Czech Technical University in Prague, Czech Republic and Charles University, Prague, Czech Republic; March); host: Diana Carolina Montoya
• Asger Törnquist (University of Copenhagen, Denmark; March); hosts: Vera Fischer and David Schrittesser
• Christopher Lambie-Hanson (Virginia Commonwealth University, Richmond, USA; March); host: Daniel Soukup
• Lucas Chiozini Souza (University of São Paulo, Brazil; February); host: Lyubomyr Zdomskyy
• Benjamin Vejnar (Charles University in Prague, Czech Republic; January); host: Benjamin Miller
• Radek Honzík (Charles University, Prague, Czech Republic; January); host: Sy-David Friedman
• Šárka Stejskalová (Charles University, Prague, Czech Republic; January); host: Sy-David Friedman
• Moritz Müller (Universitat Politècnica de Catalunya, Spain; January); host: Vera Fischer
• Natasha Dobrinen (University of Denver, Denver, USA; January); host: Vera Fischer

2018

• Stevo Todorcevic (Univerity of Toronto, Canada and CNRS Paris, France; December); host: Vera Fischer
• Jerzy Kąkol (Adam Mickiewicz University, Poznań, Poland; December); host: Damian Sobota
• Russell Miller (Queens College, City University of New York, USA; November); host: Sy-David Friedman
• Tim Button (University of Cambridge, UK; November); host: Neil Barton
• David Asperó (University of East Anglia, Norwich, UK; October); host: Vera Fischer
• David Chodounský (Academy of Sciences of the Czech Republic, Prague; October); host: Vera Fischer
• Gerhard Jäger (Universität Bern, Switzerland; October); host: Sy-David Friedman
• Andrew Brooke-Taylor (University of Leeds, West Yorkshire, UK; September)
• Asger Törnquist (University of Copenhagen, Denmark; September)
• Diego Alejandro Mejía (Shizuoka University, Japan; September)
• David Chodounský (Academy of Sciences of the Czech Republic, Prague; August)
• Christopher Menzel (Texas A&M University, USA; June)
• Borisha Kuzeljevic (Czech Academy of Sciences, Prague; May)
• David Chodounský (Academy of Sciences of the Czech Republic, Prague; May)
• Yair Hayut (Hebrew University of Jerusalem, Israel; May)
• Jérémie Joudioux (Radboud University Nijmegen, Netherlands; May)
• Radek Honzík (Charles University, Prague, Czech Republic; April)
• Vincenzo Dimonte (University of Udine, Italy; May)
• Filippo Calderoni (Università di Torino, Italy and Politecnico di Torino, Italy; April)
• Victoria Gitman (Graduate Center, City University of New York, USA; April)
• Alexander Paseau (Wadham College, Oxford, UK; March)
• Jan Grebík (Czech Academy of Sciences, Prague; March–May)
• Radek Honzík (Charles University, Prague, Czech Republic; February/March)
• Miha Habič (Charles University in Prague, Czech Republic; February)
• Jonathan Verner (Charles University in Prague, Czech Republic; February)
• Jörg Brendle (Kobe University, Japan; February)
• Philipp Schlicht (Universität Bonn, Germany; January)

2017

• Viktoria Frider-Brydun (Ivan Franko Lviv National University, Ukraine; December)
• Hubie Chen (Birkbeck, University of London, UK; December)
• Daniel Waxman (Corpus Christi College, Oxford, UK; November/December)
• Russell Miller (Queens College, City University of New York (CUNY), USA; November)
• Paul Ellis (Manhattanville College, New York, USA; November)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; November)
• Radek Honzík (Charles University, Prague, Czech Republic; November))
• Asger Törnquist (University of Copenhagen, Denmark; October)
• Yizheng Zhu (Universität Münster, Germany; October)
• Wolfgang Wohofsky (Universität Hamburg, Germany; October)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; September)
• Radek Honzík (Charles University, Prague, Czech Republic; September)
• Kameryn Williams (Graduate Center, City University of New York (CUNY), USA; September)
• Mohammad Golshani (Institute for Research in Fundamental Sciences (IPM), Tehran, Iran; September)
• Claudio Ternullo (Rome, Italy; September)
• Frank Tall (University of Toronto, Canada; September)
• Yijia Chen (Fudan University, Shanghai, People's Republic of China; August)
• Jan Grebík (Academy of Sciences of the Czech Republic, Prague; August)
• Wolfgang Wohofsky (Universität Hamburg, Germany; July/August)
• Alexander S. Kechris (California Institute of Technology, USA; July)
• Peter Nyikos (University of South Carolina, Columbia, USA; June)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; June)
• Radek Honzík (Charles University, Prague, Czech Republic; June)
• Witold Marciszewski (University of Warsaw, Poland; June)
• David Schrittesser (University of Copenhagen, Denmark; June)
• Zoltán Vidnyánszky (York University, Toronto, Canada; June)
• Chris Scambler (New York University, USA; May/June)
• Vincenzo Dimonte (University of Udine, Italy; May/June)
• Wolfgang Wohofsky (Universität Hamburg, Germany; May/June)
• Pratulananda Das (Jadavpur University, Kolkata, West Bengal, India; May)
• Victoria Gitman (Graduate Center, City University of New York, USA; May)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; May)
• Radek Honzík (Charles University, Prague, Czech Republic; May)
• Sam Roberts (University of Bristol, UK; April)
• Matteo Viale (Università di Torino, Italy; April)
• Alberto Marcone (Università di Udine, Italy; April)
• Gianluca Basso (Université de Lausanne, Switzerland and Università di Torino, Italy; April)
• Peter Holy (University of Bonn, Germany; April)
• Luca Incurvati (University of Amsterdam, Netherlands; March)
• Luca Motto Ros (University of Turin, Italy; March)
• Michał Godziszewski (University of Warsaw, Poland; March)
• Vassilios Gregoriades (University of Turin, Italy; March)
• Jerzy Kąkol (Adam Mickiewicz University Poznań, Poland; März)
• Yizheng Zhu (Westfälische Wilhelms-Universität Münster, Germany; March)
• Brent Cody (Virginia Commonwealth University, Richmond, USA; March)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; February)
• Radek Honzík (Charles University, Prague, Czech Republic; February)
• Wolfgang Wohofsky (Universität Hamburg, Germany; February and March)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; January)
• Radek Honzík (Charles University, Prague, Czech Republic; January)
• Asger Törnquist (University of Copenhagen, Denmark; January)
• Michal Garlík (Czech Academy of Sciences; January)
• Igor Carboni Oliveira (Charles University in Prague, Czech Republic; January)
• Leandro Aurichi (University of São Paulo, Brazil; January)
• Riccardo Camerlo (Politecnico di Torino, Italy; January)

2016

• Santi Spadaro (University of São Paulo, Brazil; December)
• David Schrittesser (University of Copenhagen, Denmark; December)
• Osvaldo Guzmán (Unidad Morelia Universidad Nacional Autónoma de México; December)
• David Chodounský (Academy of Sciences of the Czech Republic, Prague; December)
• Michal Doucha (Academy of Sciences of the Czech Republic; December)
• Anush Tserunyan (University of Illinois at Urbana-Champaign, USA; December)
• Zeynep Soysal (Harvard University, Cambridge, Massachusetts, USA; November)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; November)
• Radek Honzík (Charles University, Prague, Czech Republic; November)
• Boaz Tsaban (Bar-Ilan University, Tel Aviv, Israel; October)
• Yurii Khomskii (University of Hamburg, Germany; October)
• Bartosz Wcisło (University of Warsaw, Poland; October–January 2017)
• Jan Grebík (Academy of Sciences of the Czech Republic, Prague; October)
• Piotr Szewczak (Bar-Ilan University, Tel Aviv, Israel; October)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; September)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; August)
• Arnold Miller (University of Wisconsin-Madison, USA; July)
• David Schrittesser (University of Copenhagen, Denmark; July–August)
• Radek Honzík (Charles University, Prague, Czech Republic; June)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; June)
• Peter Nyikos (University of South Carolina, Columbia, USA; June)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; June)
• David Chodounský (Academy of Sciences of the Czech Republic, Prague; May–June)
• Otmar Spinas (Christian-Albrechts-Universität zu Kiel Kiel, Germany; May)
• Radek Honzík (Charles University, Prague, Czech Republic; May)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; May)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; May)
• Paul Gartside (University of Pittsburgh, Pennsylvania, USA; May)
• Anush Tserunyan (University of Illinois at Urbana-Champaign, USA; May)
• Jan van Mill (University of Amsterdam, The Netherlands; April)
• Raphaël Carroy (University of Turin, Italy; April)
• Jerzy Kąkol (Adam Mickiewicz University Poznań, Poland; April)
• Jan Grebík (Academy of Sciences of the Czech Republic, Prague; April)
• Yue Yang (National University of Singapore, Singapore; April)
• Radek Honzík (Charles University, Prague, Czech Republic; April)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; April)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; April)
• Radek Honzík (Charles University, Prague, Czech Republic; March)
• Šárka Stejskalová (Charles University, Prague, Czech Republic; March)
• Wolfgang Wohofsky (Universität Hamburg, Germany; February)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; February)
• Keita Yokoyama (Japan Advanced Institute of Science and Technology, Nomi, Ishikawa; February)
• Ari Brodsky (Bar-Ilan University, Tel Aviv, Israel; January)
• Franqui Cárdenas (Universidad Nacional de Colombia, Bogotá; January)
• Leszek Kołodziejczyk (University of Warsaw, Poland; January)
• David Schrittesser (University of Copenhagen, Denmark; January)

2015

• David Chodounský (Academy of Sciences of the Czech Republic, Prague; December)
• Jonathan Verner (Charles University in Prague, Czech Republic; December)
• Damian Sobota (Polish Academy of Sciences, Warsaw; December)
• Daniel Soukup (Alfréd Rényi Institute of Mathematics, Hungary, December)
• Sheila Miller (New York City College of Technology, CUNY, USA; December)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; December)
• Asger Törnquist (University of Copenhagen, Denmark; November)
• Victor Selivanov (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia and Siberian Branch of the Russian Academy of Sciences; November)
• Oleg Kudinov (Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia; November)
• David Chodounský (Academy of Sciences of the Czech Republic, Prague; November)
• Hubie Chen (University of the Basque Country, Spain; October)
• Yurii Khomskii (Universität Hamburg, Germany; October)
• David Schrittesser (University of Copenhagen, Denmark; October)
• Tetsuo Ida (University of Tsukuba, Japan; October)
• Giorgio Venturi (State University of Campinas, Brazil; September)
• Mohammad Golshani (Institute for Research in Fundamental Sciences (IPM), Iran; September)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; August)
• Jindřich Zapletal (Czech Academy of Sciences, Czech Republic and University of Florida, USA; July)
• Jan Grebík (Academy of Sciences of the Czech Republic, Prague; July)
• David Chodounský (Academy of Sciences of the Czech Republic, Prague; July)
• Dana S. Scott (Carnegie Mellon University, Pittsburgh, Pennsylvania, USA and UC Berkeley, California, USA; July)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; July)
• Jonathan Verner (Charles University in Prague, Czech Republic; June–July)
• Peter Schuster (University of Verona, Italy, currently Humboldt returning fellow at the Munich Center for Mathematical Philosophy, Germany; June)
• Johanna Franklin (Hofstra University, Hempstead, New York, USA; June)
• David Schrittesser (University of Copenhagen, Denmark; June–August)
• Iskander Kalimullin (Kazan State University, Russia and Kazan (Volga Region) Federal University, Russia; June)
• Andrey Frolov (Kazan (Volga region) Federal University, Russia; June)
• Clinton Conley (Cornell University, New York, USA; June)
• Valentina Harizanov (The George Washington University, Washington, D.C., USA; May–June)
• Liang Yu (Nanjing University, Nanjing, PR of China; May)
• Peter Holy (Universität Bonn, Germany; May)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; May)
• Noam Greenberg (Victoria University of Wellington, New Zealand; May)
• Piotr Borodulin-Nadzieja (Wrocław University, Poland; May)
• Ali Enayat (University of Gothenburg, Sweden; May)
• Jonathan Verner (Charles University, Prague, Czech Republic; April)
• Jerzy Kąkol (Adam Mickiewicz University, Poznań, Poland; April)
• Sandra Uhlenbrock (Universität Münster, Nordrhein-Westfalen, Germany; February)
• Ilya Sharankou (Universität Hamburg, Germany; February–March)
• Natasha Dobrinen (University of Denver, Colorado, USA; February)
• Asger Törnquist (University of Copenhagen, Denmark; February)
• Daisuke Ikegami (Kobe University, Japan; February)
• Toshimichi Usuba (Kobe University, Japan; February)
• Sakaé Fuchino (Kobe University, Japan; February)
• Jörg Brendle (Kobe University, Japan; February)
• Neil Thapen (Academy of Sciences of the Czech Republic; January)
• Franqui Solis Cárdenas Poloche (Universidad Nacional de Colombia; January)
• Daniel Soukup (University of Toronto, Canada; January)
• David Chodounský (Institute of Mathematics of the Czech Academy of Sciences; January)

2014

• Franqui Solis Cárdenas Poloche (Universidad Nacional de Colombia; December)
• Neil Barton (University of London, UK; December)
• Leandro Aurichi (Universidade de São Paulo, Brazil; December)
• Sergey Goncharov (Novosibirsk State University, Russia, and Russian Academy of Sciences; December)
• Serikzhan Badaev (Al-Farabi Kazakh National University, Kazakhstan, December)
• David Chodounský (Institute of Mathematics of the Czech Academy of Sciences; November and December)
• Jan Starý (Czech Technical Univeristy in Prague; November)
• Seçil Tokgöz (Hacettepe University, Ankara, Turkey; November–January 2015)
• Jonathan Verner (Charles University, Prague, Czech Republic; November)
• Wiesław Kubiś (Academy of Sciences of the Czech Republic; November)
• Andrew Brooke-Taylor (University of Bristol, UK; October)
• Jerzy Kąkol (Adam Mickiewicz University, Poznań, Poland; October)
• Vladimir V. Tkachuk (Universidad Autónoma Metropolitana de México, Mexico City, Mexico; October)
• Victor Selivanov (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia and Siberian Branch of the Russian Academy of Sciences; September)
• Asger Törnquist (University of Copenhagen, Denmark; September)
• Jan van Mill (Universiteit van Amsterdam, Netherlands; August)
• Xianghui Shi (Beijing Normal University, People's Republic of China; August)
• Natasha Dobrinen (University of Denver, Colorado, USA; July–August)
• Bakhadyr Khoussainov (University of Auckland, New Zealand; July)
• Michael Chris Laskowski (University of Maryland, USA; July)
• John T. Baldwin (UIC Chicago, USA; July)
• Asger Törnquist (University of Copenhagen, Denmark; June)
• Miloš Kurilić (University of Novi Sad, Serbia; June)
• Michael Potter (Fitzwilliam College, University of Cambridge, UK; March)
• Hubie Chen (Universidad del País Vasco, San Sebastian, Spain; March)
• Valentina Harizanov (George Washington University, Washington, D.C., USA; March)
• Victor Selivanov (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia and Siberian Branch of the Russian Academy of Sciences; January)
• Natasha Dobrinen (University of Denver, Colorado, USA; January)
• Peter Schuster (Pure Mathematics, University of Leeds, UK; January)

2013

• Alexey Stukachev (Siberian Branch of the Russian Academy of Sciences Novosibirsk, Russian Federation and Novosibirsk State University; December)
• Michael Hrušák (Universidad Nacional Autónoma de México; December)
• Oleg Gutik (Ivan Franko National University of Lviv, Ukraine; December)
• Asylkhan Khisamiev (Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences; November)
• Giorgio Venturi (Scuola Normale Superiore di Pisa, Italy; November)
• Masahiko Sato (Kyoto University, Japan; October)
• Victor Selivanov (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia and Siberian Branch of the Russian Academy of Sciences; October)
• Stéphane Le Roux (Universität Darmstadt, Germany; October)
• John Clemens (Universität Münster, Germany; September 30–October 4)
• Yijia Chen (Shanghai Jiao Tong University, People's Republic of China; August)
• Thomas Johnstone (New York City College of Technology, USA; June)
• Santi Spadaro (Silesian University in Opava, Czech Republic; June)
• Johanna Franklin (University of Connecticut, USA; June)
• Yann Strozecki (Versailles University, France; June)
• Philipp Schlicht (University of Bonn, Germany; May)
• Hubie Chen (Universidad del País Vasco, Spain and Basque Foundation for Science, Spain; April)
• John T. Baldwin (University of Illinois at Chicago, USA; February)
• Tapani Hyttinen (University of Helsinki, Finland; February)
• Chris Laskowski (University of Maryland, USA; February)
• James Cummings (Carnegie Mellon University, Pittsburgh, Pennsylvania, USA; January)
• Mohammad Golshani (IPM, Tehran, Iran; January)
• Massoud Pourmahdian (IPM, Tehran, Iran; January)
• Peter Holy (University of Bristol, UK; January)
• Aleksander Ivanov and Barbara Majcher-Iwanow (University of Wrocław, Poland; January)

2012

• Sam Sanders (Ghent University, Belgium and MCMP München, Germany; December)
• Asger Törnquist (University of Copenhagen, Denmark; December)
• Leandro Aurichi (ICMC-USP, University of São Paulo, Brazil; December)
• Veronika Douchova (Charles University in Prague, Czech Republic; November)
• Shuguo Zhang (Sichuan University, People's Republic of China; November)
• Asger Törnquist (University of Copenhagen, Denmark; October)
• Dor Marciano (Ben-Gurion University, Israel; September)
• Arnold Beckmann (Swansea University, UK; September)
• Neil Thapen (Academy of Sciences of the Czech Republic; September)
• Samuel R. Buss (University of California, San Diego, USA; September)
• Asaf Karagila (Ben-Gurion University, Israel; September)
• Boaz Tsaban (Bar-Ilan University, Israel; September)
• Christopher Daw (University College London, UK; August)
• Jindrich Zapletal (University of Florida, USA and Czech Academy of Sciences; August)
• Veronika Douchova (Charles University in Prague, Czech Republic; July)
• Julia Knight (University of Notre Dame, Indiana, USA; July)
• Russell Miller (Queens College, City University of New York, USA; July)
• Antonio Montalbán (University of Chicago, USA; July)
• Frank Tall (University of Toronto, Canada; July)
• Andrey Morozov (Novosibirsk State University, Russia; June)
• Sakae Fuchino (Kobe Univesity, Japan; June)
• Martin Bays (McMaster University, Ontario, Canada; June)
• Moshe Kamenski (University of Notre Dame, USA; June)
• Peter Holy (University of Bristol, UK; June)
• Alessandro Andretta (Torino, Italy; June)
• Jindrich Zapletal (University of Florida, USA and Czech Academy of Sciences; May)
• André Nies (University of Auckland, New Zealand; May)
• Ostap Chervak (Ivan Franko National University of Lviv, Ukraine; May)
• Alexander Osipov (Ural Branch of the Russian Academy of Sciences, Ekaterinburg, Russia; May)
• Hubie Chen (Universitat Pompeu Fabra, Barcelona, Spain; May)
• Diego Mejía (Universidad Nacional de Colombia; April-May)
• Peter Holy (University of Bristol, UK; April)
• Adam Harris (University of Oxford, UK; April)
• Martin Bays (McMaster University, Ontario, Canada; April)
• André Nies (University of Auckland, New Zealand; January)
• Howard Becker (University of South Carolina, USA; January)
• Asger Törnquist (University of Copenhagen, Denmark; January)

2011

• David Chodounský (Charles University in Prague, Czech Republic; December)
• Valentina Harizanov (George Washington University, Washington, D.C., USA; November)
• Joel Hamkins (City University of New York, USA; October and November)
• Itay Kaplan (University of Münster, Germany; September)
• Jörg Brendle (Kobe University, Japan; September)
• Boaz Tsaban (Bar-Ilan University, Israel; August)
• Chi Tat Chong (National University of Singapore; July)
• Taras Banakh (Lviv State University, Ukraine; June)
• Mariya Soskova (Sofia University, Bulgaria; May)
• Benjamin Miller (University of Münster, Germany; May)
• William Weiss (University of Toronto, Canada; April)
• Yi Zhang (Sun Yat-sen University, Guangzhou, People's Republic of China; April)
• Marco Porta (Casale monferato, Italy; April)
• Martin Bays (University of Paris 7, France; April)
• Juris Steprans (York University, Canada; April)
• Shashi Srivastava (Indian Statistical Institute, Kolkata, India; April)
• Haimanti Srivastava (Indian Statistical Institute, Kolkata, India; April)
• Yike Guo (Imperial College London, UK; March)
• Tetsuo Ida (University of Tsukubai, Japan; March)
• Masahiko Sato (Kyoto University, Japan; March)
• Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK; March)
• Achim Blumensath (TU Darmstadt, Germany; January)
• Menachem Magidor (The Hebrew University of Jerusalem, Israel; January)
• Jonathan Verner (Charles University in Prague, Czech Republic; January)

2010

• Li Yanfang (Tianjin University, People's Republic of China; December)
• Stefan Geschke (Hausdorff Center for Mathematics, Universität Bonn, Germany; December)
• Jindrich Zapletal (University of Florida, Gainesville, USA and Czech Academy of Sciences, Prague, Czech Republic; Decmeber)
• Jonathan Verner (Charles University in Prague, Czech Republic; November and December)
• Iskander Kalimullin (Kazan Federal University, Russia; October)
• Andrey Frolov (Kazan Federal University, Russia; October)
• Luca Motto Ros (University of Freiburg, Germany; October)
• Hiroshi Sakai (Kobe University, Japan; September)
• Philip Welch (University of Bristol, UK; September)
• Pablo Cubides Kovacsics (University Paris 7, France; September)
• Alessandro Berarducci (University of Pisa, Italy; June)
• Enrique Casanovas (University of Barcelona, Spain; June)
• James Cummings (Carnegie Mellon University, USA; June)
• David Evans (University of East Anglia, UK; June)
• Moti Gitik (Tel Aviv University, Israel; June)
• Martin Koerwien (University of Barcelona, Spain; June)
• Anand Pillay (University of Leeds, UK; June)
• Radek Honzík (Charles University, Czech Republic; June and October)
• Denis Saveliev (Moscow State University, Russia; June)
• Andrew Brooke-Taylor (Bristol University, UK; May)
• Benjamin Miller (University of Münster, Germany; April and May)
• Roman Sasyk (CONICET, Argentinia; April and May)
• Greg Hjorth (University of Melbourne, Australia; February)

2009

• Pavel Semukhin (October)
• Victor Selivanov (October)
• Kentaro Sato (July)
• Joel D. Hamkins (June)
• Matthew Foreman (June)
• Alberto Marcone (May)
• Bernhard Irrgang (May)
• Riccardo Camerlo (May)
• Sergey Goncharov (March)
• Hans Adler (January)
• Jindrich Zapletal (January)

2008

• Mirna Dzamonja (December)
• Grzegorz Plebanek (December)
• Antonin Kucera (November)
• Alessandro Andretta (June)
• James Cummings (June)
• Tapani Hyttinen (May)
• Martin Koerwien (May)
• Ernest Schimmerling (May)
• Menachem Magidor (April)
• Bernhard Irrgang (March)
• Jörg Brendle (January)

2007

• Philip Welch (December)
• Vladimir Kanovei (November)
• Moti Gitik (October)
• Yi Zhang (October)
• James Cummings (July)
• Tapani Hyttinen (June)
• Thomas Johnstone (May-June)

previous years (list incomplete)

• Richard Kaye (November 2006)
• James Cummings (June, July 2006)
• Mirna Dzamonja (October 2005)
• Boban Velickovic (October-December 2004)