Événements
Séminaires :
Titre bientôt disponible
Reynald Affeldt
2024-09-05 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Manon Blanc
2024-09-12 10:30: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 :
Partial optimality in linear ordering
David Stein
2024-06-20 10:30:00, #SéminaireAOCSalle A303, Université de Villetaneuse
Les innovations et défis dans l’ingénierie du langage autour des unités phraséologiques
Belem Priego Sanchez
2024-06-17 12:45:00, #SéminaireRCLNSalle B107, bâtiment B, Université de Villetaneuse
CosyVerif: The Path to Formalisms Cohabitation
Van-François LE
2024-06-03 11:45:00, #SéminaireLoVeSalle A303, bâtiment A, Université de Villetaneuse
Lattice paths and branched continued fractions: Coefficientwise Hankel total positivity of the Laguerre polynomials
Bishal Deb
2024-05-28 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
CosyVerif: The Path to Formalisms Cohabitation
Van-François LE
2024-06-03 11:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse