25-27 Feb 2011
Workshop "Proof and Dialogues" (ProDi) University of Tbingen, 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 Rckert and Morten Srensen). 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@informatik.uni-tuebingen.de). 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 Fermller Peter Schroeder-Heister Thomas Piecha Luca Tranchini