Section: Dissemination
Participations to conferences, Seminars, Invitations
Participations to conferences

January, 310, G. Manzonetto attended the LFCS09 conference in Boca Raton (Florida, ÉtatsUnis). He gave a talk on “A relational model of a parallel and nondeterministic lambda calculus”

January 1923, J. Alglade, P.M. Deniélou and F. Zappa Nardelli participated to the 36th ACM POPL conference, Savannah, Georgia.

July 810, P.M. Deniélou, J. Leifer, J.J. Lévy, J. Planul attended the 22nd IEEE Computer Security Foundations Symposium (CSF), Port Jefferson, New York. P.M. Deniélou presented the paper “Cryptographic Protocol Synthesis and Verification for Multiparty Sessions”.

July 1314, J.J. Lévy participated to the Faculty Summit 2009, Microsoft Conference Center, Redmond, USA.

August, 2338, G. Manzonetto attended the MFCS09 conference in Novy Smokovek (Slovakia). He gave a talk on “A general class of models of ”.

September 14, J. Alglade and J. Planul participated to the 20th CONCUR conference, Bologne. J. Planul presented....

Sep 2122, N. Guts presented a paper “Reliable Evidence: Auditability by Typing” at the 14th European Symposium on Research in Computer Security (ESORICS), SaintMalo.
Other Talks and Participations

January, 930, F. Zappa Nardelli visited Purdue Univerity (ÉtatsUnis), for collaboration with Jan Vitek. He also gave lectures on "Introduction to the Coq Proof Assistant".

February, 1522, G. Manzonetto attended the kickoff meeting of the project CONCERTO in Bologna. He gave a talk on “From lambda calculus to universal algebra, and back”.

February, 2426, J.J. Lévy participated to TechFest, Microsoft Research, Redmond, USA.

Mar 911, J. Alglade and L. Maranget visited P. Sewell and S. Sekar at the Computer laboratory, Cambridge, UK.

March, 913, G. Manzonetto and F. Zappa Nardelli visited the Computer Laboratory of the University of Cambridge for collaboration with Peter Sewell.

May, 38, G. Manzonetto visited Barendregt and Klop at Nijmegen and Amsterdam (Holland). He gave a talk on “Models and theories of lambda calculus” at Vrije Universiteit and a talk on “Applying universal algebra to lambda calculus” at Radboud University.

May 8August 8, N. Guts was intern at Microsoft Research, Cambridge (Work with K. Bhargavan, A. Gordon and C. Fournet).

May 25, F. Zappa Nardelli gave a talk on “Integrating Typed and Untyped Code in a Scripting Language” at the GalliumMoscova seminar of INRIA ParisRocquencourt.

June 35, F. Zappa Nardelli attended the fourth meeting of the ANR ParSec Project at IRISA, Rennes. He gave a talk on “Integrating Typed and Untyped Code in a Scripting Language”.

June, 1112, J.J. Lévy participated to a meeting of Microsoft Research Joint Centers at the Space Research Institute (IKI) in Moscow.

June, 2529, F. Zappa Nardelli attended the EC2 workshop in Grenoble. He gave a talk on “Memory Models must be Rigourous”.

August, 416, J. Planul attended the Marktoberdorf summer school on “Logics and Languages for Reliability and Security”, Martkoberdorf, Germany.

August, 1314, G. Manzonetto gave a talk on “Applying universal algebra to lambda calculus” at the University of Leicester.

September, 3, G. Manzonetto gave a talk on “A relational model of lambda calculus, and beyond” at the University of Edinburgh.

October, 47, F. Zappa Nardelli visited the Computer Laboratory of the University of Cambridge for collaboration with Peter Sewell.

October, 6, K. Bhargavan, J. Leifer, J. Planul gave demos of research made within our collaboration with Microsoft Research, in presence of S. Ballmer, CEO MS, amd V. Pécresse, Minister of Research, at the inauguration day of the new MS building in Paris,

October 12December 4, J.J. Lévy visited Tsinghua University in Beijing (group of J.P. Jouannaud). He attended the TAB (Technical Advisory Board) meeting and the workshop on Verified Software at Microsoft Research Asia. He gave a talk at the Institute of Software of the Academy of Science.

October 22, F. Zappa Nardelli gave a talk on “Integrating Typed and Untyped Code in a Scripting Language” at PPS, Paris 7.

November 24, J. Alglade gave a talk at the PPS laboratory, U. of Paris 7, on Weak Memory Models .

December 4, J. Alglade gave a talk at the U. of Singapore, on Weak Memory Models , while visiting Aquinas Hobor.
Visits

November 1217, Suresh Jagannathan visited Rocquencourt for collaboration with F. Zappa Nardelli. He gave a talk on “Serializability Enforcement for Concurrent ML”.

November 2, J. Leifer hosted Yuri Gurevich (Microsoft Research) and organised his talk jointly with LIX The ChurchTuring Thesis: Story and Recent Progress .

November 29December 2, Tobias Wrigstad visited Rocquencourt for collaboration with F. Zappa Nardelli.