Clone wiki

public / Home

People

Recent and upcoming visitors

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 31Danil Annenkov from INRIA Nantes, France
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

A list of past visitors is here.

Seminar, Spring 2019

We meet every Monday from 13:00 until 15:00 in Nygaard-295. This meeting is organized by Kristoffer Just Arndal Andersen. The list of previous seminars is available here.

DateWhoTopic
Jan 7, 2018Søren & Bas
MathiasPOPL Practice Talks
Danny
Kristoffer
Jan 14, 2018-POPL Week
Jan 21, 2018KristofferDistributed Protocol Combinators
Jan 28, 2018JacoIdentities and Inequalities for Fixpoint Equation Systems
Feb 4, 2018-
Feb 11, 2018-
Feb 18, 2018AslanReconciling Termination-Insensitive NI and Declassification
Feb 25, 2018LauStkTokens
Mar 4, 2018MartinInterpretation of Dependent TT in LCCCs and the Coherence Problem
Mar 11, 2018Laure PetrucciEfficient Parameter Synthesis Using Optimised State Exploration Strategies
Mar 18, 2018Mathias-
Mar 25, 2018-
Apr 1, 2018SimonPractice Talk for POST: Information-Flow Control in Idris
MagnusExtensible Records with Scoped Labels
Apr 8, 2018MagnusFixpoints for the Masses: Programming with First-class Datalog Constraints
Apr 15, 2018Alix-
Apr 22, 2018Jeppe-
Apr 29, 2018Magnus-

Tutorial Material

Updated