Groupe de Travail: Sémantique et Réalisabilité

• 9 juin 2009
  Phil Scott (Ottowa)
  Towards a Typed Geometry of Interaction
  


• 26 mai 2009
  Luca Paolini (Torino)
  Call-by-value lambda-calculus
  &
  Stephane Zimmerman
  Une approche opérationelle de la sémantique de l'appel-par-valeur intuitioniste et classique
  

• 31 mars 2009 (séance du séminaire PPS)
  Rick Blute (Ottawa)
  Smooth Spaces and Convenient Vector Spaces
  


• 24 mars 2009
  Giovanni Sambin (Padova)
  The notion of stream in constructive topology
  


• 17 mars 2009
  Raja Natarajan (TIFR)
  Vicious queues and vicious circles
  


• 10 mars 2009
  Lionel Vaux (Savoie)
  Primitive recursion in finiteness spaces
  &
  Masahiro Hamano (OIST)
  An Indexed System for Multiplicative Additive Polarized Linear Logic
  


• 3 mars 2009
  Guillaume Munch–Maccagnoni
  Focalisation et réalisabilité classique
  


• 24 février 2009
  Beniamino Accattoli
  Jumping Boxes: representing lambda-calculus boxes by jumps
  &
  Etienne Duchesne (IML)
  Une géometrie de l'interaction pour la logique linéaire, ou comment des familles de stratégies AJM permettent de calculer la sémantique relationelle des preuves sans affaiblissement
  


• 17 février 2009
  Pierre Clairambault
  Plus petits et plus grands points fixes en sémantique de jeux
  


• 10 février 2009
  Thomas Given-Wilson (Sydney)
  Combining discovery, privacy and symmetry using pattern matching
  

• 11 novembre 2008
  Jiri Adámek (Braunschweig)
  Semantics of higher-order recursion schemes
  


• 21 octobre 2008
  Thomas Ehrhard
  Espaces de finitude et topologies linéaires: quelques petites choses qu'on n'a pas le temps de dire d'habitude
  


• 14 octobre 2008: triple séance (11h, 14h et 15h30)
  Tim Porter (Bangor)
  Introduction à la théorie catégorique de la cohérence homotopique (2)
  &
  Mark Weber
  Tensor products from operads
  
&
Ignacio Lopez Franco
Formal dualities


• 7 octobre 2008
  Tim Porter (Bangor)
  Introduction à la théorie catégorique de la cohérence homotopique
  

• 24 juin 2008
  Eduardo Bonelli (Universidad Nacional de Quilmes)
  The Intensional Lambda Calculus
  


• 17 juin 2008
  Dominique Duval (LJK, Grenoble)
  Logiques diagrammatiques et effets de bord
  


• 10 juin 2008
  Tim Porter (Bangor)
  Catégories enrichies et modèles des éspaces évolutifs
  


• 3 juin 2008
  Barry Jay (Sydney)
  Typed pattern calculus: Beyond the Curry-Howard isomorphism
  


• 20 mai 2008
  Mehrnoosh Sadrzadeh
  Quantale endos as information modalities
  


• 6 mai 2008
  Christine Tasson
  Une version algébrique de la totalité
  


• 29 avril 2008
  Pierre Clairambault
  La sémantique des preuves dans la sémantique de jeux
  


• 22 avril 2008
  Luca Paolini (Torino)
  Linear Programming Languages
  

• 18 mars 2008
  Olivier Hermant
  Des pre-modeles aux modeles
  


• 4 mars 2008
  Alexandre Miquel
  Réalisabilité avec références
  


• 26 février 2008
  Noam Zeilberger (CMU)
  Focusing proofs and the Curry-Howard correspondence
  


• 22 janvier 2008: double séance sur les continuations délimitées
  
  Olivier Danvy (BRICS)
  Quelques motivations pour les continuations délimitées
  &
  Hugo Herbelin (LIX)
  Un cadre générale pour les continuations délimitées
  


• 15 janvier 2008
  Olivier Danvy (BRICS)
  Reduction-based and Reduction-free Normalization Functions and their Computation by Abstract Machines, Part I
  


• 8 janvier 2008
  Kazushige Terui (National Institute of Informatics, Japan / LIPN)
  Computational aspects of Ludics
  

