Events
Seminars :
Compléxité des topos pour la logique linéaire : une analyse socio-philosophique (en Coq)
Sergueï Lenglet
2025-04-26 14:00:00, #SéminaireLocal
Bobigny
Titre bientôt disponible
Vincent Moreau
2023-11-09 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Nathanael Arkor
2023-09-21 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse
A Polyhedral Approach to the Total Matching Problem
Luca Ferrarini
2023-06-22 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse
PhD Defenses :
No PhD defense available.
Conferences :
No conference available.
Past seminars :
Modal semantics without possible worlds
Renato Reis Leme
2025-04-10 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Test
2025-04-08 10:00:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse
Expressing properties of finite automata in variants of first-order logic
Howard Straubing
2025-04-08 13:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse
Effects in Skel. From Exceptions to Delimited Computation
Alan Schmiit
2025-03-26 14:00:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse