Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Seminars 2024-25
Contact :
seminar@lacl.fr
Archives:
2024-25
2023-24
2022-23
2021-22
2020-21
2019-20
2018-19
2017-18
2016-17
2015-16
2014-15
2013-14
2012-13
2011-12
2010-11
2009-10
2008-09
On monday, at 2pm - UPEC CMC - Room P2-131
November 25, 2024
TBA
Samuel Arsac
(ENS Lyon)
TBA
November 18, 2024
TBA
Julien Cervelle
(LACL)
TBA
November 4, 2024
TBA
Aurore Alcolei
(LACL)
TBA
October 14, 2024
TBA
Antoine Spicher
(LACL)
TBA
October 7, 2024
TBA
Marco Esposito
(LACL/Verimag)
TBA
September 30, 2024
TBA
Aldric Degorre
(IRIF, Université Paris-Cité)
TBA