Section: Dissemination

Participations to conferences, Seminars, Invitations

Participations to conferences

• January, 3-10, G. Manzonetto attended the LFCS09 conference in Boca Raton (Florida, États-Unis). He gave a talk on “A relational model of a parallel and non-deterministic lambda calculus”

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

• July 8-10, 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 13-14, J.-J. Lévy participated to the Faculty Summit 2009, Microsoft Conference Center, Redmond, USA.

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

• September 1-4, J. Alglade and J. Planul participated to the 20th CONCUR conference, Bologne. J. Planul presented....

• Sep 21-22, N. Guts presented a paper “Reliable Evidence: Auditability by Typing” at the 14th European Symposium on Research in Computer Security (ESORICS), Saint-Malo.

Other Talks and Participations

• January, 9-30, F. Zappa Nardelli visited Purdue Univerity (États-Unis), for collaboration with Jan Vitek. He also gave lectures on "Introduction to the Coq Proof Assistant".

• February, 15-22, 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, 24-26, J.-J. Lévy participated to TechFest, Microsoft Research, Redmond, USA.

• Mar 9-11, J. Alglade and L. Maranget visited P. Sewell and S. Sekar at the Computer laboratory, Cambridge, UK.

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

• May, 3-8, 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 8-August 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 Gallium-Moscova seminar of INRIA Paris-Rocquencourt.

• June 3-5, 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, 11-12, J.-J. Lévy participated to a meeting of Microsoft Research Joint Centers at the Space Research Institute (IKI) in Moscow.

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

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

• August, 13-14, 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, 4-7, 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 12-December 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 12-17, 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 Church-Turing Thesis: Story and Recent Progress .

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