Peter Sewell

Meetings

• HotPar 2012 (PC)
• SSV 2011 (invited speaker)
• MEMOCODE 2011 (invited speaker)
• MFPS XXVII (PC)
• POPL 2012 (ERC)
• ESOP 2011 (PC)
• UPMARC 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)
• HotSWUp 2009 (Hot Topics in Software Upgrades) (PC)
• POPL 2010 (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.