Clone wiki

public / Home

People

Recent and upcoming visitors

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

A list of past visitors is here.

Seminar, Spring 2018

We meet every Monday from 14:00 until 16:00 in Nygaard meeting room 295. This meeting is organized by Aleš Bizjak. The list of previous seminars is available here.

DateWhoTopic
Feb 05, 2018, 14:00-16:00Bas SpittersInternal Universes in Models of Homotopy Type Theory (abstract)
Feb 12, 2018, 14:00-16:00Cancelled (spring break)
Feb 19, 2018, 14:00-16:00Morten Krogh-JespersenTLA+ (abstract)
Feb 26, 2018, 14:00-16:00Aleš BizjakIris with some support for linearity (abstract)
Mar 05, 2018, 14:00-16:00Lars BirkedalLogical Relations for Guarded Recursive Kinds without Step-Indexing (abstract)
Mar 12, 2018, 14:00-16:00Marit Edna Ohlenbusch
Mar 19, 2018, 14:00-16:00Mathias Vorreiter Pedersen
Mar 26, 2018, 14:00-16:00Mathias Høier
Apr 02, 2018, 14:00-16:00Cancelled (Easter Monday)
Apr 09, 2018, 14:00-16:00Ranald Clouston
Apr 16, 2018, 14:00-16:00Aslan Askarov
Apr 23, 2018, 14:00-16:00Johan Bay
Apr 30, 2018, 14:00-16:00Thomas Dinsdale-Young
May 07, 2018, 14:00-16:00Lau Skorstengaard
May 14, 2018, 14:00-16:00TBA
May 21, 2018, 14:00-16:00Cancelled (Whit Monday)
May 28, 2018, 14:00-16:00TBA

This page contains a some suggestions for papers to present.

Tutorial Material

Updated