Clone wiki

public / Home

People

Recent and upcoming visitors

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

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

DateWhoTopic
Aug 27, 2018, 13:00-14:00Hans Bugge GrathwohlLanguage for specifying contracts (abstract)
Aug 27, 2018, 14:00-15:00Danil AnnenkovThe Call-by-Name Forcing Translation in Template Coq (abstract)
Sep 3, 2018, 13:00-15:00Morten Krogh-JespersenAneris
Sep 10, 2018, 13:00-15:00Cancelled
Sep 17, 2018, 13:00-15:00Marit Edna OhlenbushAneris Examples
Sep 24, 2018, 13:00-15:00Thomas Dinsdale-Young
Oct 01, 2018, 13:00-15:00Daniel GratzerNormalization by Evaluation
Oct 08, 2018, 13:00-15:00Cancelled due to EUTypes workshop
Oct 15, 2018, 13:00-15:00
Oct 22, 2018, 13:00-15:00Alix TrieuVerifying constant-time implementations in a verified compilation toolchain
Oct 29, 2018, 13:00-15:00Mathias Vorreiter PedersenNB: Nygaard-298
Nov 05, 2018, 13:00-15:00Bas Spitters
Nov 12, 2018, 13:00-15:00Mathias Høier
Nov 19, 2018, 13:00-15:00Aslan Askarov
Nov 26, 2018, 13:00-15:00Jaco van de Pol
Dec 03, 2018, 13:00-15:00Kristoffer Just Arndal Andersen
Dec 10, 2018, 13:00-15:00Aleš Bizjak
Dec 17, 2018, 13:00-15:00TBA

Tutorial Material

Updated