Events
Seminars :
Abstraction Functions as Types: Modular Verification of Behavior and Cost
Harrison Grodin
2026-01-08 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
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
PhD Defenses :
No PhD defense available.
Conferences :
No conference available.
Past seminars :
On the enumeration of records of rooted trees and rooted forests
Mercedes Rosas
2025-12-16 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Spanning trees in the assignment problem: two theorems and a conjecture
Andrea Sportiello
2025-12-09 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Equiprojective polytopes in high dimension
Alice Cousaert
2025-12-02 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
A compositional approach to Taylor expansion
Aymeric Walch
2025-12-04 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponibleProbabilistic verification of strategic ability in multi-agent systems with continuous time
Teofil Sidoruk
2025-12-08 12:45:00, #SéminaireSaferSalle A303, bâtiment B, Université de Villetaneuse