Aktuelles

 

2024

• Dr. Thomas Piecha erhält den Lehrpreis der Studienkommission am Fachbereich Informatik für das Wintersemester 2023/24.

• Thomas Piecha & Kai Wehmeier (eds), Peter Schroeder-Heister on Proof-Theoretic Semantics, Outstanding Contributions to Logic 29, Springer 2024.

 

2022

• David Binder, Thomas Piecha & Peter Schroeder-Heister (eds), The Logical Writings of Karl Popper, Trends in Logic 58, Springer 2022.

 

2019

• Third conference on Proof-Theoretic Semantics, 27–30 March 2019 in Tübingen

 

2018

• Workshop on Proof Theory at the 6th World Congress on Universal Logic, Vichy, 21-26 June 2018

 

2017

• Workshop Logik, Sprachtheorie und Erkenntnistheorie, 24-25 October 2017 in Tübingen

• Consequence and Paradox between Truth and Proof, 2–3 March 2017 in Tübingen

 

2016

• Thomas Piecha & Peter Schroeder-Heister (eds), Advances in Proof-Theoretic Semantics, Trends in Logic 43, Springer 2016.

 

2015

• General Proof Theory, Celebrating 50 Years of Dag Prawitz's "Natural Deduction", 27–29 November 2015 in Tübingen

• Beyond Logic: Hypothetical Reasoning in Philosophy of Science, Informatics, and Law, Joint French-German research project funded by ANR and DFG

 

2014

• Conference on Hypothetical Reasoning, 23-24 August 2014 in Tübingen

• Workshop on Functions, Proofs, Constructions, 21-23 February 2014 in Tübingen

 

2013

• Second Conference on Proof-Theoretic Semantics, 8–10 March 2013 in Tübingen

 

2012

• HYPOTHESES, Hypothetical Reasoning – Its Proof-Theoretic Analysis, Joint French-German research project funded by ANR and DFG

• Workshop on Hypothetical Reasoning, 16-17 April 2012 in Tübingen

 

2011

• Proof and Dialogues (ProDi), 25–27 February 2011 in Tübingen

• 14th Congress of Logic, Methodology and Philosophy of Science, July 19-26, 2011

 

2009

• "Dialogical Foundations of Semantics" (DiFoS) – ESF Research Project

• HYPOTHESES, Hypothetical Reasoning – Logical and Semantical Perspectives, Joint French-German research project funded by ANR and DFG

 

2007

• Workshop on Logic, 20-21 January 2007 in Tübingen