8-10 March 2013
Tuebingen, Germany
Second Conference on Proof-Theoretic Semantics
8-10 March 2013 in Tübingen, Germany
http://ls.informatik.uni-tuebingen.de/PTS/
Call for contributed talks
For information on the topic of this conference see
http://ls.informatik.uni-tuebingen.de/PTS/topic.html .
Invited Speakers are:
- Sergei Artemov
- Kosta Došen
- Roy Dyckhoff
- Lars Hallnäs
- Wilfrid Hodges
- Reinhard Kahle
- Dag Prawitz
- Giovanni Sambin
- Göran Sundholm
- William Tait
- Johan van Benthem
- Jan von Plato
- Heinrich Wansing
There will be a few slots for contributed talks (30 min). If you are
interested in contributing a talk, please send an abstract to Thomas Piecha
(PTS-CfP@informatik.uni-tuebingen.de) by 31 January 2013. We would notify you
by 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 email to Thomas Piecha by 10 February.