Clone wiki

public / Home

People

Recent and upcoming visitors

Aug 27Hans 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

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:00Cancelled
Mar 19, 2018, 14:00-16:00Mathias Vorreiter Pedersen(Towards?) encoding the ML^2 proof technique in Iris (abstract)
Mar 26, 2018, 14:00-16:00Cancelled
Apr 02, 2018, 14:00-16:00Cancelled (Easter Monday)
Apr 09, 2018, 14:00-16:00Dan FruminReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency (abstract)
Apr 16, 2018, 14:00-16:00Thomas Dinsdale-YoungProving Termination and Liveness Properties (abstract)
Apr 19, 2018, 14:00-15:00Jan HoffmannResource Analysis for Probabilistic Programs (abstract)
Apr 23, 2018, 14:00-16:00Kasper SvendsenAn Example of a Scalable Event-Driven Microservice (abstract)
Apr 30, 2018, 14:00-16:00Ian OrtonInternal Models of Cubical Type Theory (abstract)
May 07, 2018, 14:00-16:00Ranald CloustonThings worth proving about the simply typed lambda-calculus (abstract)
May 14, 2018, 14:00-16:00Aslan AskarovTowards a distributed programming language with dynamic information flow control (abstract)
May 21, 2018, 14:00-16:00Cancelled (Whit Monday)
May 28, 2018, 14:00-16:00Johan BayCOVERN: A Logic for Compositional Verification of Information Flow Control (abstract)
June 4, 2018, 14:00-16:00Cancelled
June 11, 2018, 14:00-16:00Cancelled
June 18, 2018, 14:00-16:00Cancelled
June 20, 2018, 09:00-10:00Craig MclaughlinTriangulating Context Lemmas (abstract)

This page contains a some suggestions for papers to present.

Tutorial Material

Updated