Please note that this newsitem has been archived, and may contain outdated information or links.
27-29 November 2015, General Proof Theory, Tuebingen, Germany
General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory.
For more information, see http://ls.informatik.uni-tuebingen.de/GPT/
We invite contributed talks on topics of general proof theory, including categorial proof theory. Contributions on related topics are welcome, too. We especially encourage young researchers to contribute. There will be 12 slots for contributed talks (30 min). The deadline for submission is 15 July 2015.
Please note that this newsitem has been archived, and may contain outdated information or links.