1. Logic and Semantics Avatar Logic and Semantics
  2. Everything
  3. public

Wiki

Clone wiki

public / Past-visitors

View History

Past visitors

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 22Alix Trieu from Université de Rennes 1, France
Sep 4Giorgio Bacci from Aalborg University
Sep 4Radu 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
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, Belgium
Sep 25 - Sep 27, 2013Postdoc Noam Zeilberger, PPS, Paris

Updated