Le séminaire a lieu régulièrement le mardi matin.

Exposé par Robin Piedeleu : «A diagrammatic axiomatisation of finite-state automata» 2021-01-27

Exposé apr Constantin Enea: «Specifying and Verifying Consistency Properties» 2020-03-17

Exposé par Marie Kerjean: «Typing differentiable programming» 2020-02-25

Talk by Roman Kniazev: «Topos-theoretic point of view on directed spaces» 2019-07-15

Exposé par Éric Goubault: «Directed topological complexity» 2019-07-01

Exposé par Indranil Saha: «Developing Autonomous Multi-Robot Systems for Complex Missions» 2019-06-25

Jérémy Dubut -- Categorical approaches to bisimilarity 2019-05-16

Exposé par Pierre Vial: «Exact measures of evaluation in classical natural deduction» 2019-03-19

Expose de Maxime Lucas: «Higher dimensional rewriting and homotopy» 2019-03-18

Exposé par Jérémy Ledent: «A topological model for dynamic epistemic logic» 2019-02-27

Séminaire Cosynus: exposés par Goran Frehse et Mirco Giacobbe 2019-02-13

Talk by Georg Struth: «Generalised Kripke Semantics for Concurrent Quantales» 2019-01-14

Séminaire par Marie Kerjean: «Towards a type theory for differential equations» 2018-11-28

Talk by Sergio Mover: «Verifying Hybrid Systems with Logic-based Model Checking» 2018-10-16

Séminaire par Thomas Seiller: «Dynamique, algèbre, géométrie, et complexité du calcul» 2018-09-28

Exposé par Nicolas Ninin: «Topologie dans le Blue Brain Project» 2018-09-21

Séminaire par Krzysztof Ziemianski: «Directed paths on cubical complexes» 2018-05-28

Talk by Adina Panchea: «Towards autonomous and bio-inspired control system design» 2018-01-16

Talk by Jean-Éric Pin: «Dual space of a lattice as the completion of a Pervin space» 2017-06-30

Talk by Adrien Le Coënt: «Control synthesis of nonlinear sampled switched systems using Euler's method» 2017-04-14

Talk by Ignacio Fábregas: «When Are Prime Formulae Characteristic?» 2017-03-13

Talk by Christian Johansen: «Sculptures for Higher Dimensional Automata» 2017-01-12