University courses

Elfriede Fehr, Dirk Draheim, and Dirk Pape (Freie Universität Berlin, Summer '00) [Course Page]

Vladimiro Sassone (Winter-Spring '00) [Course Page]

Gary T. Leavens (Iowa State University, Spring '00) [Course Page]

Alan Jeffrey (DePaul University, Chicago, Winter '99) [Course Page]

Byeong-Mo Chang (Sookmyung University, Seoul, Fall '99)

Fritz Henglein (DIKU, Spring '99) [Course Page](http://www.diku.dk/research-groups/topps/activities/object-theory/)

Giorgio Ghelli (Pisa) [Course Page](http://www.di.unipi.it/~ghelli/corso.html)

Sophia Drossopoulou (Imperial College, London, Fall '98) [Course Page]

Thorsten Altenkirch (LMU München, Winter '98) [Course Page]

Matthews (Saarlandes, Winter '98) [Course Page]

Rob Kremer (Calgary, Winter '98) [Course Page]

Assaf Kfoury (Boston Univ., Fall '97, Spring '98) [Course Page]

Olaf Chitil (RWTH Aachen, Summer '97) [Course Page]

Martín Abadi (UC Berkeley, Spring '97) [Course Page](http://pa.bell-labs.com/~abadi/UCB_CS263/home.html)

Fritz Henglein and Mads Tofte (DIKU, Spring '97) [Course Page](http://www.diku.dk/research-groups/topps/activities/object-theory/)

Jonathan G. Rossie(http://www.csc.ncsu.edu/directory/bio/JRossie.html) (NCSU, Spring '97)

Covered chapters 1-8, 10, 11, 16 as part of a course on "Object-Oriented Languages: Theory and Implementation".

Jack Wileden (UMass, Fall '96) [Course Page](http://www-ccsl.cs.umass.edu/~jack/cs791p/)

Martín Abadi (Stanford, Fall '94)

Short courses

Luca Cardelli (University of Technology Sydney, Two-Weeks Course, August '97).

Martín Abadi and Luca Cardelli (ACM State of the Art Summer School on Functional and Object-Oriented Programming, Sobotka, Poland, Summer '96) [School Page](http://swarog.ii.uni.wroc.pl/school/materials/)

Tutorials

Martín Abadi and Luca Cardelli (ECOOP '97) [Slides.pdf]

Martín Abadi and Luca Cardelli (OOPSLA '96) [Slides.pdf]

Luca Cardelli (PLDI '96) [Slides.pdf]