1. Logic and Semantics
  2. Everything
  3. public

Wiki

Clone wiki

public / Home

People

Recent and upcoming visitors

Oct 4 - Dec 8, 2017Andrew M Pitts from University of Cambridge, UK
Aug 24 - Aug 30, 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 2017

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

DateWhoTopic
Jan 11, 2017 15:00-16:00Dexter KozenCantor Meets Scott: Semantic Foundations for Probabilistic Networks (abstract)
Jan 23, 2017 14:00 - 16:00Lars Birkedal
Jan 30, 2017 14:00 - 16:00Bas SpittersThe HoTT library: a formalization of homotopy type theory in Coq (abstract)
Feb 06, 2017 14:00 - 16:00Aslan AskarovA Calculus for Flow-Limited Authorization (abstract)
Feb 13, 2017 14:00 - 16:00Aleš BizjakA Split Model of Guarded Dependent Type Theory (abstract)
Feb 20, 2017 14:00 - 16:00Thomas Dinsdale-YoungStarling: Lightweight Concurrency Verification With Views (abstract)
Feb 27, 2017 14:00 - 16:00Ranald CloustonThe Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time (abstract)
Mar 06, 2017 14:00 - 16:00Daniel HuangSemantics of probabilistic programming languages (abstract)
Mar 13, 2017 14:00 - 16:00Cancelled because of CS retreat
Mar 20, 2017 14:00 - 15:00Kristoffer Just AndersenCompositional Shape Analysis by means of Bi-Abduction (abstract)
Mar 20, 2017 15:00 - 16:00Felix WiemuthInternship report (abstract)
Mar 27, 2017 14:00 - 16:00Mathias Vorreiter PedersenExplicit Secrecy: A Policy for Taint Tracking (abstract)
Apr 03, 2017 14:00 - 16:00Lau SkorstengaardLinking Types for Multi-Language Software: Have Your Cake and Eat It Too (abstract)
Apr 10, 2017 14:00 - 16:00Cancelled
Apr 24, 2017 14:00 - 16:00Bas SpittersTowards a proof of active security for multi-party computation in easycrypt (abstract)
May 01, 2017 14:00 - 16:00Lars BirkedalETAPS report, status, and planning
May 08, 2017 14:00 - 16:00Aslan AskarovErasure policies and disclosure vulnerabilities
May 15, 2017 14:00 - 16:00Mathias Vorreiter PedersenFrom trash to treasure: timing-sensitive garbage collection (abstract)
May 22, 2017 14:00 - 16:00Thomas Dinsdale-YoungCaper: Under the Hood (part 1) (abstract)
Jun 12, 2017 14:00 - 16:00Cancelled
Jun 19, 2017 14:00 - 16:00Kristoffer Just AndersenCaper: Under the Hood (part 2) (abstract)

This page contains a some suggestions for papers to present.

Tutorial Material

Updated