Meltem Ünel
2026-01-27 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Category: Past seminar
On Multidimensional Disjunctive Inequalities for Chance-Constrained Stochastic Problems with Finite Support
Marius Roland
2026-01-29 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Lattice walks with large steps in the first quadrant : algebraicity of the stretched Gessel models
Pierre Bonnet
2026-01-20 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Adapters: a type-theoretic foundation for type casting
Meven Lennon-Bertrand
2026-01-22 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Abstraction Functions as Types: Modular Verification of Behavior and Cost
Harrison Grodin
2026-01-08 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
On the enumeration of records of rooted trees and rooted forests
Mercedes Rosas
2025-12-16 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Spanning trees in the assignment problem: two theorems and a conjecture
Andrea Sportiello
2025-12-09 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
Equiprojective polytopes in high dimension
Alice Cousaert
2025-12-02 14:00:00, #SéminaireCALINSalle B107, bâtiment B, Université de Villetaneuse
A compositional approach to Taylor expansion
Aymeric Walch
2025-12-04 10:30:00, #SéminaireLocalSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponibleProbabilistic verification of strategic ability in multi-agent systems with continuous time
Teofil Sidoruk
2025-12-08 12:45:00, #SéminaireSaferSalle A303, bâtiment B, Université de Villetaneuse