~~NOCACHE~~ ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 745 date: mardi 08 janvier 2019 heure: 10h30 salle: Salle 3052 nom: Jean Bénabou affiliation: titre: Les multiples facettes de la « construction de Grothendieck » ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 743 date: mardi 04 décembre 2018 heure: 11h20 salle: Amphi Turing, Bâtiment Sophie Germain nom: Eric Degiuli affiliation: ENS titre: Random Language Model: a path to principled complexity ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 722 date: lundi 26 novembre 2018 heure: 10h45 salle: Salle 3052 nom: Hendrik Maarand affiliation: Tallinn University of Technology titre: Derivatives of Existentially Regular Trace Languages ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 698 date: mardi 06 novembre 2018 heure: 10h30 salle: Salle 3052 nom: Rick Blute affiliation: University of Ottawa titre: Finiteness spaces and generalized power series ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 674 date: mardi 16 octobre 2018 heure: 10h30 salle: Salle 3052 nom: Thomas Ehrhard affiliation: IRIF titre: Une remarque sur les espaces cohérents probabilistes et la distance opérationnelle entre les programmes ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 643 date: mardi 18 septembre 2018 heure: 10h00 salle: Salle 3052 nom: Paul-André Mellies affiliation: IRIF titre: Template games: a model of differential linear logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 644 date: mardi 18 septembre 2018 heure: 11h00 salle: Salle 3052 nom: Jean-Simon Lemay affiliation: University of Oxford titre: Differential Categories Revisited ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 586 date: mardi 15 mai 2018 heure: 11h00 salle: Salle 3052 nom: Tarmo Uustalu affiliation: Reykjavik University and Tallinn University of Technology titre: Nested and labelled sequent calculi for bi-intuitionistic propositional logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 533 date: mardi 20 février 2018 heure: 11h00 salle: Salle 3052 nom: Shin-Ya Katsumata affiliation: National Institute of Informatics, Tokyo titre: Codensity liftings of monads ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 434 date: mercredi 17 janvier 2018 heure: 10h00 salle: Salle 3052 nom: Luc Pellissier affiliation: ENS Lyon titre: Intersection Types, Linear Approximations and the Grothendieck construction ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 435 date: mercredi 17 janvier 2018 heure: 11h00 salle: Salle 3052 nom: Soichiro Fujii affiliation: National Institute of Informatics (NII, Tokyo) titre: A unified framework for notions of algebraic theory ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 411 date: mardi 05 décembre 2017 heure: 10h30 salle: Salle 3052 nom: Kenji Maillard affiliation: INRIA et ENS titre: F* : Dijkstra-monads at work ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 338 date: mercredi 29 novembre 2017 heure: 10h30 salle: Salle 3052 nom: Simona Paoli affiliation: University of Leicester titre: n-Fold models of weak n-categories ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 337 date: mardi 21 novembre 2017 heure: 10h30 salle: Salle 3052 nom: John Baez affiliation: UCLA Riverside titre: Compositionality in Network Theory ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 151 date: mardi 07 novembre 2017 heure: 10h30 salle: Salle 3052 nom: Tobias Heindel affiliation: Université de Leipzig titre: Formal language theory beyond trees and forests ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 325 date: mardi 31 octobre 2017 heure: 10h30 salle: Salle 3052 nom: Nicolas Behr affiliation: IRIF titre: Combinatorial Hopf algebras and rewriting: the rule algebra framework ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 290 date: jeudi 31 août 2017 heure: 14h00 salle: Salle 3052 nom: Zoran Petric affiliation: Mathematical Institute, Academy of Sciences, Belgrade titre: Frobenius spheres ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 289 date: mardi 18 juillet 2017 heure: 14h00 salle: Salle 3052 nom: Noam Zeilberger affiliation: University of Birmingham titre: Some bridges between lambda calculus and graphs on surfaces ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 284 date: vendredi 30 juin 2017 heure: 16h30 salle: Salle 3052 nom: Niccolò Veltri affiliation: Laboratory of Software Science, Tallinn titre: Partiality and container monads ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 268 date: mardi 13 juin 2017 heure: 11h00 salle: Salle 2012 nom: Elaine Pimentel affiliation: Universidade Federal do Rio Grande do Norte (Brasil) titre: A uniform framework for substructural logics with modalities ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 203 date: mardi 28 février 2017 heure: 11h00 salle: Salle 3052 nom: Ran Chen affiliation: Inria titre: Strongly Connected Components in graphs, formal proof of Tarjan1972 algorithm ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 182 date: mardi 24 janvier 2017 heure: 11h00 salle: Salle 3052 nom: Arnaud Spiwack affiliation: Tweag I/O titre: Retrofitting linear types ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 184 date: vendredi 13 janvier 2017 heure: 14h00 salle: Salle 3052 nom: Tarmo Uustalu affiliation: Tallinn University of Technology titre: Interaction morphisms ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 165 date: mardi 10 janvier 2017 heure: 11h00 salle: Salle 3052 nom: Fanny He affiliation: Université de Bath, UK titre: The atomic lambda-mu-calculus ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 169 date: mercredi 21 décembre 2016 heure: 11h00 salle: Salle 3052 nom: Victoria Lebed affiliation: Trinity College, Dublin titre: Que savent les tresses sur les tableaux de Young ? ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 170 date: mardi 20 décembre 2016 heure: 11h00 salle: Salle 3052 nom: Clovis Eberhart affiliation: LAMA, Chambéry titre: Séquences justifiées et diagrammes de cordes : deux approches de la sémantique de jeux concurrents ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 153 date: mardi 06 décembre 2016 heure: 11h00 salle: Salle 3052 nom: Yann Régis-Gianas affiliation: IRIF titre: Explaining Program Differences Using Oracles ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 140 date: mardi 15 novembre 2016 heure: 11h00 salle: Salle 3052 nom: José Espírito Santo affiliation: University of Minho titre: Call-by-name, call-by-value and intuitionistic logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 135 date: mardi 08 novembre 2016 heure: 11h00 salle: Salle 3052 nom: Gustavo Petri affiliation: IRIF titre: Safe and Scalable Cloud Programming ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 127 date: mardi 18 octobre 2016 heure: 10h30 salle: Salle 3052 nom: Pablo Barenbaum affiliation: Université de Buenos Aires - CONICET titre: Finite Family Developments for the Linear Substitution Calculus ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 128 date: mardi 18 octobre 2016 heure: 11h30 salle: Salle 3052 nom: Masahito Hasegawa affiliation: Research Institute in Mathematical Sciences (RIMS) titre: Traced star-autonomous categories are compact closed ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 81 date: mardi 05 juillet 2016 heure: 11h00 salle: Salle 3052 nom: Shane Mansfield affiliation: IRIF titre: Empirical Models and Contextuality ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 73 date: mardi 07 juin 2016 heure: 11h00 salle: Salle 3052 nom: Thomas Leventis affiliation: I2M Marseille titre: Probabilistic lambda-theories ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 83 date: mardi 07 juin 2016 heure: 10h00 salle: Salle 3052 nom: Antoine Allioux affiliation: IRIF titre: Krivine machine and Taylor expansion in a non-uniform setting ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 44 date: mardi 17 mai 2016 heure: 11h00 salle: Salle 3052 nom: Daniel Leivant affiliation: Indiana University Bloomington titre: Syntax directed coproofs for Propositional Dynamic Logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 50 date: jeudi 07 avril 2016 heure: 16h00 salle: Salle 3052 nom: Flavien Breuvart affiliation: INRIA Focus (Université de Bologna, IT) titre: L'encodage probabiliste: vers une formalisation systématique des langages probabilistes, déterministiques et potentiellement divergents. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Semantics seminaire: semantique id: 38 date: mardi 29 mars 2016 heure: 10h30 salle: Salle 3052 nom: Andrew Polonsky affiliation: IRIF titre: Interpreting infinite terms ----