Talks, Trips, Conferences...
2009
2008
- 2008 ACM SIGPLAN Workshop on ML. 21 September 2008, Victoria, Canada (steering committee member).
- 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).
- 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, Saarland, Germany (co-organiser).
2007
- PhD viva. Nina Bohr. 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, Saarland, 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 viva. Benjamin Leperchey. PPS, Université Paris 7. 9 December 2005 (juror).
- PhD viva. Robert Atkey. 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 on Linear Logic and Applications, August 1999
(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 in Pisa, September 1998.
- Theory Seminar, University of Birmingham 4th September 1998. The MLj Compiler.
- MathFIT Instructional Meeting on Recent Advances in Foundations for Concurrency at
Imperial College in July 1998 (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.