25-27 Feb 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@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 Ferm�ller Peter Schroeder-Heister Thomas Piecha Luca Tranchini