Uni A-Z
Contact
Search
Search
Search
Login
Login
Login
Information for
Prospective Students
Current Students
Staff
Teaching Staff
Alumni
Media
Business
Lifelong learning
Quicklinks
All Degree Programs
ALMA Portal
Excellence Strategy
Staff Search (EPV)
Student Administration
University Library
Online Course Catalogue
Webmail Uni Tübingen
Advice for International Students
Faculty of Science
Programming Languages
Programming Languages
Chair
Back
Contact
Back
More...
News
Back
More...
Team
Back
Klaus Ostermann
Bettina Kappler
David Binder
Steven Lolong
Marius Müller
Marco Tzschentke
Jonathan Brachthäuser
Yufei Cai
Theo Doukas
Paolo Giarrusso
Birgit Grieg
Matthias Hirzel
Julian Jabs
Luzia Leifheit
Aron Müller
Tillmann Rendel
Philipp Schuster
Ingo Skupin
Julia Trieflinger
More...
Teaching
Back
Didactics
Back
Fachdidaktik Informatik
More...
Paper Reading Group
Back
More...
Thesis Topics
Back
Open Thesis Topics
Assigned Thesis Topics
Finished Thesis Topics
More...
Winter 2024/25
Back
Functional Programming with Effects
Interactive Theorem Proving
Programming Languages 2
More...
Summer 2024
Back
Duality in Programming Languages
Memory Management (Proseminar)
Programmiersprachen 1
More...
Winter 2023/24
Back
Informatik I (Praktische Informatik I: Deklarative Programmierung)
Object Meets Function
More...
Summer 2023
Back
Interactive Theorem Proving
Programmiersprachen 1
More...
Winter 2022/23
Back
Algorithm Design with Haskell
Functional Programming with Effects
Object Meets Function
More...
Summer 2022
Back
Blockchain Technology
Kategorientheorie und Programmieren
Programmiersprachen 1
Web Programming with The Lavarel Framework
More...
Winter 2021/22
Back
Abstract Machines
Informatik I
Visual Programming Language [INF3674]
More...
Summer 2021
Back
Functional Pearls (Seminar)
Kategorientheorie und Programmieren
Probabilistic Programming (Proseminar)
Programmiersprachen 1
Software Engineering
Web Programming with Framework
More...
Winter 2020/21
Back
Interactive Theorem Proving
Object Meets Function [INF3213]
Parser
Programming Languages 2
Relational Programming with miniKanren
More...
Summer 2020
Back
Implementierung von Programmiersprachen (Praktikum)
Programmiersprachen 1
Software Engineering
More...
Winter 2019/20
Back
Informatik I
Kategorientheorie für Programmierer
Web Programming with Framework (Praktikum)
More...
Summer 2019
Back
Functional Programming with Effects
Probabilistic Programming (Praktikum)
Programmiersprachen 1
Software Engineering
Softwareprojektleitung
The Little Typer
More...
Winter 2018/19
Back
Interactive Theorem Proving
Programmiersprachendesign
Programming Languages 2
More...
Summer 2018
Back
Implementierung von Programmiersprachen (Praktikum)
Kategorientheorie für Programmierer
Programmiersprachen 1
Software Engineering
More...
Winter 2017/18
Back
Extensibility and Modularity in Programming Languages
Informatik I
More...
Summer 2017
Back
Software Engineering
More...
Winter 2016/17
Back
Grundschulpraktikum Workshop
Programmiersprachen II
Programmiersprachen und Programmiertechniken
Software Design und Programmiertechniken
More...
Summer 2016
Back
Implementierung von Programmiersprachen (Praktikum)
Probabilistic Programming (Praktikum)
Programming Languages 1
Software Engineering
More...
Winter 2015/16
Back
Informatik I
Programming with dependent types (Seminar)
More...
Summer 2015
Back
Industry Software Project
Datatype-generic programming (Seminar)
Programmiersprachen II
Software Construction Techniques: Writing Good Code (Seminar)
Software Engineering
More...
Winter 2014/15
Back
Metaprogramming Seminar
Programming Languages 1
Scala-Praktikum
Software Design und Programmiertechniken
More...
Industry project
Back
TSP 2021
Back
Vorteile
Projektstruktur
Studienorganisation
Projekte
Projektvorstellungsmesse
Termine
FAQ
Arbeitsraum (C111)
More...
TSP 2020
Back
Vorteile
Projektstruktur
Studienorganisation
Projekte
Projektvorstellungsmesse
Termine
FAQ
Arbeitsraum (C111)
More...
TSP 2019
Back
Vorteile
Projektstruktur
Studienorganisation
Projekte
Projektvorstellungsmesse
Termine
FAQ
Arbeitsraum (C111)
More...
TSP 2018
Back
Vorteile
Projektstruktur
Studienorganisation
Projekte
Registrierung
Projektvorstellungsmesse
Termine
FAQ
Arbeitsraum (C111)
More...
TSP 2017
Back
Vorteile
Projektstruktur
Studienorganisation
Projekte
Registrierung
Projektvorstellungsmesse
Termine
FAQ
Arbeitsraum (C111)
More...
TSP 2016
Back
Studierende
Projektvorstellungsmesse
More...
TSP 2015
Back
Studierende
Projektvorstellungsmesse
Projekt: InspectIT
Projekt: Status Report Kit
Projekt: Meisterplan (itdesign)
Projekt: EQUALS
Projekt: e-reha
Projekt: AmbiAd
Projekt: Bosch
More...
Kooperationspartner
Back
Aufwand und Kosten
Mögliche Projekte
Nächste Schritte
More...
Research
Back
Computational Thinking
Back
Course "Informatisches Denken"
More...
Uroboro
Back
More...
Publications
Back
More...
Didactics
Paper Reading Group
Thesis Topics
Winter 2024/25
Summer 2024
Winter 2023/24
Summer 2023
Winter 2022/23
Summer 2022
Winter 2021/22
Summer 2021
Winter 2020/21
Summer 2020
Winter 2019/20
Summer 2019
Winter 2018/19
Summer 2018
Winter 2017/18
Summer 2017
Winter 2016/17
Summer 2016
Winter 2015/16
Summer 2015
Winter 2014/15
You are here:
Home
...
Research Groups
Programming Languages (PS)
Teaching
Winter 2018/19
Winter Term 2018/19
Interactive Theorem Proving
Programmiersprachendesign
Programming Languages 2