Meetings
- ESOP 2024 (PC)
- POPL 2024 (PC)
- VSO2: Isaac Newton Institute Programme on Verified Software, 2022 (joint organiser)
- OOPSLA 2022 (PC)
- ESOP 18 (PC)
- POPL 18 (PC)
- PLDI 17 (EPC)
- PiP
2017 (chair)
- ARM Research Summit, Cambridge, 2016 (invited speaker)
- DeepSpec Workshop, Princeton, 2016 (invited speaker)
- Verified Trustworthy Software Systems, Royal Society and Imperial
College, 2016 (invited speaker)
- FMATS4, 2015 (invited speaker)
- 31st Chaos Communication Congress (31C3), 2014 (invited speaker)
- Electromagnetic Field (EMF), 2014 (invited speaker)
- ITP 2014: Conference on Interactive Theorem Proving (invited
speaker)
- CHLLP 2014: Workshop on Certification of high-level and low-level
programs (in the Institut Henri Poincare thematic trimester on
Semantics of proofs and certified mathematics, 2014 (invited speaker)
- PLMW 2014: SIGPLAN Programming Languages Mentoring Workshop
(invited speaker)
- POPL 2014 (PC chair)
- PiP 2014:
first workshop on Principles in Practice, co-located with
POPL 2014 (co-chair)
- CPP: the 3rd international conference on Certified Programs and
Proofs, 2013 (PC)
- SLS
2013: Microsoft Research Workshop on Scalable Language Specification,
(invited speaker)
- VCP
2013: Microsoft Research Workshop on Verified Concurrent
Programmes: Theory, Tools and Experiments,
(invited speaker)
- Linux
Collaboration Summit, 2013 (invited speaker)
- SRC/NSF/CCC Workshop on Convergence of Software Assurance Methodologies and
Trustworthy Semiconductor Design and Manufacture (SA+TS), 2013
(invited speaker)
- PLMW 2013: SIGPLAN Programming Languages Mentoring Workshop
(invited speaker)
- POPL 2013 (PC)
- ICFP 2012 (invited speaker)
- CONCUR 2012 (invited speaker)
- Microsoft
Cambridge PhD School 2012, TRANSFORM
(invited speaker)
- Milner
Symposium, 2012 (invited speaker)
- WoDet 3
(invited speaker)
- HotPar
2012 (PC)
- Manycore and
Parallel Architectures, Programming Models, and Verification
Challenges, 2012 (invited speaker).
- SSV 2011 (invited speaker)
- MEMOCODE 2011 (invited speaker)
- MFPS
XXVII (PC)
- POPL 2012 (ERC)
- ESOP 2011 (PC)
- UPMARC
2010 Summer School on Multicore Computing (invited speaker)
- ISMM 2010
(International Symposium on Memory Management) (invited speaker)
- TIC 2010
(Third International School on Trends in Concurrency) (invited speaker)
- ITP 2010
(Interactive Theorem Proving) (PC)
- POPL 2010 (PC)
- HotSWUp 2009 (Hot Topics in
Software Upgrades) (PC)
- ECOOP 2009 (PC)
- ICALP 2009 (PC)
- ESOP 2009 (PC)
- HotSWUp 2008 (PC)
- LFMTP 2008 (PC)
- TIC 2008
(invited speaker)
- RRDD
(position paper)
- TTVSI (invited speaker)
- ISSV
(workshop speaker)
-
ML 2007 (PC)
-
INM'07 (PC)
-
WMM 2006 (PC)
-
TIC 2006
(invited speaker)
-
LBTfCaDS
06 (invited speaker)
-
TLDI 2005 (PC)
(formerly TIC) ACM SIGPLAN Workshop on
Types in Language Design and Implementation
-
ICFP 2004 (PC), the
International Conference on Functional Programming.
Snowbird, Utah
September 19-22, 2004.
-
POPL
2004 (PC), The 31st
Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages,
January 14-16, 2004.
Venice, Italy.
-
EXPRESS'03 (PC)
10th Intl. Workshop on
Expressiveness in Concurrency
September 2, 2003. With CONCUR 2003.
-
EXPRESS'02 (PC)
9th Intl. Workshop on
Expressiveness in Concurrency
August 19, 2002. With CONCUR 2002.
-
F-WAN:
Foundations of Wide Area Network Computing with ICALP 2002, July 2002.
- CONFER 2
workshop (organiser),
the final meeting of the ESPRIT CONFER 2 working group, September
14-15 2000.
- HLCL00 (co-chair),
the 4th International Workshop on High-Level Concurrent Languages.
Montreal, Canada, September 20, 2000.
Affiliated with PLI 2000, September 18 - 23, 2000.
- MOS'00
6th ECOOP WORKSHOP ON MOBILE OBJECT SYSTEMS:
Operating System Support, Security and Programming Languages, attached to
ECOOP 2000, June 2000, Cannes.
- MOS'99
Programming Languages for Wide Area Networks, attached to
ECOOP 99, June 1999, Lisbon.
[Validate this page.]