Skip to main navigation
Skip to content
Skip to footer
Skip to search
Uni A-Z
Contact
Search
Search (via Ecosia)
Search
Login
Login
Login
Language
Choose language
German
English
Information for
Prospective Students
Current Students
Staff
Teaching Staff
Alumni
Medien
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
Logik und Sprachtheorie
Logik und Sprachtheorie
News
Teaching
Back
Current courses
Past courses
Persons
Back
Prof. Dr. Peter Schroeder-Heister
Back
Curriculum vitae
News
Research
Teaching
Nachruf Walter Hoering
Marine Gaudefroy-Bergmann
Dr. Michael Arndt
Dr. Thomas Piecha
Back
Publications
Teaching
Invited talks
Organisation of conferences
Dr. Luca Tranchini
Back
Publications
Teaching
Former and other members
Back
Dott. Patrizio Contu
Prof. Dr. Walter Felscher †
PD Dr. Lev Gordeev
PD Dr. Jörg Hudelmaier
Prof. Dr. Reinhard Kahle
Dr. Rainer Lüdecke
Dr. Harald Maurer
Dr. Stephan Spahn
Prof. Dr. Kai Wehmeier
Dr. Bartosz Więckowski
Colloquium
Back
Oberseminar
Back
Workshop on Logic
Workshop on Hypothetical Reasoning
Workshop Logik, Sprachtheorie und Erkenntnistheorie
DiFoS
HYPOTHESES
Beyond Logic
Conferences
Back
Upcoming events
Past events
Informationen für
Back
Prospective Students
Current Students
Staff
Back
Advice and help
Computer and IT
Staying healthy
Communication and media
Human Resources
Use of rooms
Corporate Design
Teaching Staff
Back
Digital teaching
Digital examinations
Center for Teaching and Learning
Planning and Development of Degree Programs
Angebote der Zentralen Studienberatung
Alumni
Back
Alumni registration
Get involved
News
Research alumni
From the Network
Contact us
Get involved
Medien
Business
Lifelong learning
Back
Über uns
Hochschulweiterbildung@BW
Programm
Abschlüsse
Teilnahmevoraussetzungen
Fördermöglichkeiten
Häufige Fragen
Anmeldung
Schnellzugriff
Back
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
Excellence Strategy
News
Teaching
Persons
Colloquium
DiFoS
HYPOTHESES
Beyond Logic
Conferences
Upcoming events
Past events
You are here:
Home
Faculties
Faculty of Science
Departments
Computer Science
Conferences
Upcoming events
Upcoming events
Conference on
Proofs, Computation and Meaning
held in Tübingen, 20–21 March 2020.
