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, Fall 2017

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
Sep 04, 2017, 14:00-16:00Aleš BizjakLinear Iris
Sep 11, 2017, 14:00-16:00Cancelled
Sep 18, 2017, 14:00-16:00Amin TimanyInductive types in Coq (abstract)
Sep 25, 2017, 14:00-16:00Lars Birkedal and Mathias HøierDistributed separation logic
Oct 02, 2017, 14:00-16:00Yue LiProgram Tailoring: Slicing by Sequential Criteria (abstract)
Oct 02, 2017, 15:00-16:00Tian TanEfficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata (abstract)
Oct 09, 2017, 14:00-16:00Cancelled due to PhD course on security
Oct 16, 2017, 14:00-16:00Cancelled due to fall break
Oct 23, 2017, 14:00-16:00Ranald CloustonFitch-Style Modal Lambda Calculi (abstract)
Oct 30, 2017, 14:00-16:00Andy PittsNominal Cubical (part 1) (abstract)
Tuesday Oct 31, 2017, 14:00-16:00Andy PittsNominal Cubical (part 2) (abstract)
Nov 06, 2017, 14:00-16:00Cancelled due to special talk
Nov 13, 2017, 14:00-16:00Mathias Vorreiter Pedersen and Johan BayAnalysis of resource usage (part 1) (abstract)
Nov 20, 2017, 14:00-16:00Mathias Vorreiter Pedersen and Johan BayAnalysis of resource usage (part 2) (abstract)
Nov 27, 2017, 14:00-16:00Lars BirkedalMechanised Relational Verification of Concurrent Programs with Continuations (abstract)
Dec 04, 2017, 14:00-16:00Thomas Dinsdale-YoungA Perspective on Specifying and Verifying Concurrent Modules (abstract)
Dec 11, 2017, 14:00-16:00Lau SkorstengaardA Brief Introduction to WebAssembly (abstract)
Dec 18, 2017, 14:00-16:00Cancelled

This page contains a some suggestions for papers to present.

Tutorial Material

Updated