Talks, Trips, Conferences...
2014
- POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 2014, San Diego, USA (programme committee member).
2013
- ITP 2013 - 4th International Conference on Interactive Theorem Proving. 22-26 July 2013, Rennes, France (programme committee member).
- TLCA 2013 - 11th International Conference on Typed Lambda Calculi and Applications. 26-28 June 2013, Eindhoven, Netherlands (programme committee member, author).
- FOSSACS 2013 - 16th International Conference on Foundations of Software Science and Computation Structures. 18-22 March 2013, Rome, Italy (programme committee member).
- Techfest. 4-9 March 2013. Redmond, Washington, USA.
- OCCP 2013 - 1st Workshop on Optimistic Cooperation in Concurrent Programming. 16 March 2013, Rome, Italy (co-organiser).
- PhD defence. Kasper Svendsen. Modular Specification and Verification for Higher-Order Languages with State. ITU Copenhagen. 4 February 2013 (external examiner).
- POPL 2013 - 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 23-25 January 2013, Rome, Italy (author).
2012
- Computer Laboratory Semantics Lunch. High Level Separation Logic for Low Level Code. 10 December 2012.
- PhD defence. Marc Lasson. Réalizabilité et Paramétricité dans les Systèmes de Types Purs. ENS Lyon. 20 November 2012 (juror).
- INRIA Evaluation meeting. Theme "Distributed Systems and Services". 9-11 October 2012, Rungis, Paris, France (evaluator).
- 17th Wessex Theory Seminar. 20 September 2012, Queen Mary, University of London.
-
LFMTP 2012 - 7th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. 9-15 September 2012, Copenhagen, Denmark (programme committee member).
- HOPE 2012 - 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects. 9 September 2012, Copenhagen, Denmark (author).
- ITP 2012 - 3rd International Conference on Interactive Theorem Proving. 13-16 August 2012, Princeton, New Jersey, USA (programme committee member).
- Microsoft Research Faculty Summit. 16-17 July 2012, Redmond, Washington, USA.
- LOLA 2012 - Workshop on Syntax and Semantics of Low-Level Languages. 24 June 2012, Dubrovnik, Croatia (author).
- Parametricity Workshop. 2 May 2012, University of Strathclyde (panel).
- Milner Symposium. 15-18 April 2012, University of Edinburgh.
- ESOP 2012 - 22nd European Symposium on Programming. 26 - 28 March 2012, Tallinn, Estonia (author).
-
Dagstuhl Seminar 12051. Analysis of Executables: Benefits and Challenges. 30 January - 3 February 2012, Wadern, Germany (participant).
- TLDI 2012 - 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 28 January 2012, Philadelphia PA, USA (steering committee member).
- POPL 2012 - 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 25-27 January 2012, Philadelphia, USA (author).
2011
- PhD disputation. Jan Hoffmann. Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis. LMU Munich. 14 October 2011 (reviewer).
- ICFP 2011 - 16th ACM SIGPLAN International Conference on Functional Programming. 19-21 September 2011, Tokyo, Japan (author).
- Domains X - 10th Workshop on Domains. 5-7 September 2011, Swansea, UK (invited speaker).
- IMLA 2011 - Workshop on Intuitionistic Modal Logics and Applications. July 2011, Nancy, France (programme committee member).
- LICS 2011 - 26th Annual IEEE Symposium on Logic in Computer Science. 21-24 June 2011, Toronto, Canada (author).
- LOLA 2011 - 2nd Workshop on Syntax and Semantics of Low-Level Languages. 20 June 2011, Toronto, Canada (programme committee member).
- Oregon Programming Languages Summer School. 16 June - 1 July 2011, Eugene, Oregon, USA (lecturer).
- Ludwig-Maximilians-Universität München, Germany. 11-14 April 2011.
- ESOP 2011 - 20th European Symposium on Programming. March-April 2011,
Saarbrücken, Germany (programme committee member).
- European Workshop on Computational Effects. 17/18 March 2011, Ljubljana, Slovenia (invited speaker).
- MSc Seminar. University of Leicester. 11 February 2011.
- OASIS - Oxford Advanced Seminar on Informatic Structures. Computing Laboratory, University of Oxford. 4 February 2011.
- TLDI 2011 - 6th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 25 January 2011, Austin, Texas, USA (steering committee member).
- University of Birmingham. Theory Seminar. 21 January 2011.
2010
- PhD defence. Santiago Zanella. Formal Certification of Game-Based Cryptographic Proofs. ENS, Paris. 9 December 2010 (juror).
- Computer Laboratory Semantics Lunch. 6 December 2010.
- Ludwig-Maximilians-Universität München, Germany. 18-22 October 2010.
- Dagstuhl Seminar 10351. Modelling, Controlling and Reasoning about State. 29 August - 3 September 2010, Wadern, Germany (co-organiser).
- LOLA 2010 - Workshop on Syntax and Semantics of Low Level Languages. 9 July 2010, Edinburgh, Scotland (co-chair).
- PPS, Université Paris 7. 14-16 June 2010.
- CONCERTO project final meeting. 11 June 2010, Torino, Italy (invited speaker).
- Microsoft Research Lab Tutorial. 13 May 2010. Programming Proofs and Proving Programs.
- FLOPS 2010 - 10th International Symposium on Functional and Logic Programming. 19-21 April 2010, Sendai, Japan (programme committee member).
- Max Planck Institute for Software Systems. 22-25 February 2010, Saarbrücken, Germany (distinguished lecturer).
- TLDI 2010 - 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 23 January 2010, Madrid, Spain (programme committee chair).
2009
- OOPSLA 2009 - ACM Conference on Object-Oriented Programming Systems, Languages and Applications. 25-29 October 2009, Orlando, Florida, USA (programme committee member).
- PPDP 2009 - 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. 7-9 September 2009, Coimbra, Portugal (author).
- WMM 2009 - 4th Informal ACM SIGPLAN Workshop on Mechanizing Metatheory. 4 September 2009, Edinburgh, Scotland (programme committee member, author).
- ICFP 2009 - 14th ACM SIGPLAN International Conference on Functional Programming. 31 August - 2 September 2009, Edinburgh (author).
- 2009 ACM SIGPLAN Workshop on ML. 30 August 2009, Edinburgh (panel).
- Workshop on Interactive Theorem Proving. 24-25 August 2009, Cambridge.
- Mitchfest Symposium in Honor of Mitchell Wand. 23-24 August 2009, Northeastern University, Boston, USA (author and fan).
- TPHOLs 2009 - 22nd International Conference on Theorem Proving in Higher Order Logics. 17-20 August 2009, Munich, Germany (author).
- Dagstuhl Seminar 09301. Typing, Analysis and Verification of Heap-Manipulating Programs. 19-24 July 2009, Wadern, Germany (participant).
- University of Central Florida. 7-8 May 2009.
- 88th Peripatetic Seminar on Sheaves and Logic. 4-5 April 2009, Cambridge.
- The IT University of Copenhagen, Denmark. 2-6 March 2009.
- TLDI 2009 - 4th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 24 January 2009, Savannah, Georgia, USA (author).
- POPL 2009 - 36th Annual ACM Symposium on Principles of Programming Languages. 21-23 January 2009, Savannah, Georgia, USA (programme committee member).
2008
- Choco Seminar. PPS, Université Paris 7. 4 December 2008. Formalizing some denotational semantics in Coq.
- PhD defence. Nicolas Tabareau. Modalités de Ressource et Contrôle en Logique Tensorielle. PPS, Université Paris 7. 3 December 2008 (juror).
- Computer Laboratory Semantics Lunch. 17 November 2008.
- Women@CL Lunch Talk. 12 November 2008.
- EPSRC ICT Prioritization Panel. 21 October 2008, Swindon.
- 2008 ACM SIGPLAN Workshop on ML. 21 September 2008, Victoria, Canada (steering committee member).
- Diagrams 2008 - 5th International Conference on the Theory and Application of Diagrams. 19-21 September 2008, Herrsching, Germany (poster coauthor).
- SBLP 2008 - 12th Brazilian Symposium on
Programming Languages. 27-29 August 2008, Fortaleza, Ceara, Brazil
(programme committee member).
- PCC 2008 - 2nd International Workshop on Proof-Carrying Code. 22 June 2008, Carnegie Mellon University, Pittsburgh, USA (programme committee member).
- PPS, Université Paris 7, France. 9-13 June 2008.
- Ludwig-Maximilians-Universität München, Germany. 19-23 May 2008.
- FLOPS 2008 - 9th International Symposium on Functional and Logic Programming. 14-16 April 2008, Ise, Japan (author).
- EWSCS 2008 - 13th Estonian Winter School in Computer Science. 2-7 March 2008, Palmse, Estonia (lecturer).
- Dagstuhl Seminar 08061. Types, Logics and Semantics for State. 3-8 February 2008, Wadern, Germany (co-organiser).
2007
- PhD viva. Nina Bohr. Advances in Reasoning Principles for Contextual Equivalence and Termination. IT University, Copenhagen. 19 December 2007 (external examiner).
- Computer Laboratory Semantics Lunch. 17 December 2007.
- MSR Workshop on Software Development Challenges. 5-6 November 2007, Kirkland, Washington, USA.
- ICFP 2007 - 12th ACM SIGPLAN International Conference on Functional Programming. 1-3 October 2007, Freiburg, Germany (programme committee member).
- PPDP 2007 - 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. 14-16 July 2007, Wroclaw, Poland (author x 2).
- Harvard University, USA. 1-5 June 2007.
- Mathematical Theories of Abstraction, Substitution and Naming in Computer Science. 26-28 May 2007, ICMS, Edinburgh, UK (participant).
- SBLP 2007 - 11th Brazilian Symposium on
Programming Languages. 23-25 May 2007, Natal, Rio Grande do
Norte, Brazil (programme committee member).
- Ludwig-Maximilians-Universität München, Germany. 15-19 April 2007.
- EPSRC ICT Prioritisation Panel. 1 March 2007, Swindon.
- Computer Laboratory Semantics Lunch. 19 February 2007. Formalizing and Verifying Semantic Type Soundness of a Simple Compiler.
- Dagstuhl Seminar 07051. Programming Paradigms for the Web: Web Programming and Web Services. 28 January - 2 February 2007, Wadern, Germany (participant).
- TLDI 2007 - 3rd ACM SIGPLAN Workshop on Types in Language Design and Implementation. 16 January 2007, Nice, France (author).
2006
- APLAS 2006 - Fourth Asian Symposium on Programming Languages and Systems. 8-10 November 2006, Sydney, Australia (author).
- CSL 2006 - 15th Annual Conference on Computer Science Logic. 25-29 September 2006, Szeged, Hungary (author).
- Strategic CAD Labs, Intel Corporation, Hillsboro, Oregon. 22 September 2006.
- 1st Informal ACM SIGPLAN Workshop on Mechanizing Metatheory. 21 September 2006, Portland, Oregon (speaker). Machine Obstructed Proof.
- JMLC 2006 - Joint Modular Languages Conference. 12-15 September 2006, Oxford, UK. (programme committee member).
- The IT University of Copenhagen, Denmark. 17/18 August 2006.
- PPDP 2006 - 8th International Conference on Principles and Practice of Declarative Programming. 10-12 July 2006, Venice, Italy. (programme committee member).
- SBLP 2006 - 10th Brazilian Symposium on Programming Languages. 15-17 May 2006, Itatiaia, Rio de Janeiro, Brazil. (programme committee member).
- Graduiertenkolleg Logik in der Informatik. Springschool on Logic in Computer Science. 20-23 April 2006, Fischbachau, Germany. (invited speaker).
- ESOP 2006 - European Symposium on Programming. 25 March - 2 April 2006, Vienna, Austria. (programme
committee member).
- Separation Logic Forum. 13/14 March 2006, Cambridge (speaker). Abstracting Allocation.
- University of Cambridge. Guest lecture on SML.NET in IB Compiler Construction course. 1 March 2006.
- Intel Workshop on Declarative Programming for Multicore Architectures. 15 January 2006, Charleston, USA.
- SPACE 2006 - 3rd Workshop on Semantics, Program Analysis and Computing Environments
for Memory Management. 14 January 2006, Charleston, USA (author).
2005
- PhD defence. Benjamin Leperchey. Sur la Notion d'Observation en Sémantique. PPS, Université Paris 7. 9 December 2005 (juror).
- PhD viva. Robert Atkey. Substructural Simple Type Theories for Separation and In-place Update. University of Edinburgh. 17 November 2005 (external examiner).
- APLAS 2005 - Third Asian Symposium on Programming Languages and Systems. 3-5 November 2005, Tsukuba, Japan (author).
- 2005 ACM SIGPLAN Workshop on ML 29 September 2005, Tallin, Estonia (PC cochair).
- Concurrent Programmers Speaking a New Language. Article on MSR website. June 2005.
-
Summer School on Program Analysis and Transformation. 6-10 June
2005, Copenhagen, Denmark (lecturer).Semantics of Program Analyses and Transformations.
- 3rd International Conference on .NET Technologies 30 May - 1 June 2005, Pilsen, Czech Republic (keynote speaker). Concurrency in Cw.
- SBLP 2005 - 9th
Brazilian Symposium on Programming Languages 23-25 May 2005,
Recife, PE, Brazil (programme committee member).
- University of Aalborg, Denmark. 12/13 May 2005. The Cw Language. Embedded Interpreters.
- The IT University of Copenhagen, Denmark. 2-4 May 2005. Relational Reasoning in a Nominal Semantics for Storage.
- TLCA '05 - Seventh International Conference on Typed Lambda Calculi and Applications 21 - 23 April 2005, Nara, Japan (author).
- Links
meeting at ETAPS 6 April 2005, Edinburgh. Functional programming and integrating models
in the world of the web.
- University of Kent. Seminar. 7 March 2005, Canterbury. Embedded
Interpreters.
- University of Cambridge. Graduate Minicourse on Monads. 17/22 February 2005.
- QMUL/Imperial Joint Theory Seminar. 26 January 2005,
London.
2004
- Computer Laboratory Semantics Lunch. 13/20 December
2004. Relational Reasoning in a Nominal Semantics for
Storage.
- Microsoft Research Christmas Lectures. 10 December 2004. What
Computers Can't Compute.
- Microsoft Academic Days. 22-24 November 2004, Milan, Italy
(speaker).
- East London Resource Meeting. 30 September 2004. Queen Mary,
University of London.
- IFL
'04 - 16th International Workshop on Implementation and
Application of Functional Languages 8-10 September 2004,
Lubeck, Germany (author).
- PPDP
2004 - 6th ACM-SIGPLAN International Conference on Principles and
Practice of Declarative Programming 24 - 26 August 2004,
Verona, Italy (author).
- WOOD 2004 - 2nd
Workshop on Object-Oriented Developments August 2004, London
(programme committee member).
- SBLP 2004 - 8th Brazilian
Symposium on Programming Languages 26-28 May 2004, Niteroi,
RJ, Brazil (programme committee member).
- East London Resource Meeting. 4 May 2004. Queen Mary,
University of London.
- Journées Académiques Microsoft Research 2004. 19-21 April 2004, Paris, France. (speaker).
- Imagine Cup Event. 6 April 2004, St John's College, Cambridge. (speaker).
- University of Oxford. Seminar 18 March 2004.
- POPL 2004 - 31st ACM Symposium on Principles of Programming Languages 14-16 January 2004, Venice, Italy (author).
2003
- University of Bath. Logic Seminar. 11 December 2003.
- University of Cambridge Computer Science Tripos part II. Types. 8 lectures beginning 17 November 2003. Lecture Notes: pdf ps
- QMUL/Imperial Joint Theory Seminar. 5 November 2003.
- Queens' College Academic Saturday. 11 October 2003. Fifty years of telling computers what to do: the evolution of programming languages.
- GALT'03 - Grids and Applied Language Theory 16-17 October 2003, Edinburgh. Slides.
- Workshop on Process Compensation. 25-26 September 2003, Cambridge.
- Computer Lab Semantics Lunch. 14 July 2003. Relational Correctness Proofs for Static Analyses and Program Transformations.
- Visual Studio Integration Workshop, Cambridge. 25 June 2003.
- 7th Brazilian Symposium on Programming Languages 28-30 May 2003, Ouro Preto, Brazil (invited speaker). Multilanguage Interoperability: Semantics, Pragmatics and Prospects. Slides.
- JMLC 2003 Joint Modular Languages Conference. 24-27 August 2003, Klagenfurt, Austria (programme committee member).
- Jornadas Académicas Microsoft Research 12-14 May 2003, Madrid, Spain (speaker).
- FutureTech 2003. MSR Press and Analysts days. 10-11 April 2003. Cambridge, UK (speaker).
- APPSEM-II Workshop. 26-28 March 2003, Nottingham.
- Theory
Seminar University of Birmingham. 21 February 2003.
2002
- PPS
(Preuves, Programmes et Systemes) Seminar. 12 December 2002,
Paris.
- Computer Laboratory supporters slub evening seminar. 5 December 2002. Open Source Middleware, Run Time Systems and .NET
- PROLE 2002 Programming Languages Conference. 22 November 2002, Madrid, Spain (invited speaker). Embedded Interpreters.
- Copenhagen Programming Languages Seminar 21 November 2002. Polyphonic C#.
- Functional Design and Programming Course.
IT University, Copenhagen, Denmark. Guest Lecture on SML.NET. 20 November 2002.
- FICS 2002. Workshop on Fixed Points in Computer Science. 20-21 July 2002, Copenhagen, Denmark (author). (Powerpoint)
- ECOOP 2002. European Conference on Object-Oriented Programming, Malaga, Spain. 10-14 June 2002 (author).
- Microsoft Research Friday talk 19 April 2002. A small part of
what you should know about continuations, but were too afraid to
ask. (Powerpoint)
- .NET Day. Humboldt University, Berlin. 22 March 2002 (speaker). Powerpoint: Polyphonic C#, SML.NET
- .NET Day. University of Stuttgart. 20 March 2002 (speaker). Powerpoint: .NET Language Research at MSR Cambridge
- .NET Day. University of Bologna. 19 March 2002 (speaker). Powerpoint: .NET Language Research at MSR Cambridge
- QMW/Imperial Joint Theory Seminar. 27 February 2002. Modern Concurrency Abstractions for C#.
- University of Leicester, Department of Mathematics and Computer Science. Seminar. 1 February 2002. Modern Concurrency Abstractions for C#.
- FOOL
9 Ninth International Workshop on Foundations of
Object-Oriented Languages (FOOL). January 2002 (author).
2001
2000
1999
- QMW/Imperial Theory Seminar 17 November
1999. Monads, Effects and Transformations.
- Queens'
College Academic Saturday, 16 October 1999. What Computers
Can't Compute (Powerpoint).
- HOOTS'99 The 3rd International Workshop on
Higher Order Operational Techniques in Semantics,
September/October 1999 (author).
- ICFP'99 The
4th International Conference on Functional Programming, Paris,
September 1999 (author).
- CTCS'99, the
8th Conference on Category Theory and Computer Science. Edinburgh,
September 1999 (programme committee member).
- Dagstuhl Seminar 99341. Linear Logic and Applications. 22-27 August 1999, Wadern, Germany
(participant).
- WoLAM'99, the second Workshop on Logical
Abstract Machines in Birmingham in July 1999 (invited
speaker).
- Computer Lab Semantics Lunch 22nd March 1999. Interlanguage Working Without Tears.
1998
- Transformation'99 Working Group. 25th November/2nd December 1998. Effects and Monads.
- ICFP '98 - 3rd International Conference on Functional Programming, Baltimore, September 1998 (author).
- APPSEM Meeting. September 1998, Pisa, Italy.
- Theory Seminar, University of Birmingham. 4 September 1998. The MLj Compiler.
- MathFIT Instructional Meeting on Recent Advances in Foundations for Concurrency. July 1998, Imperial College, London (invited speaker).
1997
- IFL '97 9th International Workshop on Implementation of Functional Languages, University of St Andrews, September 1997. An Optimising SML to Java Compiler.