Events
Seminars :
Titre bientôt disponible
Vincent Moreau
2023-11-09 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Nathanael Arkor
2023-09-21 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
A Polyhedral Approach to the Total Matching Problem
Luca Ferrarini
2023-06-22 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Lison Blondeau-Patissier
2023-09-07 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
PhD Defenses :
No PhD defense available.
Conferences :
No conference available.
Past seminars :
Trier des tableaux partiellement pré-triés
Vincent Jugé
2026-02-17 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Lambda-calculus and space complexity
Thibaut Balabonski
2026-02-17 12:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Lambda-calculus and space complexity
Thibaut Balabonski
2026-02-17 12:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Lambda-calculus and space complexity
Thibaut Balabonski
2026-02-17 12:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Lambda-calculus and space complexity
Thibaut Balabonski
2026-02-17 12:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse