Month: April 2024

Jules Chouquet launched two new working groups: Λ about λ-calculi and LL about linear logic. They meet weekly. 

Kostia Chardonnet (Loria Nancy)
Introduction  au  λ-calcul quantique
Thursday April 18, 15:00, room SR1

Marine and Julien join the LMV for their undergraduate internship: Welcome!

Téo’s first paper as first author was accepted at FASE. Téo will present his work at FASE on Tuesday April 9, in Luxembourg. Congrats Téo!