Thomas Schneider's teaching page

Aug 2013, accepted	ESSLLI 2013	V	Modularity in Ontologies	with Dirk Walther
Summer 2013	University of Bremen	V	Lecture Automatentheorie und ihre Anwendungen (Automata theory and its applications, in German)
Jan 2013	University of Bremen	VV2	Lecture Logik Slides (PDF)	proxying Stefan Göller
Winter 2012–13	University of Bremen	2 Ü	Exercise classes Theoretische Informatik 1
Aug 2012	ESSLLI 2012	V	Description Logics: an Introductory Course on a Nice Family of Logics Slides Slides Modularity 2011	with Uli Sattler
Summer 2012	University of Bremen	Ü	Exercise class Theoretische Informatik 2
Winter 2011–12	University of Bremen	V+Ü	Lecture From syllogism to common sense: a tour through the logical landscape	with Mehul Bhatt and Oliver Kutz
Winter 2011–12	University of Bremen	2 Ü	Exercise classes Theoretische Informatik 1
Aug 2011	ESSLLI 2011	V	Modularity in Ontologies Slides	with Dirk Walther
Summer 2011	University of Bremen	2 Ü	Exercise classes Theoretische Informatik 2
Winter 2010–11	Saarland University	S	Seminar Funktionale Programmierung	with Gert Smolka and Jan Schwinghammer
Apr 2010	COMP 60421	VV4	Reasoning in the Lightweight Description Logic EL+	proxying Bijan Parsia
Oct 2009	ISWC 2009	T	Working with Explanations of OWL Entailments	with Matthew Horridge, Bijan Parsia and Uli Sattler
Jul 2009	ESSLLI 2009	V	Explanation in Ontology Languages	with Bijan Parsia
Apr 2009	COMP 60462	VV4	Reasoning in the Lightweight Description Logic EL+	proxying Bijan Parsia
Oct 2008	ISWC 2008	T	Working Modularly in OWL	with Bijan Parsia, Uli Sattler and Frank Wolter
Oct 2008	CTU Prague	T	Working modularly with OWL
Sep 2008	Univ. Manchester	T	Working modularly with OWL	with Bijan Parsia
2002–2007	Univ. Jena	10 Ü	Exercise classes, theoretische und praktische Informatik
2002–2007	Univ. Jena	5 P	Programming tutorials, Einführung in Java

Thomas Schneider's Teaching