\n

Gener al proof theory studies how proofs are structured, and\n not primarily what can be proved in pa rticular formal\n systems. It has been develo ped within the framework of\n Gentzen-style p roof theory, as well as in categorial proof\n theory.\n

\n \n \nFor m ore information, see\n h ttp://ls.informatik.uni-tuebingen.de/GPT/\n

\n\n

We invite contr ibuted talks on topics of general proof\n the ory, including categorial proof theory. Contributi ons on\n related topics are welcome, too. We especially encourage young\n researchers to c ontribute. There will be 12 slots for\n contr ibuted talks (30 min).\n The deadline for\n submission is 15 July 2015.\n

\n URL:/NewsandEvents/Events/Conferences/newsitem/686 1/27-29-November-2015-General-Proof-Theory-Tuebing en-Germany END:VEVENT END:VCALENDAR