Jean-Jacques Lévy's Talks [back]

2012

• Joint Centre 2006-2012 (celebration of arrival of new Director Laurent Massoulié), Saclay, September, (PDF, PDF4, PPT )
• Sequentiality in Kahn-Macqueen networks and lambda-calculus (Macqueen Fest), Chicago, May, (PDF, PDF4)
• Strong Normalisation and Redex Creation in higher-order typed lambda-calculus, CEA list, April, (PDF, PDF4)

2011

• Evaluation seminar - Moscova, Paris, 23 March 2011 (PDF)
• GGJJ (revised by JJ), GGJJ event, Gérardmer, February (PDF, PPT, KEY)

2010

• Proofs, Security and Computational Sciences, The Joint Centres meeting, 5th anniversary of Cosbi, Trento, December (PDF, PPT)
• The MSR-INRIA Joint Centre, Microsoft Research Asia, Beijing, September (PDF, PPT)
• 2 talks on the λ-calculus at the 2nd Asian-Pacific Summer School on Formal Methods, Tsinghua University, August (HTML)
• Preuves de programmes et méthodes formelles, Microsoft TechDays, February (PDF, PPT)
• Un petit bogue, un grand boum, Ecole Normale Supérieure, January (HTML, PDF, Vidéo)

2009

• Lambda Calcul et Programmation, Collège de France, Seminar in Gérard Berry's Course, Paris, December (PDF, KEY, Vidéo)
• The MSR-INRIA Joint Centre, Microsoft Research Asia, Beijing; Institute of Software, Academy of Sciences, Beijing, December, (PDF)
• The MSR-INRIA Joint Centre, MSR Joint Centers meeting, Space Research Institute of Russian Academy of Sciences (IKI), Moscow, June, (PDF)
• "Combien d'Objets dans cette image?", Exposé aux professeurs de mathématiques, Académie de Versailles, Rocquencourt, June (PDF)
• The point on the MSR-INRIA Joint Centre, Visit of Rick Rashid, Orsay, June, (PDF)
• La coopération INRIA-MSR, Forum 2009, Ecole Polytechnique, Palaiseau, January, (PDF)

2008

• The MSR-INRIA Joint Centre, Barcelona Supercomputing Center (BST), University of Catalogna, Barcelona, December(PDF)
• The MSR-INRIA Joint Centre, Pôle El Chazala des Technologies de la Communication, Tunis, November (PDF)
• "Un petit bogue, un grand boum", Exposé aux professeurs de mathématiques, Académie de Versailles, Rocquencourt, October (PDF)
• "Un petit bogue, un grand boum", Unithé, INRIA, Saclay, September (PDF)
• The MSR-INRIA Joint Centre, Technical Advisory Board (TAB) meeting, Microsoft Research Cambridge, UK, June (PDF)
• The Moscova Research team, AERES, Rocquencourt, May (PDF)
• Calculabilité et Informatique, exposé aux élèves de terminale du lycée Jules Verne, Cergy-Pontoise, April (PDF)

2007

• Sharing in the Weak Lambda-Calculus, 60th Birthday of Henk Barendregt, Neijmegen, December (PDF)
• History based flow analysis in the lambda-calcululs, Nancy, November, (PDF)
• L'informatique en 4 temps, Médiatèque, Drancy, October (PDF)
• Le centre commun INRIA-MSR, ENSEEIHT, October (PDF)
• The Joint Centre, Visit of Craig Mundie, Saclay, September, (PDF)
• Small families, 60th Birthday of Gérard Huet, Ecole Normale Supérieure, July (PDF)
• Moscova 07, Comité des Projets, INRIA, Rocquencourt, Avril (PDF)
• Le Centre Commun de Recherche INRIA-Microsoft Research, ENST, April (PDF)
• The Microsoft Research-INRIA Joint Centre, opening day, Supélec, January, (PDF)

2006

• Les dominos de Wang (informatique théorique), Remise des prix du Kangourou, Université de Versailles St-Quentin, April (PDF)
• History based flow analysis in the lambda calculus, Symposium in honor of Robin Milner Ecole Polytechnique, November (PDF)
• History based flow analysis in the lambda calculus, IISc, Bangalore, February (PDF)

2005

• Sharing in the weak lambda-calculus, 60th Birthday of Jan-Willem Klop, CWI, Amsterdam, December (PDF)
• Implementation of Distribution in Process algebras, Discovery workshop, satellite of CONCUR, San Francisco, August (PDF)