Philip Wadler: Past events

• First Brazilian Symposium On Programming Languages , Belo Horizonte, Brazil, 4-6 September 1996 (invited talk).
• First Workshop on Functional Programming, Buenos Aires, Argentina, 12 September 1996 (invited talk).
• Sixth Workshop on Database Programming Languages, Estes Park, Colorado, 18-20 August 1997 (invited talk).
• Languages and Models with Objects, Brest, 22-24 October 1997 (invited talk).
• The Logic Programming Paradigm: Current Trends and Future Directions, Shakertown, 25-27 April 1998 (invited talk).
• Foundational Methods in Computer Science, Portland, 29-31 May 1998 (invited talk).
• Fifth International Conference on Software Reuse, Vancouver, 2-5 June 1998 (invited talk).
• Programming Language Design and Implementation, Montreal, 17-19 June 1998 (tutorial).
• Practical Aspects of Declarative Languages, San Antonio, Texas, 18-19 January 1999 (member of pc; invited panel).
• Workshop on Component-Based Programming under Different Paradigms, Dagstuhl, 22-26 February 1999 (co-organizer).
• 3'rd Latin American Conference on Functional Programming (CLAPF 99), Recife, Brazil, 8-10 March 1999 (member of pc).
• Eighth International Conference on Compiler Construction, Amsterdam, 22-26 March 1999 (invited talk). [Gilad Bracha kindly agreed to deliver this talk; I was home awaiting the birth of my twins.]
• First International Symposium on Generative and Component-Based Software Engineering (GCSE'99), Erfurt, Germany, 28-30 September 1999 (member of pc).
• Second Conference on Domain Specific Languages (DSL'99), The Next 700 Markup Languages, Austin, Texas, 3-5 October 1999 (invited talk). Alan J. Perlis Symposium, "Programming Languages: Theory Meets the Real World", Yale University, 27 April 2000 (invited speaker).
• Mathematics of Program Construction, Ponte de Lima, Portugal, July 2000 (member of pc).
• Software Carpentry tools competition, July 2000 (judge).
• International Conference on Functional Programming (ICFP 2000), Montreal, 18-20 September 2000 (pc chair).
• Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2000), Minneapolis, 15-19 October 2000 (member of pc).
• XML 2000, Washington DC, 3-8 December 2000 (speaker).
• Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2000), New Delhi, 13-15 December 2000 (invited speaker).
• +International Conference on Database Theory (ICDT 2001), London, 4-6 January 2001 (invited speaker).
• IFIP WG 2.8 Functional Progamming, Are, Sweden, 22-27 April (charter member).
• WWW 10, Hong Kong, 1-5 May 2001. Brown, Fuchs, Robie, and Wadler, MSL: A model for W3C XML Schema.
• WebDB workshop Santa Barbara, 24-25 May 2001 (member of pc).
• 8'th Biennial Workshop on Database Programming Languages (DBPL 2001), Marino, Rome, 8-10 September 2001 (member of pc).
• International Conference on Very Large Data Bases, Rome, 11-14 September 2001 (keynote speaker). Talk: Et tu, XML? The downfall of the relational empire.
• Annual Conference of the European Association for Computer Science Logic (CSL 2001), Paris, 10-13 September 2001 (member of pc).
• TACS 2001, presenting The Girard-Reynolds Isomorphism, Sendai, Japan, 28-31 October 2001,
• Columbia University, talk: Et tu, XML? The downfall of the relational empire, Monday 12 November 2001.
• IEEE Computer and Instrumentation Chapter, talk: Et tu, XML? The downfall of the relational empire, Thursday 15 November 2001.
• University of Pennsylvania, Talk: The Girard-Reynolds Isomorphism, Logic and Computation seminar, Monday 19 November.
• University of Pennsylvania, talk: Et tu, XML? The downfall of the relational empire, Distinguished Lecture Series, Tuesday 20 November. After the talk, Peter Buneman presented me with a T-shirt containing The Evolution of Language.
• Avaya software symposium, Westminster, Colorado, 27 November 2001, presenting Et tu, XML? The downfall of the relational empire.
• XML 2001, Orlando, 9-14 December 2001. XQuery tutorial
• New Jersey Programming Language Seminar, Avaya Labs, 22 February 2002.
• IFIP WG 2.8 Functional Programming, Las Vegas, 3-8 March 2002 (charter member).
• WWW 2002 - posters Honolulu, 7-11 May 2002 (program committee)
• Foundational Methods in Computer Science, Colgate University, 7-9 June 2002 (invited speaker).
• International Conference on Distributed Computing Systems (ICDCS 2002), Vienna, 2-5 July 2002 (program commitee).
• Foundations of Models and Languages for Data and Objects (FMLDO 2002), Schloss Rauischholzhausen, Germany, 24-27 September 2002 (program committee). [cancelled]
• Summer School on Advanced Functional Programming, Oxford, 19-24 Aug 2002 (lecturer).
• International Symposium on Functional and Logic Programming (FLOPS 2002) Aizu, Japan, 15-17 September 2002 (invited speaker).
• As Natural as 0, 1, 2, University of Utah, 20 November 2002 (Evans and Sutherland Distinguished Lecture).
• Programming Languages for XML (PLAN-X), (colocated with ICFP 2002) Pittsburgh, 3 October 2002 (program co-chair).
• The Great Type Hope. Presented at Erlang Workshop (colocated with ICFP 2002) Pittsburgh, 7 October 2002 (invited speaker).
• PADL 03: Practical Aspects of Declarative Languages, New Orleans, 13-14 January 2003 (program co-chair).
• The Essence of XML, POPL 2003, New Orleans, 15-17 January 2003.
• TLDI 03: Types in Language Design and Implementation, New Orleans, 18 January 2003 (program comittee).
• Call-by-name is dual to call-by-value, NJPLS, AT&T Labs, Florham Park, 21 February 2003.
• The Fun of Programming, A symposium in honour of Professor Richard Bird's 60th birthday Examination Schools, Oxford, 24-25 March 2003 (speaker).
• As Natural as 0, 1, 2, Bard College, Distinguished Scientist Lecture, 10 April 2003.
• XQuery from the Experts published by Addison-Wesley, 29 August 2003 (contributor).
• International Conference on Functional Programming, Uppsala, Sweden, 25-29 August 2003 (presenting Call-by-name is dual to call-by-value).
• International Lisp Conference 2003, New York, NY, 12-15 October 2003 (invited speaker).
• Grids and Applied Language Theory (GALT'03), Edinburgh, 16-17 October 2003.
• As Natural as 0, 1, 2, ETH Zurich, 17 November 2003 (invited talk).
• FOOL 11, Venice, Italy, 17 January 2004 (member of pc).
• Edinburgh Reasoning Seminar 7 May 2004 (seminar).
• Heriot-Watt University 28 January 2004 (seminar).
• Bath University 18 Mar 2004 (seminar).
• University of Birmigham 19 Mar 2004 (seminar).
• OOPS 2004, Nicosia, Cyprus, 14-17 March 2004 (member of pc).
• FLOPS 2004, Nara, Japan, 7-9 April 2004 (member of pc).
• APPSEM 2004, Talinn, Estonia, 14-16 April 2004 (invited speaker).
• WebDB 2004, 17-18 June 2004, Paris (member of pc).
• ECOOP 2004, Oslo, Norway, 14-18 June (member of pc).
• Erlang Workshop, Snowbird (colocated with ICFP), 22 September 2004 (program chair).
• Foundations of Global Ubiquitous Computing, London (colocated with CONCUR), 3-4 September 2004 (invited speaker).
• My inaugural lecture, 16 November 2004.
• Trends in Functional Programming (TFP), Munich, 25-26 November 2004 (pc member).
• Foundations of Object-Oriented Languages (FOOL), Long Beach (colocated with POPL), 15 January 2005 (program chair).
• University of Cambridge (seminar), 9 February 2005, Links.
• St Andrews Distinguished Lecture Series, 21 March 2005. The Unreasonable Effectiveness of Logic, The Girard-Reynolds Isomorphism, Call-by-value is dual to call-by-name.
• European Joint Conferences on Theory and Practice of Software (ETAPS), Edinburgh, 2-10 April 2005 (fundraising).
• Links meeting, colocated with ETAPS, Edinburgh, 6 April 2005 (organizer).
• Rewriting Techniques and Applications (RTA), Nara, Japan, 19-21 April 2005 (invited speaker), Call-by-value is Dual to call-by-name, Reloaded.
• University of Oxford, 26 April 2005 (Strachey lecture), The unreasonable effectiveness of logic.
• University of York, 11 May 2005 (distinguished lecture), Links.
• MFPS, Birmingham, 18 May 2005 (Reynolds special session, invited talk), The Girard-Reynolds Isomorphism (second edition).
• European Summer School in Logic, Language and Information (ESSLLI), Edinburgh, 8-19 August 2005 (local chair).
• PADL, Charleston, January 2006 (invited speaker).
• POPL, Charleston, January 2006 (member of pc).
• NICTA, Melbourne, 2 February 2006 (invited speaker).
• University of Kent, 7 March 2006 (invited speaker).
• FLOPS, Nara, April 2006 (program co-chair).
• XIME-P, Chicago, 30 June 2006 (member of pc).
• CL&C, Venice, July 2006 (member of pc).
• OOPSLA Essays, Portland, 22-6 October 2006 (selection c'tee).
• OOPSLA, Portland, 22-6 October 2006 (invited speaker).
• FMCO, Amsterdam, 7-10 November 2006 (keynote speaker).
• AOSD 2008, Brussels, (keynote speaker).
• STOP 2009, program committee.
• Lang.NET Symposium, speaker.
• SICSA International Summer School on Advances in Programming Languages, steering committe, speaker.
• ICFP 2009, local arrangments chair.
• ETAPS 2010, invited speaker.
• RADICAL 2010, organizing committee.
• BCS FACS seminar on formlets.
• DBPL, invited speaker, 29 August 2011.

Philip Wadler,