Matteo D’Achille
2024-04-30 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Category: Automatic Seminar
Languages of Higher Dimensional Timed Automata
Emily Clement
2024-05-22 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Optimisation de la réserve de charge dans un réseau électrique
Dimitri Watel
2024-03-27 10:00:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Intuitionistic continuous logic
Jérémie Marquès
2024-02-08 10:30:00, #SéminaireLoVeSalle 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
Titre bientôt disponible
Lison Blondeau-Patissier
2023-09-07 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Nejat Arinik
2023-02-16 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse