Visitors 2019-2018


Date
December 9-10, 2019Karl Palmskog (KTH Royal Institute of Technology)
November 25-29, 2019Thomas Van Strydonck (KU Leuven)
November 14-15, 2019Deepak Garg (MPI-SWS)
November 14-15, 2019Peter Sewell (University of Cambridge)
November 12-14, 2019Marieke Huisman (University of Twente)
November 12-14, 2019Bart Jacobs (KU Leuven)
November 4-7,2019Matthieu Sozeau (INRIA Paris)
October 21-25, 2019Simon Wimmer (TU Munich)
October 19-23, 2019David Naumann (Stevens Institute of Technology)
October 7-11, 2019Paige North (Ohio State University)
October 7-11, 2019Benedikt Ahrens (University of Birmingham)
September 30-October 3, 2019Mario Alvarez-Picallo (University of Oxford)
September 18-20, 2019Andreas Nuyts (KU Leuven, Belgium)
August 25-September 5, 2019Leo Stefanesco (IRIF Paris)
August 12-September 13, 2019Amin Timany (KU Leuven, Belgium)
August 26-30, 2019Kenji Maillard (INRIA Paris)
August 26-28, 2019Seyed Reza Sefidgar (ETHZ)
August 19-23, 2019Thomas Sibut Pinot
April 14-18, 2019Philipp Haselwarter from Ljubljana
Mar 7, 2019Anders Schlichtkrull from DTU
Feb 28 - Mar 14, 2019Laure Petrucci from LIPN/CNRS, Université Paris 13, France
Feb 14 - Feb 15, 2019Elisavet Kozyri from Cornell
Feb 11 - Feb 13, 2019Pierre-Yves Strub École Polytechnique, France
Dec 11 - Dec 13, 2018Ilya Sergey Yale-NUS, Singapore
Oct 29 - Nov 02, 2018Paolo G. Giarrusso EPFL, Switzerland
Oct 30 - Nov 02, 2018Amin Timany KU Leuven, Belgium
Oct 30 - Nov 02, 2018Leo Stefanesco from Paris, France
Oct 22, 2018Alix Trieu from Université de Rennes 1, France
Sep 4, 2018Giorgio Bacci from Aalborg University
Sep 4, 2018Radu Mardare from Aalborg University
Aug 27 - Aug 31, 2018Danil Annenkov from INRIA Nantes, France
Aug 27, 2018Hans Bugge Grathwohl
Jun 18 - Jun 21, 2018Craig Mclaughlin from Edinburgh, Scotland
Jun 18 - Jun 21, 2018Filip Sieczkowski from Wrocław, Poland
Jun 05 - Aug 30, 2018Jon Sterling from CMU, USA
Apr 23 - Jul 30, 2018Leo Stefanesco from Paris, France
May 16 - May 18, 2018Ulrik Buchholtz from Darmstadt, Germany
Apr 30 - May 1, 2018Ian Orton from Cambridge, UK
Apr 16 - Apr 20, 2018Guillaume Brunerie from IAS Princeton, USA
Apr 18 - Apr 19, 2018Jan Hoffmann from CMU, USA
Apr 09 - Apr 13, 2018Dan Frumin from Nijmegen, The Netherlands
Apr 09 - Apr 13, 2018Amin Timany KU Leuven, Belgium
Mar 1 - Mar 2, 2018Jesper Bengtson from the IT University, Copenhagen
Mar 1 - Mar 2, 2018Jonas Kastberg Hinrichsen from the IT University, Copenhagen