| Amirhossein Akbar Tabatabai | Czech Academy of Sciences | 02.05.2018 – 30.07.2018 |
| Thorsten Altenkirch | University of Nottingham | 03.06.2018 – 09.06.2018 |
| Steve Awodey | Carnegie Mellon University | 29.05.2018 – 15.07.2018 |
| Andrej Bauer | University of Ljubljana | 04.06.2018 – 08.06.2018 |
| Benno van den Berg | Institute for Logic, Language and Computation (ILLC) | 03.06.2018 – 09.06.2018 |
| Marc Bezem | University of Bergen | 03.06.2018 – 09.06.2018 |
| Douglas S. Bridges | University of Canterbury | 02.05.2018 – 22.08.2018 |
| Ulrik Buchholtz | TU Darmstadt | 04.06.2018 – 08.06.2018 |
| Paolo Capriotti | University of Nottingham | 03.06.2018 – 09.06.2018 |
| Pieter Collins | Maastricht University | 04.06.2018 – 14.06.2018 |
| Thierry Coquand | Goteborg University | 02.05.2018 – 30.06.2018 |
| Hannes Diener | University of Canterbury | 02.06.2018 – 06.07.2018 |
| Maximilian Doré | LMU München | |
| Peter Dybjer | Chalmers University of Technology | 29.05.2018 – 15.06.2018 |
| Jacopo Emmenegger | Stockholms Universitet | 11.05.2018 – 08.06.2018 |
| Jonas Frey | Carnegie Mellon University | 03.06.2018 – 06.07.2018 |
| Nicola Gambino | University of Leeds | 03.06.2018 – 09.06.2018 |
| Philipp Haselwarter | University of Ljubljana | 03.06.2018 – 17.06.2018 |
| Hugo Herbelin | University Paris Diderot | 02.05.2018 – 14.08.2018 |
| Kuen-Bang (Favonia) Hou | Institute for Advanced Study | 03.06.2018 – 09.06.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 |
| 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 |
| Tatsuji Kawai | Japan Advanced Institute of Science and Technology | 03.06.2018 – 24.08.2018 |
| Peter Koepke | Universität Bonn | 02.05.2018 – 10.08.2018 |
| Nicolai Kraus | University of Nottingham | 03.06.2018 – 09.06.2018 |
| Dan Licata | Wesleyan University | 02.06.2018 – 08.06.2018 |
| Henri Lombardi | Universit̩ Bourgogne Franche-Comt̩ | 03.06.2018 Р09.06.2018 |
| Robert Lubarsky | Florida Atlantic University | 22.05.2018 – 14.06.2018 |
| Peter Lumsdaine | Stockholm University | |
| Maria Emilia Maietti | University of Padova | 03.05.2018 – 15.06.2018 |
| Klaus Mainzer | Technische Universität München | 03.06.2018 – 05.06.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 |
| Stefan Neuwirth | Université de Franche-Comté | |
| 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 |
| Ian Orton | University of Cambridge | 03.06.2018 – 09.06.2018 |
| Erik Palmgren | Stockholm University | 02.06.2018 – 11.08.2018 |
| Fabio Pasquali | University of Padova | |
| Anja Petkovic | University of Ljubljana | 27.05.2018 – 10.06.2018 |
| Iosif Petrakis | Ludwig-Maximilians-Universität München | 03.06.2018 – 08.06.2018 |
| Sebastian Posur | Universität Siegen | |
| Michael Rathjen | University of Leeds | 02.05.2018 – 15.08.2018 |
| Giuseppe Rosolini | Università degli Studi di Genova | 09.05.2018 – 22.08.2018 |
| Christian Sattler | Chalmers University of Technology | 03.06.2018 – 09.06.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 |
| Wilfried Sieg | Carnegie Mellon University | 01.06.2018 – 31.07.2018 |
| Bas Spitters | Aarhus University | 27.05.2018 – 14.06.2018 |
| Dieter Spreen | Universität Siegen | 09.05.2018 – 24.08.2018 |
| Thomas Streicher | TU Darmstadt | 03.06.2018 – 08.06.2018 |
| Tsutomu Takayama | Kyoto University | 02.05.2018 – 24.08.2018 |
| Floris van Doorn | Universität Bonn | 03.06.2018 – 06.07.2018 |
| Jakob von Raumer | University of Nottingham | |
| Andreas Weiermann | Ghent University | 03.06.2018 – 20.07.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 |
| 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 |
| Fabian Zickgraf | | |
