Invited Seminar and Conference Participation

Workshop-fest in Honor of Neil D. Jones, Copenhagen, Denmark, August 25-26, 2007.

First International Workshop on Programming Language Interference and Dependence (PLID). Verona, Italy, August 25, 2004.

Dagstuhl Seminar 03411 on Language-Based Security. October 5–10, 2003.

Advanced Course on the Principles of Program Analysis. Dagstuhl Event No 98451, November 9–13, 1998.