[PT] "Proof and Dialogues" (Tübingen, 25-27 Fe bruary 2011)

Workshop "Proof and Dialogues" (ProDi)
University of Tübingen, Germany, 25-27 February 2011
http://www-ls.informatik.uni-tuebingen.de/prodi/


Call for contributed talks

The ProDi workshop focuses on the relationship between proof-theoretic and 
dialogical approaches to logic. Formally, it is an internal meeting organized 
by two collaborative research projects within the ESF programme "Modelling 
intelligent interaction - Logic in the Humanities, Social and Computational 
sciences (LogICCC)" (http://www.esf.org/index.php?id=3241) together with some 
external experts (including Andreas Blass, George Metcalfe, Helge Rückert and 
Morten Sørensen).

However, there will be two or three slots for contributed talks (30 min). If 
you are interested to contribute such a talk, please send an abstract to 
Thomas Piecha (ProDi-CfP-jNDFPZUTrfQQDnmTUQnR1uqEdJ8o/[email protected]). The deadline is 7 
February 2011. We would notify you until 10 February of whether we can accept 
it or not.

Participants who would like to participate without giving a talk are also 
welcome. In that case please send an e-mail to Thomas Piecha until 10 
February.

Christian Fermüller
Peter Schroeder-Heister
Thomas Piecha
Luca Tranchini