Événements

Écoles Caleidoscope

New formulations and algorithms for the optimal classification tree problem

Zacharie Ales

2025-09-25 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

Oles Embeddings

Paul Blain Levy

2025-09-11 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse

Parametric polyhedra in mixed-integer programming

Diego Morán Ramírez

2025-07-10 10:30:00, #SéminaireAOC
Salle B107

Deep Dual-Optimal Inequalities for Generalized Capacitated Fixed-Charge Network Design Problems

Alexis Schneider

2025-07-07 10:30:00, #SéminaireAOC
Salle B107

Anatomie d’un langage de programmation : la genèse du langage Prolog entre Marseille et Edimbourg (1970-1975)

Mathilde Fichen

2025-06-19 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse

Sur la complexité abélienne des mots infinis

Idrissa Kaboré

2025-06-17 14:00:00, #SéminaireCALIN
Salle B107, bâtiment B, Université de Villetaneuse