Visitors 2017-2013

Date
Oct 4 - Dec 8, 2017Andrew M Pitts from University of Cambridge, UK
Aug 21 - Aug 25, 2017Robbert Krebbers from Delft University of Technology, Delft, The Netherlands
Apr 18 - Apr 21, 2017Ralf Jung from MPI-SWS, Saarbrücken, Germany
Apr 18 - Apr 21, 2017Cao Qinxiang, Princeton University, USA
Mar 6 - Mar 10, 2017Daniel Huang, Harvard University, USA
Feb 20 - Feb 22, 2017Jesper Bengtson, IT University of Copenhagen, Denmark
Jan 11, 2017Dexter Kozen, Cornell University, USA
Jan 5 - Jan 6, 2016Kasper Svendsen, University of Cambridge
Dec 5 - Dec 6, 2016Brigitte Pientka, McGill University, Montreal, Canada
Dec 5 - Dec 6, 2016Peter Dybjer, Chalmers University of Technology, Göteborg, Sweden
Nov 22 - Nov 25, 2016Gilles Barthe, Madrid
Nov 21Radu Mardare, Aalborg University, Denmark
Oct 31 - Nov 1, 2016Chuangjie Xu, Munich, Germany
Oct 26 - Oct 28, 2016Alex Summers, ETH Zurich
Oct 24 - Oct 28, 2016Robbert Krebbers from Delft University of Technology, Delft, The Netherlands
Sep 26 - Sep 28, 2016Deepak Garg from MPI-SWS, Saarbrücken, Germany
Sep 27 - Sep 28, 2016Patrick Bahr, Rasmus Møgelberg, and Christian Graulund from ITU, Copenhagen
Jul 13 - Jul 20, 2016Ralf Jung from MPI-SWS, Saarbrücken, Germany
Jul 13 - Jul 15, 2016Andrea Vezzosi from Chalmers, Göteborg, Sweden
Jun 13 - Jun 17, 2016Amin Timany KU Leuven, Belgium
Jun 1 - Jun 3, 2016Ilya Sergey University College London, UK
May 10 - May 12, 2016Valeria Vignudelli University of Bologna, Italy
Apr 25 - Apr 27, 2016Dominique Devriese KU Leuven, Belgium
Mar 21 - Mar 23, 2016Ohad Kammar University of Cambridge
Mar 15 - Mar 18, 2016Julian Sutherland Imperial College London, UK
Feb 8 - Feb 12, 2016Amin Timany KU Leuven, Belgium
Jan 31 - Feb 9, 2016Egbert Rijke CMU
Dec 16 - Dec 17, 2015Ahmad Salim Al-Sibahi from ITU, Copenhagen
Dec 8 - Dec 10, 2015Neel Krishnaswami from Birmingham, UK
Nov 2 - Nov 6, 2015Andrea Vezzosi from Chalmers, Göteborg, Sweden
Nov 3 - Nov 6, 2015Ugo Dal Lago from Bologna, Italy
Oct 26 - Nov 6, 2015Charles Grellois
Oct 19 - Oct 23, 2015Ralf Jung from MPI-SWS, Saarbrücken, Germany
Oct 1 - Oct 2, 2015Rasmus Møgelberg and Patrick Bahr and Marco Paviotti from the IT University of Copenhagen
Jul 6 - Jul 9, 2015Ulrik Buchholtz CMU
Jun 29 - Jul 3, 2015Aleksandr Karbyshev from Tel Aviv, Israel
Jun 30 - Jul 1, 2015Alexis Bernadet from Bologna, Italy
Jun 29 - Jun 30, 2015Rasmus Møgelberg from IT University of Copenhagen, Denmark
Jun 2 - Jun 4, 2015Ali Assaf from INRIA Paris-Rocquencourt, France
Apr 27 - Apr 29, 2015Stevan Andjelkovic from University of Strathclyde, Glasgow, UK
Mar 2 - Mar 4, 2015Dominique Devriese from KU Leuven, Belgium.
Feb 17 - Feb 20, 2015Nikos Tzevelekos from QMW London, UK.
Feb 17 - Feb 20, 2015Guilhem Jaber from QMW London, UK.
Jan 20 - Jan 22, 2015Jonas Frey from Univ. of Copenhagen, Denmark.
Jan 19 - Jan 23, 2015Jesper Bengtson from IT Univ. of Copenhagen, Denmark.
Nov 24 - Nov 28, 2014Bas Spitters from Chalmers, Sweden.
Nov 17 - Nov 19, 2014Robbert Krebbers from Radboud University Nijmegen.
Oct 06 - Oct 07, 2014Rasmus Moegelberg from IT University of Copenhagen.
Sep 11, 2014Hannes Mehnert from University of Cambridge.
Aug 25 - Aug 29, 2014Stefan Milius from Erlangen, Germany.
Aug 25 - Aug 29, 2014Tadeusz Litak from Erlangen, Germany.
Jun 11 - Jun 13, 2014Xavier Rival from INRIA Paris-Rocquencourt, France.
Apr 20 - May 2, 2-14Derek Dreyer from MPI Saarbruecken, Germany.
Mar 31 - Apr 1, 2014Rasmus Moegelberg from IT Univ. of Cph, Denmark.
Mar 31, 2014Jakob Rehof from Technische Universitaet Dortmund, Germany
Mar 22, 2014Gregory Malecha from Harvard University, USA
Mar 17 - Mar 21, 2014Jean Pichon from Univ. of Cambridge, UK.
Feb 27 - Feb 28, 2014Marco Paviotti from IT Univ. of Cph, Denmark.
Dec 09 - Dec 10, 2013Dr. Andrzej Murawski from Warwick, UK
Nov 25 - Nov 29, 2013Dr. Francois Pottier from Inria, Paris, France
Oct 28 - Nov 13, 2013Prof. Marino Miculan from Univ. of Udine, Italy
Oct 23 - Oct 25, 2013Postdoc Dominique Devriese, KU Leuwen, Belgiu
Sep 25 - Sep 27, 2013Postdoc Noam Zeilberger, PPS, Paris