Clone wiki

public / Home


Upcoming visitors

Previous visitors

Sept. 14 - Sept. 18Christian Uldal Graulund (ITU, Copenhagen; guest to Lars Birkedal)
Feb. 1 - Jun. 1, 2020Thomas Van Strydonck (KU Leuven)
April 14-17, 2020 (cancelled)Alejandro Aguirre (The IMDEA Software Institute)
April 13-17, 2020 (cancelled)Étienne André (Université de Lorraine (Loria), Nancy, France; guest to Jaco van de Pol)
March 9-11, 2020Andrew Hirsch (Max Planck Institute for Software Systems)
March 9-13, 2020 (cancelled)Ranald Clouston (The Australian National University)
March 2-7, 2020Alexey Gotsman (The IMDEA Software Institute)
December 9-10, 2019Karl Palmskog (KTH Royal Institute of Technology)
November 25-29, 2019Thomas Van Strydonck (KU Leuven)
November 14-15, 2019Deepak Garg (MPI-SWS)
November 14-15, 2019Peter Sewell (University of Cambridge)
November 12-14, 2019Marieke Huisman (University of Twente)
November 12-14, 2019Bart Jacobs (KU Leuven)
November 4-7,2019Matthieu Sozeau (INRIA Paris)
October 21-25, 2019Simon Wimmer (TU Munich)
October 19-23, 2019David Naumann (Stevens Institute of Technology)

A list of past visitors is here.

Seminar, Fall 2020

We meet every Monday from 12:00 until 14:00 in InCuba Lille Aud. (or Zoom) This meeting is organized by Danil Annenkov. The list of previous seminars is available here.

September 7, 2020cancelled
September 14, 2020, 12:00-12:45Christian Uldal GraulundSketches of a RaTT: Fitch-style modal calculi for reactive programming (abstract)
September 14, 2020, 13:00-13:45Lars BirkedalCPV – a partial overview of current research
September 21, 2020, 12:00-13:00 (on Zoom)Simon GregersenMechanized Logical Relations for Termination-Insensitive Noninterference (abstract)
September 28, 2020
October 5, 2020Léon GondelmanDistributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic (abstract)
October 12, 2020No seminar, fall break (Efterårsferie)
October 19, 2020Simon Friis VindumContextual refinement of the Michael-Scott queue (abstract)
October 26, 2020Maximilian AlgehedIFC Theorems for Free! (abstract)
November 2, 2020Aïna Linn GeorgesMechanized Program Verification on a Capability Machine in the Presence of Untrusted Code (abstract)
November 9, 2020Danil AnnenkovCoq Extraction: new targets, new challenges (abstract)
November 16, 2020Bas SpittersHigh level overview of formally verified security (abstract)
November 23, 2020Jeppe BlaabjergTowards Language-Based Mitigation of Traffic Analysis Attacks (abstract)
November 30, 2020Jonas Kastberg
December 7, 2020Zesen Qiang
December 14, 2020Johan Bay

Tutorial Material