~~NOCACHE~~ ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 727 date: mercredi 28 novembre 2018 heure: 11h00 salle: Salle 3052 nom: Cédric Ho Thanh affiliation: IRIF titre: Type theoretical approach to opetopes ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 715 date: mercredi 14 novembre 2018 heure: 11h00 salle: Salle 3052 nom: Thomas Colcombet affiliation: Automata team titre: Writing (large) LaTeX documents with the knowledge package. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 702 date: mercredi 31 octobre 2018 heure: 11h00 salle: Salle 3052 nom: Anupa Sunny & Zhouningxin Wang affiliation: titre: New PhD session ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 672 date: mercredi 17 octobre 2018 heure: 11h00 salle: Salle 3052 nom: Abishek De & Simon Mauras affiliation: titre: Newcomers' session ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 636 date: mercredi 12 septembre 2018 heure: 11h00 salle: Salle 3052 nom: Farzad Jafarrahmani affiliation: titre: Denotational semantics of Linear Logic with least and greatest fixpoints ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 599 date: mercredi 27 juin 2018 heure: 11h00 salle: Salle 3052 nom: Victor Lanvin affiliation: Équipes Preuves, programmes, et Systèmes titre: Introduction to gradual typing with union and intersection types ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 598 date: mercredi 20 juin 2018 heure: 11h00 salle: Salle 3052 nom: Laurent Feuilloley affiliation: Équipes Compsys, GANG et graphes titre: Distributed decision ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 600 date: mercredi 06 juin 2018 heure: 11h00 salle: Salle 3052 nom: Pierre Ohlmann & Sidi Mohammed Beillahi affiliation: Équipe automate & Équipe vérification titre: Unifying non-commutative arithmetic circuit lower bounds & Robustness of Programs Against Consistency Relaxation ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 575 date: mercredi 23 mai 2018 heure: 11h00 salle: Salle 3052 nom: Léo Stefanesco affiliation: Algebra and calculus, proofs and programs teams titre: An Asynchronous Soundness Theorem for Concurrent Separation Logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 544 date: mercredi 02 mai 2018 heure: 11h00 salle: Salle 3052 nom: Emiliano Lancini affiliation: Laboratoire d'Informatique de Paris Nord titre: Box-Total Dual Integrality and k-Edge-Connectivity ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 559 date: mercredi 25 avril 2018 heure: 11h00 salle: Salle 3052 nom: Raphaëlle Crubillé affiliation: Algebra and calculus, proofs and programs teams titre: Probabilistic Stable Functions on Discrete Cones are Power Series. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 570 date: mercredi 18 avril 2018 heure: 11h00 salle: Salle 3052 nom: Paulina Cecchi & Antoine Allioux affiliation: Automata, Combinatorics teams & Algebra and calculus, proofs and programs teams titre: New PhD student introduction session ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 582 date: mercredi 11 avril 2018 heure: 11h00 salle: Salle 3052 nom: Brieuc Guinard affiliation: titre: Intermittent Locomotion in Graphs ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 548 date: mercredi 28 mars 2018 heure: 11h00 salle: Salle 3052 nom: Yann Hamdaoui affiliation: Proofs and Programs and Conception and Analysis of Systems teams titre: Translating a Concurrent Lambda Calculus into Linear Logic proof (nets) ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 528 date: mercredi 21 mars 2018 heure: 11h00 salle: Salle 3052 nom: Mengchuan Zou affiliation: Theory and algorithmics of graphs team titre: Generalization of binary search in trees and other structures ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 440 date: mercredi 21 février 2018 heure: 11h00 salle: Salle 3052 nom: Zeinab Galal & Ranadeep Biswas affiliation: Algebra and computation & Modeling and verification titre: Species of structure: a Bridge between Differential Lambda Calculus and Combinatorics & Verifying Database Histories ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 436 date: mercredi 14 février 2018 heure: 11h00 salle: Salle 3052 nom: Narcisse Nya Kamtchoum affiliation: LIP6 titre: Modèles analytiques pour les performances des réseaux cellulaires ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 423 date: mercredi 07 février 2018 heure: 11h00 salle: Salle 3052 nom: Nicolas Jeannerod affiliation: Team Analysis and conception of systems titre: Unix filesystems and First-Order Theory of an Algebra of Feature Trees with Updates ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 424 date: mercredi 31 janvier 2018 heure: 11h00 salle: Salle 3052 nom: Thomas Williams affiliation: Gallium, INRIA titre: Refactoring ML programs using ornaments ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 427 date: mercredi 24 janvier 2018 heure: 11h00 salle: Salle 3052 nom: Alessandro Luongo & Ny Aina Andriambolamalala affiliation: Algorithms and complexity team & Combinatorics team titre: Recent updates in quantum machine learning & Election de leader dans un réseau radio simple saut avec detection de collision ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 426 date: mercredi 20 décembre 2017 heure: 11h00 salle: Salle 3052 nom: Leo Stefanesco affiliation: Équipes "Preuves et Programmes" et "Algèbre et Calcul" titre: "A concise introduction to logical relations" followed by "A Logical Relation for Monadic Encapsulation of State" ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 348 date: mercredi 13 décembre 2017 heure: 11h00 salle: Salle 3052 nom: Simon Halfon affiliation: ENS Cachan titre: Well Quasi-Orders and Extreme Stratospheric-Complexity-Classes of Death --- Beaux pré-ordres et classes de complexité stratosphériques de la mort ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 351 date: mercredi 06 décembre 2017 heure: 11h00 salle: Salle 3052 nom: Axel Osmond & Yassine Hamoudi affiliation: (1) "Algebra and calculus" and "proofs and programs" teams, (2) Algorithms and complexity team. titre: New PhD student introduction session. (1) From pointless topology to formal topology (2) ACC0 and multiparty communication: fighting the log n barrier. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 361 date: mercredi 22 novembre 2017 heure: 11h00 salle: Salle 3052 nom: Jules Chouquet affiliation: Proofs and Programs team titre: Linear logic proof nets and Taylor expansion. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 349 date: mercredi 15 novembre 2017 heure: 11h00 salle: Salle 3052 nom: Chaitanya Leena Subramaniam affiliation: "Algebra and calculus" and "proofs and programs" teams titre: Homotopy type theory and the fibred structure of dependent types ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 322 date: mercredi 08 novembre 2017 heure: 11h00 salle: Salle 3052 nom: Francesco Antonio Genco affiliation: Technische Universität Wien titre: Typing Parallelism and Communication through Hypersequents ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 299 date: mercredi 25 octobre 2017 heure: 11h00 salle: Salle 3052 nom: Cédric Ho Thanh & Isaac Konan affiliation: Algebra and calculus team / Combinatorics team titre: New PhD student introduction session ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 298 date: mercredi 11 octobre 2017 heure: 11h00 salle: Salle 3052 nom: Hadrien Batmalle affiliation: Équipe Preuves et Programmes titre: From Cohen's Forcing to Classical Realisability: A New Approach ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 297 date: mercredi 27 septembre 2017 heure: 11h00 salle: Salle 3052 nom: Baptiste Louf & Victor Lanvin affiliation: Combinatorics and PPS teams titre: New PhD student introduction session ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 277 date: mercredi 28 juin 2017 heure: 11h00 salle: Salle 3052 nom: Tommaso Petrucciani affiliation: PPS team titre: Semantic subtyping: an introduction ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 276 date: mercredi 14 juin 2017 heure: 11h00 salle: Salle 3052 nom: Timo Zijlstra & Emmanuel Arrighi affiliation: titre: Quantum algorithms and Learning With Errors- based Cryptography & Distance Labels and Tree Skeletons ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 251 date: mercredi 31 mai 2017 heure: 11h00 salle: Salle 3052 nom: Clément Jacq affiliation: PPS team titre: A playful introduction to game semantics (category-light) ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 249 date: mercredi 17 mai 2017 heure: 11h00 salle: Salle 3052 nom: Pierre Vial affiliation: PPS team titre: An Introduction to Intersection Type Systems, and a New Answer to Klop's Problem ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 229 date: mercredi 03 mai 2017 heure: 11h00 salle: Salle 3052 nom: Alexandre Nolin affiliation: Algorithms and complexity Group titre: Quantum, a look through nonlocality ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 220 date: mercredi 19 avril 2017 heure: 11h00 salle: Salle 3052 nom: Pierre Cagne affiliation: PPS team titre: Lawvere’s hyperdoctrines and notions of equality ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 209 date: mercredi 05 avril 2017 heure: 11h00 salle: Salle 3052 nom: Guillaume Lagarde affiliation: Automata and applications Group titre: On the stability of the Lempel-Ziv compression algorithm ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 195 date: mercredi 22 mars 2017 heure: 11h00 salle: Salle 3052 nom: Gabriel Radanne affiliation: PPS team titre: GADTs gone mild ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 201 date: mercredi 08 mars 2017 heure: 11h00 salle: Salle 3052 nom: Pablo Eduardo Rotondo affiliation: Automata and applications Group titre: Continued Fractions and the Recurrence of Sturmian Words ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 196 date: mercredi 22 février 2017 heure: 11h00 salle: Salle 3052 nom: Lucas Boczkowski affiliation: Algorithms and complexity Group titre: Minimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bits ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 176 date: mercredi 25 janvier 2017 heure: 11h00 salle: Salle 3052 nom: Thibaut Girka affiliation: PPS team titre: Oracle-based Differential Operational Semantics (or Explaining program differences with programs) ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD students seminar seminaire: doctorants id: 175 date: mercredi 11 janvier 2017 heure: 11h00 salle: Salle 3052 nom: Fabian Reiter affiliation: Automata and applications Group titre: Asynchronous Distributed Automata ----