Talks, Trips, Conferences...
2020
- FoSSaCS 2020 - 23rd International Conference on Foundations
of Software Science and Computation Structures. 25 April - 1 May
2020, Dublin, Ireland (PC member).
- WGT 2020 - First SIGPLAN Workshop on Gradual Typing. January
2020, New Orleans, USA (PC member).
2019
- Martin Hofmann Memorial
Meeting. 13 July 2019, LMU Munich, Germany (speaker).
- ETH Professorial Selection Committee. 20-21 March 2019, Zurich, Switzerland.
- Verified Trustworthy Software Systems (VeTSS) funding
panel. 29 January 2019.
- ETH Professorial Selection Committee. 11 January 2019, Zurich, Switzerland.
- PhD viva. Adam Scibior. Formally Justified and Modular
Bayesian Inference for Probabilistic Programs. University of Cambridge. 9 January
2019 (external examiner).
2018
- Facebook
Testing and Verification Symposium 2018. 28-29 November 2018 (speaker).
- EUTypes 2018. 8-9 October 2018, Aarhus, Denmark (speaker).
- PPDP 2018 - 20th International Symposium on Principles and
Practice of Declarative Programming. 3-5 September 2018, Frankfurt
am Main, Germany (invited speaker).
- LMW 2018 - 3rd Logic Mentoring Workshop. 8 July 2018, Oxford
(panellist).
- LOLA 2018 - Workshop on Syntax and Semantics of Low-Level
Languages. 7 July 2018, Oxford (invited speaker).
- Dagstuhl Seminar 18201. Secure Compilation. 13-18 May 2018,
Wadern, Germany.
- ESOP 2018 - 27th European Symposium on Programming. 14-20
April 2018, Thessaloniki, Greece (PC member).
- Dagstuhl Seminar 18151. Program Equivalence. 8-13 April 2018,
Wadern, Germany.
- Verified Trustworthy Software Systems (VeTSS) funding panel. 1
February 2018.
2017
- LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science. 20-23 June 2017, Reykjavik, Iceland (PC member).
2016
- PhD defence. Marco Paviotti. Denotational Semantics in Synthetic
Guarded Domain Theory. ITU Copenhagen. October 2016 (external examiner).
- HOPE 2016 - 5th ACM SIGPLAN Workshop on Higher-Order Programming with Effects. 18 September 2016, Nara, Japan (PC member).
- PPDP 2016 - 18th International Symposium on
Principles and Practice of Declarative Programming. 5-7 September 2016, Edinburgh, UK (author).
- PLRR - Workshop on Parametricity, Logical Relations, and Realizability. 2 September 2016, Marseille, France (invited speaker).
- EPSRC ICT Prioritization Panel. 19 July 2016, Swindon.
- Microsoft Research PhD Summer School. 7 July 2016, Cambridge (speaker).
- DeepSpec Workshop. 6-8 June 2016, Princeton, New Jersey, USA (IAB member).
- WadlerFest 2016. 11-12 April 2016, LFCS, University of Edinburgh (author).
- Verified Trustworthy Software Systems. 4-7 April 2016, Royal Society and Imperial College, London.
- Management meeting, EU COST Action EUTYPES. 21 March 2016, Brussels.
Dagstuhl Seminar 16112. From Theory to Practice of Algebraic Effects and Handlers. 14-18 March 2016, Wadern, Germany (participant).- MSR Redmond. 6-13 March 2016.
- POPL 2016 - 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 2016, Florida, USA (ERC member).
2015
- PhD viva. Carlo Spaccasassi. Language Support for Communicating Transactions. Trinity College Dublin. 9 December 2015 (external examiner).
- S-REPLS 2 - South of England Regional Programming Language Seminar. 20 November 2015, Middlesex University, London (invited speaker).
- Industrial Advisory Board. 18 September 2015, School of Computer Science, University of Birmingham (member).
- OPLSS - Oregon Programming Languages Summer School. 15-27 June 2015, Eugene, Oregon, USA (lecturer).
- Dagstuhl Seminar 15191. Compositional Verification Methods for Next-Generation Concurrency. 3-8 May 2015, Wadern, Germany (participant).
- CPP 2015 - Fourth International Conference on Certified Programs and Proofs. January 2015, Mumbai, India (programme committee member).
- POPL 2015 - 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 15-17 January 2015, Mumbai, India (ERC member, author).
2014
- MSR Redmond, USA. 20-24 October 2014.
- UK Cyber Security Research Conference 2014. 10 October 2014, London (speaker). Program Analysis and Verification at Microsoft.
- Luca Cardelli Fest. 8-9 September 2014, MSR Cambridge (speaker). On Understanding Types, Data Abstraction and Effects.
- LOLA 2014 - 5th Workshop on Syntax and Semantics of Low-Level Languages. 13 July 2014, Vienna, Austria (invited speaker). De Haut En Bas.
- PhD defence. Guilhem Jaber. A Logical Study of Program Equivalence. Ecole des Mines de Nantes. 11 July 2014 (juror).
- Certification of High-Level and Low-Level Programs. 7-11 July 2014, Institut Henri Poincaré, Paris, France (participant). Generating Certified x86 Code in a Proof Assistant.
- MFPS XXX - 30th Conference on Mathematical Foundations of Programming Semantics. 12-15 June 2014, Cornell University, Ithaca, NY, USA (plenary speaker). Semantics of Effect Systems.
- REMS (Rigorous Engineering for Mainstream Systems) Workshop. 24-25 March 2014, University of Cambridge Computer Laboratory.
-
Industrial Panel. 21 March 2014. School of Computing, University of Kent (member).
- PhD defence. Filip Sieczkowski. Towards Modular Reasoning for Realistic Programming Languages. ITU Copenhagen. 14 March 2014 (external examiner).
- MSR Redmond, USA. 3-7 March 2014.
- Wednesday Seminar. 26 February 2014, University of Cambridge Computer Laboratory. What We Talk About When We Talk About Types.
- PiP 2014 - Workshop on Principles in Practice. 25 January 2014, San Diego, USA.
- POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 2014, San Diego, USA (author, programme committee member).
2013
- ITU Copenhagen. 17-18 December 2014.
- APLAS 2013 - 11th Asian Symposium on Programming Languages and Systems and CPP 2013 - 3rd International Conference on Certified Programs and Proofs. 9-13 December 2013, Melbourne, Australia (joint invited speaker).
-
Industrial Panel. 7 November 2013. School of Computing, University of Kent (member).
- PhD viva. Ohad Kammar. An Algebraic Theory of Type-and-Effect Systems. University of Edinburgh. 24 October 2013 (external examiner).
- Industrial Advisory Board. 23 September 2013, School of Computer Science, University of Birmingham (member).
- PPDP 2013 - 15th International Symposium on Principles and Practice of Declarative Programming. 16-18 September 2013, Madrid, Spain (author).
- ITP 2013 - 4th International Conference on Interactive Theorem Proving. 22-26 July 2013, Rennes, France (programme committee member).
- Ludwig-Maximilians-Universität, München, Germany. 8-12 July 2013.
- PhD Summer School. 1-5 July 2013, MSR Cambridge (speaker).
- TLCA 2013 - 11th International Conference on Typed Lambda Calculi and Applications. 26-28 June 2013, Eindhoven, Netherlands (programme committee member, author).
-
Workshop on Handlers for Algebraic Effects. 18 June 2013, Computer Lab, Cambridge.
-
Verified Concurrency Workshop. 11-13 June 2013, MSR Cambridge.
-
GlynnFest. 31 May - 1 June 2013, Computer Lab, Cambridge.
- FOSSACS 2013 - 16th International Conference on Foundations of Software Science and Computation Structures. 18-22 March 2013, Rome, Italy (programme committee member).
- MSR 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 (expert 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).
- OPLSS - 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.