Événements
Séminaires :
Les bijoux de la tessellation idéale de Poisson-Voronoï de l’espace hyperbolique
Matteo D’Achille
2024-04-30 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Languages of Higher Dimensional Timed Automata
Emily Clement
2024-05-22 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
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]
Soutenances :
Aucune soutenance disponible.
Conférences :
Aucune conférence disponible.
Séminaires passés :
Typing Nets as a cost-effective Presentation of the Curry-Howard Isomorphism
Paulin Jacobé de Naurois
2024-04-25 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Emily Clement
2024-05-22 12:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Introduction à la sémantique fonctorielle des théories algébriques généralisées
Jonas Frey
2024-04-11 10:30: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
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