Groupe de travail "Sémantique"

• 20 juin 2006
  
  Pierre Clairambault
  Cellularité et sémantique de jeux
  
  Ian Mackie (King's College, London)
  System T is linear
  


• 16 mai 2006
  Mai Gehrke (New Mexico)
  Generalized Kripke semantics for substructural logics
  


• 9 mai 2006
  Luca Fossati (Turin et PPS)
  Handshake games
  


• Mardi 7 mars 2006
  Daniele Varacca (Imperial College, London)
  Types, structures d'événements et le pi-calcul
  


• Mardi 14 fevrier 2006
  Giulio Manzonetto (Venezia et PPS)
  Visser versus Scott
  


• Mardi 17 janvier 2006: Séance double
  
  Lionel Vaux (IML)
  Un lambda-calcul algébrique
  
  Caroline Priou
  Etude d'un lambda-calcul non-déterministe
  


• Mardi 10 janvier 2006
  Benoit Valiron (Ottowa)
  A lambda calculus for quantum computation with classical control
  


• 13 decembre 2005
  René Guitart (Institut de Mathématiques)
  Aspects syntaxiques et sémantiques des types théoriques
  


• 6 decembre 2005
  Kohei Honda (Queen Mary, London)
  An observationally complete program logic for higher-order functions
  


• 29 novembre 2005
  Ugo Dal Lago
  Context semantics and implicit computational complexity
  


• Mardi 15 novembre 2005
  Lorenzo Tortora de Falco (Roma)
  Cliques obsessionnelles: vers une caracterisation semantique du temps borne
  


• 18 octobre 2005
  Valeriy Khakhanyan (Moscow)
  Intuitionistic set theory: some history and recent results
  


• 11 octobre 2005
  Claudia Faggian
  L-nets, parallel strategies and proof nets
  

• 7 juin 2005
  Alexandre Miquel
  Systèmes de types purs (PTS) et théorie des ensembles de Zermelo: un théorème d'équiconsistance
  


• 12 avril 2005
  Michel Schellekens (Cork)
  Towards a calculus for modular software timing
  


• 29 mars 2005
  Alexis Saurin (LIX)
  Preuves et refutations: une approche neutre
  


• 22 mars 2005
  Ross Duncan (Oxford et ENS)
  A categorical approach to quantum computing
  


• 8 mars 2005
  Christian Urban (Munich)
  Nominal reasoning in a theorem prover
  


• 21 fevrier 2005
  Jamie Gabbay (King's, London)
  A NEW calculus of contexts
  


• 8 fevrier 2005
  Alexandre Miquel
  Une introduction à la théorie de types de Martin-Loef (2)
  


• 1 fevrier 2005
  Alexandre Miquel
  Une introduction à la théorie de types de Martin-Loef (1)
  


• 25 janvier 2005
  Benjamin Leperchey
  Des monades (ou des comonades) pour mesurer le temps en appel par nom et appel par valeur
  


• 21 decembre 2004
  Simone Martini (Bologna)
  Tailoring Goedel's T to complexity classes
  


• 14 decembre 2004
  Q-day 1
  


• 30 novembre 2004
  Francois-Régis Sinot (LIX)
  Directeurs généraux
  
  Phil Scott (Ottowa et Oxford)
  Aspects catégoriques de GoI 1 (et 2)
  


• 19 octobre 2004
  Joachim de Lataillade
  Isomorphismes de types et modèles de jeux au second ordre
  


• 5 octobre 2004
  Benjamin Leperchey
  Un modèle concret pour l'allocation dynamique
  

• Mardi 6 Juillet
  Andrew W. Appel (Princeton)
  A Machine-Checked Soundness Proof for a Real Typed Assembly Language


• Mardi 29 Juin
  Gopalan Nadathur (University of Minnesota / LIX)
  The Metalanguage Lambda-Prolog and its Implementation


• Mardi 22 Juin
  Antonino Salibra (Venice)
  Universal algebra and lambda-models


• Mardi 15 Juin
  Paul Ruet (Marseille)
  Variétés d'ordres et classes de forcage autour d'une question de complexité


• Mardi 8 Juin
  Russ Harmer
  Une analyse de l'interaction innocente


• Mardi 1 Juin: Journée speciale consacrée à la Ludique (LIX)
  
  
• Mardi 18 Mai
  Bob Coecke (Oxford)
  Quantum, concretely, abstractly


• Mardi 4 Mai
  Jamie Gabbay (LIX)
  Nominal Terms, Existential Variables, and Mathematics with Holes


• Mardi 13 Avril
  Peter O'Hearn (London)
  Resources, Concurrency and Local Reasoning


• Mardi 30 Mars
  Martin Hyland (Cambridge)
  Modèles 2-catégoriques du lambda-calcul différentiel avec point fixe (2)


• Mardi 23 Mars
  Francesco Zappa Nardelli (Cambridge)
  New-HOPLA: un langage de processus non-déterministes d'ordre supérieur avec génération de nom; et sa sémantique dénotationnelle.


• Mardi 9 Mars
  Martin Hyland (Cambridge)
  Modèles 2-catégoriques du lambda-calcul différentiel avec point fixe (1)


• Mardi 2 Mars
  Alexandre Miquel
  Séparation en présence de filtrage


• Mardi 16 Décembre: deux exposés avant Noel
  
  Benjamin Leperchey
  Du temps et des jeux
  
  Mark-Oliver Stehr (University of Illinois at Urbana-Champaign)
  Cyclic Orders: A Foundation for Concurrent Synchronization Schemes


• Mardi 9 Décembre
  Russ Harmer
  Une invitation à la sémantique des jeux (2)


• Mardi 2 Décembre: Journée spéciale consacrée à la Ludique
  
  Dale Miller (INRIA Futurs)
  An overview of computation via proof search
  
  François Maurel
  Introduction à la ludique 1
  
  Alexis Saurin
  Vers une programmation ludique
  
  Claudia Faggian (Padova)
  Introduction to ludics 2: dynamics (and some perspectives)
  


• Mardi 25 Novembre
  Pierre Hyvernat (Marseille)
  Un modèle dénotationnel non déterministe de la logique linéaire


• Mardi 18 Novembre
  Alexis Saurin
  Un théorème de Böhm pour le lambda-mu-calcul


• Mardi 4 Novembre
  Russ Harmer
  Une invitation à la sémantique des jeux (1)


• Jeudi 23 Octobre (14h en salle 6C01)
  Giovanni Sambin (Padova)
  Invitation to the Basic Picture (2)


• Mardi 21 Octobre
  Giovanni Sambin (Padova)
  Invitation to the Basic Picture (1)