| Peter Aczel | Munstar University | 02.05.2018 – 29.05.2018 |
| Bahareh Afshari | University of Gothenburg | 17.06.2018 – 06.07.2018 |
| Amirhossein Akbar Tabatabai | Czech Academy of Sciences | 02.05.2018 – 30.07.2018 |
| Sergei Artemov | CUNY Graduate Center | 01.07.2018 – 07.07.2018 |
| Steve Awodey | Carnegie Mellon University | 29.05.2018 – 15.07.2018 |
| Josef Berger | Ludwig-Maximilians-Universität München | 16.07.2018 – 24.08.2018 |
| Ulrich Berger | Swansea University | 24.06.2018 – 24.08.2018 |
| Ingo Blechschmidt | Universität Augsburg | 02.05.2018 – 10.05.2018 |
| Ingo Blechschmidt | Universität Augsburg | 11.06.2018 – 15.06.2018 |
| Nuria Brede | Universität Potsdam | 25.06.2018 – 06.07.2018 |
| Douglas S. Bridges | University of Canterbury | 02.05.2018 – 22.08.2018 |
| Pieter Collins | Maastricht University | 04.06.2018 – 14.06.2018 |
| Pieter Collins | Maastricht University | 08.08.2018 – 10.08.2018 |
| Thierry Coquand | Goteborg University | 02.05.2018 – 30.06.2018 |
| Anupam Das | University of Copenhagen | 30.07.2018 – 03.08.2018 |
| Hannes Diener | University of Canterbury | 02.06.2018 – 06.07.2018 |
| Peter Dybjer | Chalmers University of Technology | 02.05.2018 – 09.05.2018 |
| Peter Dybjer | Chalmers University of Technology | 29.05.2018 – 15.06.2018 |
| Jacopo Emmenegger | Stockholms Universitet | 02.05.2018 – 10.05.2018 |
| Jacopo Emmenegger | Stockholms Universitet | 11.05.2018 – 08.06.2018 |
| Jacopo Emmenegger | Stockholms Universitet | 09.07.2018 – 20.07.2018 |
| David Fernández-Duque | Ghent University | 12.08.2018 – 18.08.2018 |
| Anton Freund | TU Darmstadt | 01.07.2018 – 06.07.2018 |
| Anton Freund | TU Darmstadt | 05.08.2018 – 10.08.2018 |
| Jonas Frey | Carnegie Mellon University | 03.06.2018 – 06.07.2018 |
| Makoto Fujiwara | Waseda University | 02.07.2018 – 10.08.2018 |
| Philipp Haselwarter | University of Ljubljana | 03.06.2018 – 17.06.2018 |
| Martin Hötzel Escardó | University of Birmingham | 02.05.2018 – 23.05.2018 |
| Matthew Hendtlass | University of Canterbury | 02.05.2018 – 01.06.2018 |
| Hugo Herbelin | University Paris Diderot | 02.05.2018 – 14.08.2018 |
| Simon Huber | University of Gothenburg | 02.05.2018 – 09.05.2018 |
| Simon Huber | University of Gothenburg | 03.06.2018 – 06.07.2018 |
| John Martin Elliott Hyland | University of Cambridge | 03.06.2018 – 16.06.2018 |
| Rosalie Iemhoff | Utrecht University | 01.07.2018 – 06.07.2018 |
| Hajime Ishihara | Japan Advanced Institute of Science and Technology | 10.06.2018 – 11.08.2018 |
| Raheleh Jalali Keshavarz | Czech Academy of Sciences | 02.05.2018 – 30.07.2018 |
| Gerhard Jäger | Universität Bern | 08.06.2018 – 07.07.2018 |
| Reinhard Kahle | CMA & DM, FCT, Universidade Nova de Lisboa | 11.07.2018 – 22.07.2018 |
| Reinhard Kahle | CMA & DM, FCT, Universidade Nova de Lisboa | 29.07.2018 – 11.08.2018 |
| Tatsuji Kawai | Japan Advanced Institute of Science and Technology | 02.05.2018 – 10.05.2018 |
| Tatsuji Kawai | Japan Advanced Institute of Science and Technology | 03.06.2018 – 24.08.2018 |
| Nils Köpp | Ludwig-Maximilians-Universität München | 03.05.2018 – 10.05.2018 |
| Nils Köpp | Ludwig-Maximilians-Universität München | 01.08.2018 – 21.08.2018 |
| Peter Koellner | Harvard University | 04.07.2018 – 28.07.2018 |
| Peter Koepke | Universität Bonn | 02.05.2018 – 10.08.2018 |
| Ulrich Kohlenbach | Technische Universität Darmstadt | 02.05.2018 – 05.05.2018 |
| Ulrich Kohlenbach | Technische Universität Darmstadt | 02.07.2018 – 06.07.2018 |
| Graham Leigh | University of Gothenburg | 17.06.2018 – 06.07.2018 |
| Dan Licata | Wesleyan University | 02.06.2018 – 08.06.2018 |
| Robert Lubarsky | Florida Atlantic University | 22.05.2018 – 14.06.2018 |
| Robert Lubarsky | Florida Atlantic University | 12.07.2018 – 04.08.2018 |
| Maria Emilia Maietti | University of Padova | 03.05.2018 – 15.06.2018 |
| Ralph Matthes | IRIT - Universit̩ Paul Sabatier | 15.07.2018 Р21.07.2018 |
| Anders M̦rtberg | Carnegie Mellon University | 04.06.2018 Р06.07.2018 |
| Paul-Andr̩ Melli̬s | CNRS, Universite Paris Cite, INRIA | 03.06.2018 Р19.08.2018 |
| Dávid Natingga Tóth | University of Leeds | 02.05.2018 – 24.08.2018 |
| Sara Negri | University of Helsinki | 10.06.2018 – 08.07.2018 |
| Takako Nemoto | Japan Advanced Institute of Science and Technology | 10.06.2018 – 24.08.2018 |
| Stefan Neuwirth | Universit̩ de Franche-Comt̩ | 02.05.2018 Р10.05.2018 |
| Stefan Neuwirth | Universit̩ de Franche-Comt̩ | 05.08.2018 Р12.08.2018 |
| Satoru Niki | Japan Advanced Institute of Science and Technology | 02.05.2018 – 24.08.2018 |
| Isabel Maria Oitavem | CMA & DM, FCT, Universidade Nova de Lisboa | 02.05.2018 – 11.08.2018 |
| Erik Palmgren | Stockholm University | 02.06.2018 – 11.08.2018 |
| Dirk Pattinson | The Australian National University | 06.08.2018 – 24.08.2018 |
| Anja Petkovic | University of Ljubljana | 27.05.2018 – 10.06.2018 |
| Iosif Petrakis | Ludwig-Maximilians-Universität München | 02.05.2018 – 09.05.2018 |
| Iosif Petrakis | Ludwig-Maximilians-Universität München | 03.06.2018 – 08.06.2018 |
| Iosif Petrakis | Ludwig-Maximilians-Universität München | 01.07.2018 – 06.07.2018 |
| Iosif Petrakis | Ludwig-Maximilians-Universität München | 19.07.2018 – 20.08.2018 |
| Olga Petrovska | Swansea University | 05.08.2018 – 24.08.2018 |
| Michael Rathjen | University of Leeds | 02.05.2018 – 15.08.2018 |
| Giuseppe Rosolini | Università degli Studi di Genova | 09.05.2018 – 22.08.2018 |
| Giovanni Sambin | University of Padova | 01.08.2018 – 15.08.2018 |
| Masahiko Sato | Kyoto University | 02.05.2018 – 01.06.2018 |
| Masahiko Sato | Kyoto University | 30.07.2018 – 24.08.2018 |
| Peter Schuster | Università degli Studi di Verona | 02.05.2018 – 11.08.2018 |
| Helmut Schwichtenberg | Ludwig-Maximilians-Universität München | 02.05.2018 – 24.08.2018 |
| Monika Seisenberger | Swansea University | 25.07.2018 – 24.08.2018 |
| Christoph-Simon Senjak | Universität Freiburg | 05.08.2018 – 18.08.2018 |
| Anton Setzer | Swansea University | 01.07.2018 – 14.07.2018 |
| Wilfried Sieg | Carnegie Mellon University | 01.06.2018 – 31.07.2018 |
| Andrei Sipos | Technische Universität Darmstadt | 01.07.2018 – 07.07.2018 |
| Bas Spitters | Aarhus University | 27.05.2018 – 14.06.2018 |
| Dieter Spreen | Universität Siegen | 09.05.2018 – 24.08.2018 |
| Andrew Swan | | 11.06.2018 – 15.06.2018 |
| Tsutomu Takayama | Kyoto University | 02.05.2018 – 24.08.2018 |
| Davide Trotta | University of Trento | 02.05.2018 – 10.05.2018 |
| Davide Trotta | University of Trento | 05.08.2018 – 22.08.2018 |
| Hideki Tsuiki | Kyoto University | 01.08.2018 – 24.08.2018 |
| Floris van Doorn | Universität Bonn | 03.06.2018 – 06.07.2018 |
| Jan Fhr. von Plato | University of Helsinki | 10.06.2018 – 08.07.2018 |
| Andreas Weiermann | Ghent University | 02.05.2018 – 07.05.2018 |
| Andreas Weiermann | Ghent University | 03.06.2018 – 20.07.2018 |
| Andreas Weiermann | Ghent University | 12.08.2018 – 18.08.2018 |
| Felix Wellen | Carnegie Mellon University | 02.06.2018 – 21.06.2018 |
| Daniel Wessel | Università degli Studi di Verona | 02.05.2018 – 15.06.2018 |
| Daniel Wessel | Università degli Studi di Verona | 05.08.2018 – 11.08.2018 |
| Franziskus Wiesnet | Università degli Studi di Verona | 01.06.2018 – 24.08.2018 |
| Chuangjie Xu | Ludwig-Maximilians-Universität München | 28.05.2018 – 07.07.2018 |
| Ihsen Yengui | Università degli Studi di Verona | 02.05.2018 – 24.08.2018 |
