\noindent\begin{longtable}{lp{2cm}p{5cm}} & {\bf 2006-2007} & \\ Max Kanovich & Queen Mary, Univ. of London & Missing Opportunity: Light Linear Logic with Controlled Weakening \\ Kais Klai & \acs{LIPN} & An Incremental Modular Technique for Checking LTL-X Properties on Petri nets \\ Stefano Guerrini & Dipartimento di Informatica, Roma La Sapienza & Commutative Locative Quantifiers for Multiplicative Linear Logic \\ Luca Saiu & \acs{LIPN} & An introduction to compiler construction and functional programming through the implementation of GNU epsilon \\ Paolo Di Giamberardino & Univ. Rome & Jump from Parallel to Sequential Proofs: Additives \\ Micaela Mayero & \acs{LIPN} & Certification de Programmes d'Analyse Numérique (CerPAN) \\ Martin Hofmann & LMU München - Institut für Informatik & Correctness of program transformations with effects and regions (joint work with Nick Benton, Andrew Kennedy, Lennart Beringer) \\ Jean-Yves Marion & \acs{INPL} & Recursion Theorem, Information Theory, a theoretical travel in virus land \\ Paul Ruet & \acs{IML} & Dynamique discrète et structure des réseaux de régulation génétique \\ Frédéric Gilliers & \acs{LIP6} & Développement orienté modèle de systèmes répartis : L'expérience du projet MORSE \\ & {\bf 2005-2006} & \\ Paolo Coppola & Université de Udine, Italie & Elementary type assignment system for call-by-value lambda calculus \\ Cosimo Laneve & Université de Bologne, Italie & Web services foundations and PiDuce \\ Sana Hamdoun & \acs{LIPN} & \\ Mohamed Badri & Université Paris 5 & Construction et Maintenance des Entrepôts de Données Hétérogènes \\ Benoit Valiron & Université d'Ottawa & A lambda calculus for quantum computation with classical control\\ Sebastien Bardin & \acs{LSV}, \textsc{ens} Cachan & Theorie et pratique de l'acceleration\\ Paulin Jacobé de Naurois & \acs{LIPN} & Une Mesure d'Espace pour le Calcul BSS sur les Réels\\ Jean-Yves Moyen & \acs{LIPN} & Analyse de programmes et complexité implicite \\ Emmanuel Beffara & \acs{PPS}, Université Paris 7 & Réalisabilité concurrente\\ Ugo Dal Lago & Università degli Studi di Bologna, Italie & An Invariant Cost Model for the Lambda Calculus\\ Jean-Yves Girard & \acs{IML}, Marseille GdI dans les algèbres de von Neuman\\ Claudia Faggian & Universita' degli Studi di Padova & L-nets, parallel strategies and proof-nets\\ Kazushige Terui & National Institute of Informatics, Tokyo & Towards a semantic characterization of cut-elimination\\ & {\bf 2004-2005} & \\ Harry Mairson & Brandeis University, \textsc{usa} & Transitive closure and type inference: normalization and linear logic\\ Marco Pedicini & \acs{CNR}, Italie & On the number of provable formulas\\ Max Kanovitch & Queen Mary University of London, UK & How Logic helps to resolve specific problems in combinatorics, and remove the mistery of Euler-Glaisher's map\\ Juliusz Chroboczek & \acs{PPS}, Université Paris 7 & Passage de continuations pour le « C », applications à la programmation concurrente \\ Christophe Fouqueré & \acs{LIPN} & \\ Jean-Vincent Loddo & \acs{LIPN} & Websicola, un prototype de langage pour sites et services web\\ Jonathan Billington & University of South Australia & Modelling and Analysis of TCP's Connection Management Procedures\\ Sylvain Rampacek & \textsc{lamsade} et université de Reims & A formal semantics for Web services interaction\\ Fabrice Kordon & LIP6 & \\ Laure Petrucci & \acs{LIPN} & \\ Nicolas Treves & \textsc{cnam} & Petri nets normalisation: the ISO/IEC 15909 status\\ Ross Duncan & \textsc{ens} et Oxford university & A Categorical Approach to Quantum Computing\\ Pablo Arrighi & \textsc{imag} & Linear-algebraic lambda calculus\\ Jérôme Leroux & \textsc{Inria} & The convex hull of a Number Decision Diagram is a computable polyhedron\\ Kaïs Klai & \textsc{labri} & Réseaux de Petri : vérification modulaire et symbolique\\ Laure Petrucci & \acs{LIPN} & Transforming Coloured Petri Nets to Counter systems for Parametric Verification: A Stop-and-Wait Protocol Case study\\ Pierre Boudes & \acs{IML} & Conjectures combinatoires sur les arbres en sémantique des preuves\\ Paul-André Melliès & \acs{PPS}, université Paris 7 & Asynchronous games: an innocent model of linear logic\\ Jacqueline Castaing & \acs{LIPN} & Motifs musicaux: une analyse en logique linéaire\\ Simone Martini & Università di Bologna, Italie & Introduction to optimal reduction (1)\\ Simone Martini & Università di Bologna, Italie & Introduction to optimal reduction (2)\\ Simone Martini & Università di Bologna, Italie & Tailoring Goedel's T to complexity classes\\ Thomas Ehrhard & \acs{IML}, Marseille & Développement de Taylor des lambda-termes et uniformité\\ Virgile Mogbil & \acs{LIPN} & Modules et programmation logique\\ Micaela Mayero & \acs{LIPN} & Une interface entre Coq et Maple: application à une procedure d'élimination des quantificateurs pour les ACFs\\ Gérard Duchamp & \acs{LIPN} & Quelques interactions entre l'Informatique et les autres Sciences\\ & {\bf 2003-2004} & \\ Jean-Vincent Loddo & \acs{LIPN} & Présentation du projet Hyper-Learning\\ Max Kanovitch & professeur invité du \acs{LIPN} & Rewriting Proofs for Relevant Bijections Between Partitions, or How to Remove the Mystery of Euler-Glaisher Bijections\\ Dominique Duval & \textsc{imag} & Un point de vue sur la surcharge et le sous-typage\\ Charles Lakos & University of Adelaide, Australie & Experiments in Modular Analysis of Petri Nets\\ Paul Ruet & \acs{IML}, Marseille & Problèmes de complexité sur les ordres cycliques et les variétés d'ordres\\ Francesco Zappa Nardelli & University of Cambridge, UK & new-HOPLA --- a higher order process language with name generation\\ Glynn Winskel & University of Cambridge Computer Laboratory, UK & Domain Theory for Concurrency\\ Patrick Baillot & \acs{LIPN} & Le lambda-calcul soft: un langage pour le calcul en temps polynomial\\ Jean-Yves Moyen & \acs{Inria} & Analyse de la complexité implicite\\ Pierre Boudes & \acs{IML}, Marseille & Desseins, stratégies et cliques\\ Sylvain Lippi & \acs{IML}, Marseille & Pratique des réseaux d'interaction\\ Claudia Faggian & Università degli Studi di Padova, Italie & Ludics: observations and (concurrent) perspectives\\ Sébastien Bardin & \acs{LSV}, \textsc{ens} de Cachan & FAST :vérification de systèmes à compteurs par accélération\\ Jean-Vincent Loddo & \acs{LIPN} & Généralisation des jeux combinatoires à deux joueurs et applications aux langages de programmation logiques\\ Laure Petrucci & \acs{LIPN} & Formal Specification and Analysis of Avionics Mission Systems\\ & {\bf 2002-2003} & \\ Lionel Khalil & \acs{LIENS}, Paris & Généralisation des réseaux d'interaction avec l'agent amb de McCarthy: propriétés et applications\\ Max Kanovitch & University of Pennsylvania, \textsc{usa} & Why did Briareus succeed in doing what the modern planners fail, or Coping polynomially with numerous but identical elements\\ Kazushige Terui & National Institute of Informatics, Japon & Light affine set theory: a naive set theory of polynomial time\\ Denis Béchet & \acs{Inria} & Standardisation des interfaces des modules de MLL\\ Lorenzo Tortora de Falco & Universita Roma Tre, Italie & Logique linéaire et logique classique (exposé introductif)\\ Dominique Laurent & \textsc{li} - Université de Tours & Maintenance des entrepôts de données\\ Dale Miller & \acs{Inria} Futurs , Ecole Polytechnique & Encryption as an abstract data type\\ Christophe Fouqueré & \acs{LIPN} & Extension en théorie des graphes de la ludique. Application à la modélisation de la concurrence stricte\\ Marc Aiguier & Laboratoire de Méthodes Informatiques, Université d'Evry Val d'Essonne & Une axiomatisation de la réécriture\\ Virgile Mogbil & \acs{LIPN} & Modules et biorthogonalité\\ Kazem Lellahi & \acs{LIPN} & Transformation d'état, un point de vue algébrique\\ Virgile Mogbil & \acs{LIPN} & Modules pour la logique non commutative (multiplicative)\\ Jean-Yves Girard & \acs{IML}, Marseille & Entre Logique et Quantique\\ Francois Maurel & \acs{PPS}, université Paris 7 & Ludique probabiliste\\ Thierry Joly & \acs{IUT} de Villetaneuse & Lambda-définissabilité et génération de types\\ Kazem Lellahi & \acs{LIPN} & Un Point de vue Algébrique de Transformation d'Etat, application aux bases de données \end{longtable}