This document contains information on courses etc. that I am or have been or will be teaching.

[2009|2008|2007|2006|2005|2004|2003|2002|2001|2000]
[1999|1998|1997|1996|1995|1994|1993]

2010

  • Text Mining for Business Applications, second term, Feb-Mar, U. of Amsterdam
  • Advanced Information Retrieval, second term, Feb-Jun, U. of Amsterdam

2009

  • Information Retrieval, first term, Sep-Oct, U. of Amsterdam
  • Information Extraction in a Multilingual Context, TrebleCLEF summer school, June, Pisa, Italy
  • Retrieving Entities, April, SIKS
  • Internet Information, second term, Feb-Jun, U. of Amsterdam [ site no longer available ]
  • Internet Information, second term, Feb-Jun, U. of Amsterdam [ site no longer available ]
  • Project Information Retrieval (with many colleagues), first term, Jan and second term, Feb/Mar, U. of Amsterdam [ site no longer available ]
  • Language Technology Project, first term, Jan, U. of Amsterdam [ site no longer available ]

2008

  • Language Modeling for Information Retrieval, August, ESSLLI 2008
  • Searching User Generated Textual Content, April, ECIR 2008
  • Internet Information, second term, Feb-Jun, U. of Amsterdam [ site no longer available ]
  • Project Information Retrieval (with many colleagues), first term, Jan and second term, Feb/Mar, U. of Amsterdam [ site no longer available ]
  • Language Technology Project, first term, Jan, U. of Amsterdam [ site no longer available ]

2007

  • Data Mining, October-December, U. of Amsterdam [ site no longer available ]
  • Internet Information, second term, Feb-Jun, U. of Amsterdam [ site no longer available ]
  • Project Information Retrieval (with many colleagues), first term, Jan and second term, Feb/Mar, U. of Amsterdam [ site no longer available ]
  • Language Technology Project, first term, Jan, U. of Amsterdam [ site no longer available ]

2006

  • Data Mining, October-December, U. of Amsterdam [ site no longer available ]
  • IGK, September, Edinburgh
  • LOT 2006 Summer School, June, Amsterdam [ web site no longer available ]
  • Automated Reasoning, second term, Feb-Jun, U. of Amsterdam [ web site no longer available ]
  • Internet Information, second term, Feb-Jun, U. of Amsterdam [ web site no longer available ]
  • Project Information Retrieval (with many colleagues), first term, Jan, U. of Amsterdam [ web site no longer available ]
  • Language Technology Project, first term, Jan, U. of Amsterdam [ web site no longer available ]

2005

  • Data Mining, October-December, U. of Amsterdam [ web site no longer available ]
  • Natural Language Processing in IR, September, ESSIR 2005, Dublin
  • Retrieving Content and Structure (with Jaap Kamps and Maarten Marx), August, ESSLLI 2005 [ web site ]
  • Automated Reasoning, second term, Feb-Jun, U. of Amsterdam [web site no longer available]
  • Internet Information, second term, Feb-Jun, U. of Amsterdam [web site no longer available]
  • Project Information Retrieval (with nine colleagues), first term, Jan, U. of Amsterdam [web site no longer available]
  • Language Technology Project (with Karin Müller and Erik Tjong Kim Sang), first term, Jan, U. of Amsterdam [web site no longer available]

2004

  • Data Mining, first term, Sep-Oct, U. of Amsterdam [web site no longer available]
  • Software Engineering (with Maarten Marx), first term, Sep-Oct, U. of Amsterdam [web site no longer available]
  • Basis Informatica (with Maarten Marx), first term, Sep-Oct, U. of Amsterdam [web site no longer available]
  • Automated Reasoning (with Stefan Schlobach), second term, Feb-June, U. of Amsterdam [web site no longer available]
  • Language Processing and Information Access (with Remko Scha), second term, Feb– June, U. of Amsterdam [web site no longer available]
  • Language Technology Project (with Karin Müller), first term, January, U. of Amsterdam [web site no longer available]

