Please note that this newsitem has been archived, and may contain outdated information or links.
25-27 February 2011, Proof and Dialogues (ProDi), Tübingen (Germany)
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 at 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 are welcome. In that case please send an e-mail to Thomas Piecha until 10 February.
For more information, see http://www-ls.informatik.uni-tuebingen.de/prodi/
Please note that this newsitem has been archived, and may contain outdated information or links.