Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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)

Date: 25-27 February 2011
Location: Tübingen (Germany)
Deadline: 10 February 2011

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 (). 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/

who would like to participate without giving a talk

Please note that this newsitem has been archived, and may contain outdated information or links.