Clone wiki

public / Home

People

Recent and upcoming visitors

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, 2018Jaco-
Feb 4, 2018Martin-
Feb 11, 2018Danny-
Feb 18, 2018Søren-
Feb 25, 2018Lau-
Mar 4, 2018Bas-
Mar 11, 2018Mathias-
Mar 18, 2018Marit-
Mar 25, 2018Aslan-
Apr 1, 2018Lars-
Apr 8, 2018-ETAPS Week
Apr 15, 2018Alix-
Apr 22, 2018Jeppe-
Apr 29, 2018Magnus-

Tutorial Material

Updated