~~NOCACHE~~ ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 738 date: jeudi 10 janvier 2019 heure: 10h30 salle: Salle 3052 nom: Aurore Alcolei affiliation: Ens Lyon titre: Concurrent strategies for Herbrand's theorem ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 720 date: jeudi 13 décembre 2018 heure: 10h30 salle: ENS Lyon nom: Journée Chocola affiliation: titre: ENS Lyon ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 719 date: jeudi 06 décembre 2018 heure: 10h30 salle: Salle 3052 nom: Luc Pellissier affiliation: IRIF titre: Linear Implicative Algebras, towards a Brouwer-Heyting-Kolmogorov interpretation of linear logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 718 date: jeudi 22 novembre 2018 heure: 10h30 salle: Salle 3052 nom: Stéphane Graham-Lengrand affiliation: LIX, CNRS titre: The intuitionistic calculus that was discovered 6 times ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 712 date: jeudi 15 novembre 2018 heure: 11h00 salle: Salle 3052 + Amphi Turing + 1016 nom: Eric Tanter, Flavien Breuvart, Shane Mansfield & Xavier Leroy affiliation: Chocola meeting in Paris titre: Salidou's day ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 681 date: vendredi 09 novembre 2018 heure: 09h30 salle: Salle 3052 nom: Pôle Preuves, Programmes Et Systèmes affiliation: titre: Journées 2018 ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 680 date: jeudi 08 novembre 2018 heure: 09h30 salle: Salle 3052 nom: Pôle Preuves, Programmes Et Systèmes affiliation: titre: Journées 2018 ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 673 date: jeudi 25 octobre 2018 heure: 10h30 salle: Salle 3052 nom: Carlo Spaccasassi affiliation: Microsoft Research Cambridge, Cambridge (United Kingdom) titre: Type-Based Analysis for Session Inference ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 654 date: jeudi 04 octobre 2018 heure: 10h30 salle: Salle 3052 nom: Adrien Guatto affiliation: IRIF titre: Towards A General Guarded Lambda-Calculus ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 653 date: jeudi 27 septembre 2018 heure: 10h30 salle: Salle 3052 nom: Thomas Streicher affiliation: TU Darmstadt titre: Simplicial sets inside cubical sets ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 620 date: jeudi 05 juillet 2018 heure: 10h45 salle: Salle 3052 nom: Jeremy Dubut affiliation: National Institute of Informatics Tokyo, Japan titre: Higher-Dimensional Automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 619 date: jeudi 28 juin 2018 heure: 10h30 salle: Salle 3052 nom: Olivier Hermant affiliation: CRI, Mines ParisTech titre: Intersection Types in Deduction Modulo Theory ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 607 date: jeudi 31 mai 2018 heure: 10h30 salle: Salle 3052 nom: Olivier Laurent affiliation: ENS Lyon titre: Balade entre logiques linéaires classiques et intuitionnistes ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 564 date: jeudi 29 mars 2018 heure: 14h00 salle: Salle 3052 nom: Valentin Blot affiliation: LRI titre: Realizability: denotational semantics for correctness ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 565 date: jeudi 29 mars 2018 heure: 10h30 salle: Salle 3052 nom: Guilhem Jaber affiliation: LIP titre: Model-checking contextual equivalence of higher-order programs with references. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 527 date: jeudi 22 février 2018 heure: 10h30 salle: Salle 3052 nom: Pierre-Marie Pédrot affiliation: Max Planck Institute for Software Systems, Saarbrücken, Germany titre: Failure is Not an Option, or The Curry-Howard-Shadok correspondence ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 522 date: jeudi 15 février 2018 heure: 10h30 salle: Salle 3052 nom: Prakash Panangaden affiliation: McGill University titre: Topology, Order and Causal Structure ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 513 date: jeudi 08 février 2018 heure: 10h30 salle: Salle 3052 nom: Vincent Laporte affiliation: IMDEA Software titre: Provably secure compilation of side-channel countermeasures: the case of cryptographic "constant-time" ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 523 date: jeudi 08 février 2018 heure: 10h30 salle: Salle 3052 nom: Séminaire Chocola affiliation: ENS Lyon titre: Rencontres Chocola de Février: Prakash Panangaden, Justin Hsu & Thomas Ehrhard ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 439 date: jeudi 25 janvier 2018 heure: 10h30 salle: Salle 3052 nom: Justin Hsu affiliation: University College of London titre: From Couplings to Probabilistic Relational Program Logics ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 362 date: jeudi 14 décembre 2017 heure: 10h30 salle: ENS Lyon nom: Séminaire Chocola affiliation: titre: ENS Lyon ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 413 date: jeudi 14 décembre 2017 heure: 10h30 salle: Salle 3052 nom: Juliusz Chroboczek affiliation: IRIF, Université Paris Diderot titre: Homenet, l'IETF, et le processus de normalisation ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 357 date: jeudi 07 décembre 2017 heure: 10h30 salle: Salle 3052 nom: Charles Grellois affiliation: Université Aix-Marseille titre: Linearity in Higher-Order Recursion Schemes ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 356 date: jeudi 23 novembre 2017 heure: 10h30 salle: Salle 3052 nom: Simon Castellan affiliation: Imperial College titre: The parallel intensionally fully abstract model for PCF ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 363 date: jeudi 09 novembre 2017 heure: 10h30 salle: ENS Lyon nom: Séminaire Chocola affiliation: titre: ENS LYon ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 316 date: jeudi 19 octobre 2017 heure: 10h30 salle: Salle 3052 nom: Martin Hyland affiliation: DPMMS, University of Cambridge titre: Understanding Computation in Game Semantics ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 254 date: jeudi 15 juin 2017 heure: 10h30 salle: Salle 3052 nom: Samuele Giraudo affiliation: Paris-Est Marne-la-Vallée titre: Découpage d'associativité généralisé ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 247 date: mardi 09 mai 2017 heure: 14h00 salle: Salle 3052 nom: Valentin Blot affiliation: Queen Mary University, London titre: An interpretation of system F through bar recursion ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 218 date: jeudi 27 avril 2017 heure: 10h30 salle: Salle 3052 nom: Bérénice Delcroix-Oger affiliation: Institut de Mathématiques de Toulouse titre: Des arbres sans ambiguités ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 242 date: jeudi 27 avril 2017 heure: 14h00 salle: Salle 3052 nom: Jeremy Siek affiliation: Indiana University titre: The state of the art in gradual typing ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 219 date: jeudi 20 avril 2017 heure: 10h30 salle: Salle 3052 nom: Jamie Vicary affiliation: Univ. of Oxford titre: Formalizing Compositional Proofs ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 217 date: jeudi 30 mars 2017 heure: 10h00 salle: Salle 3052 nom: Giovanni Bernardi affiliation: IRIF titre: Un, personne et cent mille: a meta theory for testing equivalences? ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 233 date: jeudi 30 mars 2017 heure: 11h15 salle: Salle 3052 nom: Daniela Petrisan affiliation: IRIF titre: Hybrid set-vector automata from a category-theoretic perspective ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 216 date: jeudi 23 mars 2017 heure: 10h30 salle: Salle 3052 nom: Thomas Leventis affiliation: Institut de Mathématiques de Marseille titre: Full Abstraction of the Probabilistic Böhm Trees ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 215 date: jeudi 16 mars 2017 heure: 10h30 salle: Salle 3052 nom: Charles Grellois affiliation: INRIA - Univ. Bologna (Italie) titre: Verifying properties of functional programs: from the deterministic to the probabilistic case ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 204 date: jeudi 23 février 2017 heure: 10h30 salle: Salle 3052 nom: Marcelo Fiore affiliation: University of Cambridge titre: An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 187 date: jeudi 26 janvier 2017 heure: 10h30 salle: Salle 3052 nom: Tarmo Uustalu affiliation: Tallinn University of Technology titre: Dynamic programming and coalgebras with sharing ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 188 date: mardi 10 janvier 2017 heure: 11h00 salle: Salle 3052 nom: Camell Kachour affiliation: IRIF titre: Sur des modèles algébriques d'infini-n-catégories faibles cubiques ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 152 date: jeudi 01 décembre 2016 heure: 10h30 salle: Salle 3052 nom: Julien Lange affiliation: Imperial College titre: Building Graphical Choreographies From Communicating Machines: Principles and Applications ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 131 date: jeudi 24 novembre 2016 heure: 10h30 salle: Salle 3052 nom: Thibaut Balabonski affiliation: LRI, Université Paris Sud titre: Optimisation de programmes C++ concurrents ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 132 date: jeudi 17 novembre 2016 heure: 10h30 salle: Salle 3052 nom: Bruno Barras affiliation: titre: Exposé repoussé à début 2017 ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 137 date: jeudi 03 novembre 2016 heure: 10h30 salle: Salle 3052 nom: Guilhem Jaber affiliation: IRIF titre: Operational Nominal Game Semantics ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 119 date: jeudi 06 octobre 2016 heure: 10h30 salle: Salle 3052 nom: Giulio Manzonetto affiliation: LIPN titre: New Results on Morris's Observational Theory --- The Benefits of Separating the Inseparable ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 118 date: jeudi 29 septembre 2016 heure: 10h30 salle: Salle 3052 nom: Vincent Danos affiliation: ENS titre: Bayesian inversion by ω-complete cone duality ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 76 date: jeudi 02 juin 2016 heure: 10h30 salle: Salle 3052 nom: Ugo Dal Lago affiliation: Univ. Bologna titre: Infinitary Lambda Calculi from a Linear Perspective ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 54 date: jeudi 21 avril 2016 heure: 10h30 salle: Salle 3052 nom: Silvia Ghilezan affiliation: Université de Novi Sad titre: Preciseness of Subtyping on Intersection and Union Types ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 13 date: mercredi 30 mars 2016 heure: 10h30 salle: Salle 3052 nom: Guillaume Munch-Maccagnoni affiliation: Cambridge Computer lab titre: Enriched-adjunction models and polarisation for modelling effects and resources ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 12 date: jeudi 24 mars 2016 heure: 10h30 salle: Salle 3052 nom: Pawel Sobocinski affiliation: University of Southampton titre: TBA ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 11 date: jeudi 10 mars 2016 heure: 10h30 salle: Salle du Conseil nom: Thomas Seiller affiliation: Department of Computer Science, University of Copenhagen - DIKU titre: Complexity Constraints as Group Actions ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Proofs, programs and systems seminaire: pps id: 5 date: jeudi 14 janvier 2016 heure: 10h30 salle: Salle 3052 nom: Amar Hadzihasanovic affiliation: Oxford University titre: String diagrams and the algebra of entanglement ----