• 11 décembre 2007
  Claudia Faggian
  Ludics with repetitions: HO style exponentials
  


• 6 novembre 2007
  Philippe Hesse
  Jeux sur les formules de la logique du premier ordre et protocoles réseaux (2)
  


• 23 octobre 2007
  Philippe Hesse
  Jeux sur les formules de la logique du premier ordre et protocoles réseaux (1)
  


• 18 septembre 2007
  Jean-Yves Girard (Marseille)
  Algèbres d'opérateurs et géometrie de l'interaction
  

• 19 juin 2007
  Simon Perdrix
  Une hiérarchie de sémantiques quantiques
  


• jeudi 14 juin 2007 (11h00, salle 0D1)
  David Baelde (LIX)
  Least and greatest fixed points in linear logic
  


• 12 juin 2007
  Michele Basaldella
  Exponentials in Ludics: How and at what price
  


• 5 juin 2007
  Giovanni Sambin (Padova)
  An algebraic road to predicativity
  


• 29 mai 2007
  Alexis Saurin (LIX)
  Une nouvelle preuve de la Focalisation en LL: les graphes de Focalisation.
  


• mercredi 23 mai 2007 (14h00, salle 5A92)
  Adam Bakewell (Birmingham)
  Lazy game-based model-checking
  


• 15 mai 2007
  Ugo Dal Lago (Bologna)
  Realizability models and implicit complexity
  


• mercredi 2 mai 2007
  Séverine Maingaud
  Un critère combinatoire pour la correction des réseaux MLL
  


• 24 avril 2007
  Michel Hirschowitz (CEA)
  Une solution catégorique pour la combinatoire des jeux
  

• 3 avril 2007
  Alexandre Miquel
  Un schéma d'extraction de Coq vers lambda-c
  


• 27 mars 2007
  Nicolas Tabareau
  Modalités de ressources en sémantique de jeux
  


• 20 mars 2007
  Philippa Gardner (London)
  Local Reasoning about Data Update
  


• vendredi 16 mars 2007 (11h00, salle 5A92)
  Paolo di Giamberardino (Roma)
  Jump from Parallel to Sequential Proofs: Additives
  


• 13 mars 2007
  Daniel de Carvalho
  Construire de nouveaux modèles de la logique linéaire
  


• 6 mars 2007
  Mauricio Guillermo
  Une description sémantique du backtracking
  


• 27 fevrier 2007
  Martin Hofmann (München)
  Correctness of program transformations with effects and regions
  


• 13 fevrier 2007
  Kohei Honda (London)
  Higher-order Hoare logic for computational effects
  


• vendredi 9 fevrier 2007 (au lieu du 20 fevrier)
  Claudia Faggian
  Game semantics and true concurrency: linear strategies and event structures
  


• 6 fevrier 2007
  Thomas Streicher (Darmstadt)
  Shoenfield = Gödel o Krivine
  


• 30 janvier 2007
  Sylvain Lebresne
  Un (autre) lambda calcul avec exceptions
  

• 19 décembre 2006
  Alexandre Miquel
  La correspondance de Curry-Howard dans les sciences expérimentales:
  vers une extension de la réalisabilité aux lois de la physique?
  


• 12 décembre 2006: double séance
  Philippe Hesse
  Comment raisonner dans les modèles de la réalisabilité, ou comment programmer
  &
  Mauricio Guillermo
  La continuation des fils
  


• 5 décembre 2006
  Lorenzo Tortora de Falco (Roma)
  Logique linéaire et normalisation forte
  


• 28 novembre 2006
  Mauricio Guillermo
  La méthode des fils
  


• 21 novembre 2006
  Delia Kesner
  The theory of explicit substitutions revisited
  


• 14 novembre 2006
  Giulio Manzonetto
  R.e. Lambda Theories versus Effective Domains
  


• 7 novembre 2006
  Sergey Slavnov
  Modeling linear logic by implicit functions
  


• 31 octobre 2006: GEOCAL à ENS Lyon
  


• 24 octobre 2006
  Olivier Hermant
  Elimination des coupures semantique en logique lineaire intuitionniste d'ordre superieur (avec des axiomes non logiques)
  


• 17 octobre 2006
  Glynn Winskel (Cambridge)
  Event structures with symmetry (continued)