~~NOCACHE~~ ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 736 date: vendredi 07 décembre 2018 heure: 14h00 salle: Salle François Jacob, bâtiment Buffon nom: Pierre Cagne affiliation: IRIF titre: Towards a homotopical algebra of dependent types ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 729 date: vendredi 30 novembre 2018 heure: 14h30 salle: Salle 580F, Bâtiment Halle aux Farines nom: Lucas Boczkowski affiliation: IRIF titre: Search and Broadcast in Stochastic Environments, a Biological Perspective ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 721 date: vendredi 23 novembre 2018 heure: 14h00 salle: Laboratoire MAP5, 45 rue des Saint-pères, 7eme étage, salle du conseil nom: Léo Planche affiliation: IRIF titre: Décomposition de graphes en plus courts chemins et en cycles de faible excentricité ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 667 date: vendredi 19 octobre 2018 heure: 09h30 salle: Salle 580F (salle des thèses), Bâtiment Halle aux Farines nom: Marie Kerjean affiliation: IRIF titre: Reflexive spaces of smooth functions: a logical account for linear partial differential equations ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 651 date: jeudi 27 septembre 2018 heure: 15h30 salle: Salle 470E, Bâtiment Halle aux Farines nom: Pablo Rotondo affiliation: IRIF titre: Probabilistic studies in Number Theory and Word Combinatorics: instances of dynamical analysis ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 650 date: mardi 25 septembre 2018 heure: 14h00 salle: Salle 3052, Bâtiment Sophie Germain nom: Yann Hamdaoui affiliation: IRIF titre: Concurrency, References and Linear Logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 649 date: jeudi 20 septembre 2018 heure: 10h00 salle: 1828 (Olympe de Gouges) nom: Matthieu Boutier affiliation: titre: Routage sensible à la source ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 638 date: mercredi 19 septembre 2018 heure: 14h00 salle: Salle 3052, Bâtiment Sophie Germain nom: Laurent Feuilloley affiliation: IRIF titre: Certification locale en calcul distribué : sensibilité aux erreurs, uniformité, redondance et interactivité ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 647 date: mardi 18 septembre 2018 heure: 14h00 salle: 580F (Halle aux Farines) nom: Guillaume Claret affiliation: IRIF titre: Program in Coq ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 637 date: lundi 10 septembre 2018 heure: 14h00 salle: Amphi Turing, Bâtiment Sophie Germain nom: Luca Reggio affiliation: IRIF titre: Quantifiers and duality ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 633 date: jeudi 05 juillet 2018 heure: 14h30 salle: 580F (halle aux farines) nom: Guillaume Lagarde affiliation: IRIF titre: Contributions to Arithmetic Complexity and Compression ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 585 date: vendredi 27 avril 2018 heure: 14h00 salle: Salle 1021, Bâtiment Sophie Germain nom: Alex B. Grilo affiliation: IRIF titre: Quantum proofs, the Local Hamiltonian problem and applications ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 402 date: mardi 12 décembre 2017 heure: 14h30 salle: Salle 1009, Sophie Germain nom: Fabian Reiter affiliation: IRIF titre: Distributed Automata and Logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 377 date: jeudi 07 décembre 2017 heure: 14h30 salle: Amphi 10E, Halle aux Farines nom: Pierre Vial affiliation: IRIF titre: Non-idempotent typing operators, beyond the lambda-calculus ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 372 date: vendredi 01 décembre 2017 heure: 14h30 salle: Salle des Thèses, Halle aux Farines nom: Maxime Lucas affiliation: IRIF titre: Cubical categories for homotopy and rewriting ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 369 date: vendredi 17 novembre 2017 heure: 15h15 salle: Salle 153, Olympe de Gouges nom: Etienne Miquey affiliation: IRIF titre: Classical realizability and side-effects ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 368 date: mardi 14 novembre 2017 heure: 11h00 salle: Salle des Thèses, Halle aux Farines nom: Gabriel Radanne affiliation: IRIF titre: Tierless Web programming in ML ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 373 date: mardi 27 juin 2017 heure: 10h00 salle: Salle 255, Olympe de Gouges nom: Amina Doumane affiliation: IRIF titre: On the infinitary proof theory of logics with fixed points ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 374 date: vendredi 09 décembre 2016 heure: 14h00 salle: Salle des Thèses, Halle aux Farines nom: Cyrille Chenavier affiliation: IRIF titre: Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 375 date: mardi 11 octobre 2016 heure: 14h00 salle: Salle 1006, Sophie Germain nom: Wenjie Fang affiliation: IRIF titre: Aspects énumératifs et bijectifs des cartes combinatoires : généralisation, unification et application ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: PhD defences seminaire: these id: 376 date: vendredi 08 avril 2016 heure: 10h00 salle: Salle 2011, Sophie Germain nom: Charles Grellois affiliation: IRIF titre: Sémantique de la logique linéaire et model-checking d'ordre supérieur ----