Thomas Schneider's Teaching


P Programmierpraktikum
Proj studentisches Projekt
S Seminar
T Tutorium auf internationaler Konferenz (einschließlich Probelauf)
Ü Übung
V     Vorlesung

Autonomous teaching at the University of Bremen

Own contribution: 80 SWS (semester teaching periods)

Summer 2020,
planned
V+Ü Course Beschreibungslogik Beschreibungslogik
(Description Logic, Master)
with Jean Christoph Jung
Winter 2019–20 V+Ü Course Logik
(Logic, Bachelor, Year 3)
with Jean Christoph Jung
V+Ü Course Automatentheorie und ihre Anwendungen
(Automata theory and its applications, Master)
Summer 2019 V Course Theoretische Informatik 2
(Theoretical Computer Science, Bachelor, Year 2)
V+Ü Course Beschreibungslogik
(Description Logic, Master)
V+Ü Course Komplexitätstheorie
(Complexity Theory, Master)
with Jean Christoph Jung
Winter 2018–19 V+Ü Course Logik
(Logic, Bachelor, Year 3)
V+Ü Course Automatentheorie und ihre Anwendungen
(Automata theory and its applications, Master)
Summer 2018 V+Ü Course Beschreibungslogik
(Description Logic, Master)
V+Ü Course Komplexitätstheorie
(Complexity Theory, Master)
Winter 2017–18 V+Ü Course Logik
(Logic, Bachelor, Year 3)
V+Ü Course Automatentheorie und ihre Anwendungen
(Automata theory and its applications, Master)
Summer 2017 V Course Theoretische Informatik 2
(Theoretical Computer Science, Bachelor, Year 2)
V+Ü Course Beschreibungslogik
(Description Logic, Master)
2016–17 Proj Student project GenQA
(Master)
with Hagen Langer
Winter 2016–17 V Course Theoretische Informatik 1
(Theoretical Computer Science, Bachelor, Year 1)
V+Ü Course Logik
(Logic, Bachelor, Year 3)
Summer 2016 V Course Theoretische Informatik 2
(Theoretical Computer Science, Bachelor, Year 2)
V+Ü Course Beschreibungslogik
(Description Logic, Master)
2015–16 Proj Student project DeepQD
(Bachelor, Year 3)
with Carsten Lutz
Winter 2015–16 V Course Theoretische Informatik 1
(Theoretical Computer Science, Bachelor, Year 1)
V+Ü Course Logik
(Logic, Bachelor, Year 3)
Summer 2015 V+Ü Course Automatentheorie und ihre Anwendungen
(Automata theory and its applications, Master)
Winter 2014–15 V+Ü Course Komplexitätstheorie
(Complexity theory, Master)
with Carsten Lutz
Summer 2014 V+Ü Course Automatentheorie und ihre Anwendungen
(Automata theory and its applications, Master)
Summer 2013 V+Ü Course Automatentheorie und ihre Anwendungen
(Automata theory and its applications, Master)
Winter 2011–12 V+Ü Course From syllogism to common sense: a tour through the logical landscape with Mehul Bhatt and Oliver Kutz

Courses and tutorials at international summer schools and conferences

In English, own contribution: approx. 22 hours)

Aug 2016 ESSLLI 2016 V Lecture Description Logics: a Nice Family of Logics with Uli Sattler
Aug 2013 ESSLLI 2013 V Lecture Modularity in Ontologies with Dirk Walther
Aug 2012 ESSLLI 2012 V Lecture Description Logics: an Introductory Course on a Nice Family of Logics
Slides    Slides Modularity 2011
with Uli Sattler
Aug 2011 ESSLLI 2011 V Lecture Modularity in Ontologies
Slides
with Dirk Walther
Oct 2009 ISWC 2009 T Tutorial Working with Explanations of OWL Entailments with Matthew Horridge, Bijan Parsia and Uli Sattler
Jul 2009 ESSLLI 2009 V Lecture Explanation in Ontology Languages with Bijan Parsia
Oct 2008 ISWC 2008 and CTU Prague 2 T Tutorial Working Modularly in OWL with Bijan Parsia, Uli Sattler and Frank Wolter

Tutorial classes with lecture support

In German, 30 SWS (semester teaching periods)

Winter 2013–14 University of Bremen 2 Ü Exercise classes Theoretische Informatik 1
Winter 2011–12 University of Bremen 2 Ü Exercise classes Theoretische Informatik 1
Summer 2007 University of Jena Ü Exercise class: Einführung in die Informatik 2
Winter 2006–07 University of Jena Ü Exercise class: Einführung in die Informatik 1
Summer 2006 University of Jena Ü Exercise class: Einführung in die Informatik 2
Winter 2005–06 University of Jena Ü Exercise class: Einführung in die Informatik 1
Summer 2005 University of Jena Ü Exercise class: Praktische Informatik 2
Summer 2004 University of Jena Ü Exercise class: Praktische Informatik 2
Winter 2003–04 University of Jena Ü Exercise class: Praktische Informatik 1
Summer 2003 University of Jena Ü Exercise class: Praktische Informatik 2

Tutorial classes without lecture support

In German, 10 SWS (semester teaching periods)

Winter 2014–15 University of Bremen Ü Exercise class Theoretische Informatik 1
Winter 2012–13 University of Bremen 2 Ü Exercise classes Theoretische Informatik 1
Summer 2012 University of Bremen Ü Exercise class Theoretische Informatik 2
Summer 2011 University of Bremen 2 Ü Exercise classes Theoretische Informatik 2
Summer 2002 University of Jena Ü Exercise class: Theoretische Informatik

Co-organisation of seminars

In German, own contribution: 1.5 SWS (semester teaching periods)

Winter 2010–11 Saarland University S Seminar Funktionale Programmierung with Gert Smolka and Jan Schwinghammer
Winter 2006–07 University of Jena Ü Seminar: Logik with Martin Mundhenk

Programming tutorials

In German, 10 SWS (semester teaching periods)

Winter 2004–05 University of Jena P Introduction to Java
Winter 2003–04 University of Jena P Introduction to Java
Winter 2002–03 University of Jena P Introduction to Java

Valid HTML 4.01 Transitional     Valid CSS!     17 Feb 2021 TS