2003

  • Information Retrieval, first term, Sept–Dec, U. of Amsterdam.
  • Logisch Programmeren en Zoektechnieken, undergraduate, first term, Sept–Dec, U. of Amsterdam.
  • Question Answering (with Bonnie Webber), graduate, August, ESSLLI 2003, Vienna.
  • Computational Modal Logics (with Carlos Areces), graduate, August, ESSLLI 2003, Vienna.
  • Relationele Databases (with Jaap Kamps), undergraduate, third term, Apr–Jul, U. of Amsterdam.
  • Introduction to Information Retrieval, third term, Apr–Jul, U. of Amsterdam.
  • Natuurlijke taal: vraag- en antwoordsystemen (with Remko Scha), second term, Jan–Apr, U. of Amsterdam.
  • Automated Reasoning (with Stefan Schlobach), second term, Jan–Apr, U. of Amsterdam.
  • Logisch Programmeren (with Maarten Marx), undergraduate, second term, Jan–Apr, U. of Amsterdam.

2002

  • Relationele Databases, undergraduate, third term, Apr–Jul, U. of Amsterdam.
  • Introduction to Information Retrieval (with Christof Monz), third term, Apr–Jul, U. of Amsterdam.
  • Automated Reasoning (with Carlos Areces), second term, Jan–Apr, U. of Amsterdam.
  • Logisch Programmeren, undergraduate, second term, Jan–Apr, U. of Amsterdam; the we page for the course is no longer available.

2001

  • Introduction to Information Retrieval (with Christof Monz), August 13-17, ESSLLI'01, Helsinki.
  • Relationele Databases, undergraduate, third term, Apr–Jul, U. of Amsterdam; the page for the course is no longer available.
  • Introduction to Information Retrieval (with Christof Monz), third term, Apr–Jul, U. of Amsterdam.
  • Computing with Modal Logics, March 22-29, U. of Udine.
  • Logisch programmeren, undergraduate, second term, Jan–Apr, U. of Amsterdam; the web page for the course is no longer available.

2000

  • Introduction to Automated Reasoning, undergraduate, first term, Aug–Dec, U. of Amsterdam.
  • Inleiding Relationele Databases, undergraduate, third term, Apr–Jul, U. of Amsterdam
  • Logisch Programmeren, undergraduate, second term, Jan–Apr, U. of Amsterdam.

1999

  • Computing with Modal Logic, December, LUATCS'99, Johannesburg .
  • Introduction to Automated Reasoning (with Kees Doets), undergraduate, first term, Aug–Dec, U. of Amsterdam
  • Temporal Logic (with Natasha Kurtonina), August, ESSLLI'99, Utrecht
  • Inleiding Relationele Databases, undergraduate, third term, Apr–Jul, U. of Amsterdam
  • Prolog voor Beta/Gamma, undergraduate, second term, Jan–Apr, U. of Amsterdam
  • Theorem Proving (with Kees Doets and Hans de Nivelle), undergraduate, second term, Jan–Apr, U. of Amsterdam

1998

  • Semantics of Programming, undergraduate, U. of Amsterdam

1997

  • Logic for Computer Scientists (with J. Sinclair), undergraduate, U. of Warwick
  • Logic and Applications (with D. Walker), undergraduate, U. of Warwick
  • Crash Course in Modal Logic, SIKS Ph.D. School, Utrecht U.
  • Logic for Computer Scientists (with S. Kalvala), undergraduate, U. of Warwick

1996

  • Advanced Modal Logic, FoLLI Workshop on Linguistics, Philosophy and Cognitive Science, Chiba U.
  • Reasoning with Incomplete and Changing Information, advanced undergraduate, Winter School on Formal and Applied Computer Science, U. of Cape Town
  • Logic for Computer Scientists, undergraduate, U. of Warwick

1995

  • Advanced Modal Logic (with P. Blackburn and Y. Venema), August, ESSLLI'95
  • Semantics of Programming Languages, undergraduate, U. of Amsterdam
  • Formal Methods in AI, honours, U. of Cape Town
  • Logics of Theory Change (with J. Jaspars), U. of Amsterdam

1994

  • Modal and Temporal Logic, undergraduate, U. of Amsterdam
  • Advanced Modal Logic (with P. Blackburn and Y. Venema), U. of Amsterdam
  • Formal Methods of AI, honours, U. of Cape Town

1993

  • Semantics of Programming Languages, undergraduate, U. of Amsterdam
  • Dynamic Logic (with P. Blackburn and K. Segerberg), August, ESSLLI'93