Emily Clement
2024-05-22 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Catégorie : Séminaire Automatique
Identification des préférences structurées en choix social : quelques résultats algorithmiques et expérimentaux
Olivier Spanjaard
2023-10-12 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Journées Chocola
Antoine Allioux (IRIF), Higher Structures in Antoine Allioux, Lison Blondeau-Patissier, William Simmons
2023-09-28 10:00:00, #SéminaireLoVeENS LYON, Site Monod
Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty
Dylan Marinho
2023-09-22 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse [BBB: https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u]
Titre bientôt disponible
Ralph Sarkis
2023-09-14 10:30:00, #SéminaireLoVeSalle 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
Robust min-max regret covering problems
Amadeu Almeida Coco
2023-03-16 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Ludovic Patey
2023-02-09 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
tba
Cameron Calk
2023-03-23 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Jérémy Ledent
2023-03-16 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse