Événements
Conférences :
Aucune conférence disponible.
Écoles :
Écoles Caleidoscope
Cliquer ici pour plus d'informationsSéminaires :
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éminaireAOC
Salle 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éminaireLoVe
ENS 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éminaireLoVe
Salle 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éminaireLoVe
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
Soutenances :
Aucune soutenance disponible.
Séminaires passés :
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
Unified study of block-weighted planar maps: combinatorial and probabilistic properties
Zéphyr Salvy
2025-03-25 14:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse
Fine-grained complexity of reachability problems on different temporal graph models
Guillaume Aubian
2025-03-27 10:30:00, #SéminaireAOC
Salle C213
Titre bientôt disponible
TEST
2025-03-21 13:00:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse
Grothendieck topologies on a free monoid
Morgan ROGERS
2025-03-20 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse