The seminar is joint between AlCo, Cosynus and Partout teams, which form the Proofs and Algorithms pole of LIX.

See: The official page of the seminar

Talk by Jui-Hsuan: « A positive perspective on term representation » 2022-06-27

Talk by Riccardo Gozzi: « Analog characterization of complexity classee » 2022-06-21

Talk by Bryce Clarke: « Investigating Lenses between Preordered Sets » 2022-06-20

Talk by Pablo Donato: « Interactive Deep Reasoning » 2022-05-30

Talk by Willem Heijltjes: « The Functional Machine Calculus » 2022-05-23

Talk by Joël Ouaknine: « The Skolem Landscape » 2022-05-19

Talk by Franck Djeumou: « Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling » 2022-04-14

Talk by Léo Paviet Salomon: « Groupe fondamental et pavages du plan: quelques constructions » 2022-03-24

Talk by Nathan Grosshans: "Visibly pushdown languages in AC^0" 2022-03-17

Talk by Paolo Pistone: « On Equivalence and Similarity of Polymorphic Proofs and Programs » 2022-03-07

Talk by Martin Krejca: « The Power of Probabilistic Models in Optimization » 2022-02-17

Talk by Ulysse Chabaud: « Holomorphic Quantum Computing » 2022-02-03

Talk by Tarmo Uustalu: « List monads » 2021-10-18

Talk by Constantin Enea: « Towards Automated Verification of Concurrent or Distributed Software » 2021-10-05

Talk by Christian Johansen: « History-aware Higher Dimensional Modal Logic » 2021-07-07

Talk by Sven Dziadek: « Greibach Normal Form and Simple Automata for Weighted ω-Context-Free Languages » 2021-06-30

Talk by Sonia Vanier: «Distributed Denial of Service cyber-attacks in 5G networks: a robust approximation approach » 2021-06-24

Talk by Krzysztof Ziemiański: « Tracks in Higher Dimensional Automata » 2021-06-23

Talk by Alex Kavvos: « Client-Server Sessions in Linear Logic » 2021-06-23

Talk by Federico Olimpieri: « Intersection type distributors » 2021-06-07

Talk by Francesco Gavazzo: « On Monadic Rewriting Systems » 2021-05-19

Talk by Riccardo Gozzi: «Analog characterization of standard complexity classes by means of ODEs» 2021-05-12

Talk by Georg Struth: «Verifying Hybrid Systems with Interactive Theorem Provers» 2021-04-21

Talk by Renaud Vilmart: « An introduction to ZX-calculus » 2021-04-14

Talk by Janna Burman: « Time-Optimal Self-Stabilizing Leader Election in Population Protocols » 2021-04-08

Talk by Benoit Monin: «Une petite histoire de la K-trivialité» 2021-04-01

Talk by Arnaud Spiwack: «Linear Constraints» 2021-03-31

Talk by Giuseppe Di Molfetta: «Gauge-invariance in celullar automa and multi-scales analysis» 2021-03-18

Talk by Niccolò Veltri: «Proof Theory of Skew Monoidal Categories» 2021-03-15

Talk by Constantin Enea: «Automated Formal Testing of Transactional Databases and Applications» 2021-03-10

Talk by Giulio Guerrieri: «Understanding the lambda-calculus via linearity and rewriting» 2021-03-01

Talk by M. Hermann: «Logical Analysis of Data» 2021-02-18

Talk by Uli Fahrenberg: «Generating Posets Beyond N» 2021-02-17