BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2015/newsitem/6861/27- 29-November-2015-General-Proof-Theory-Tuebingen-Ge rmany DTSTAMP:20150419T000000 SUMMARY:General Proof Theory, Tuebingen, Germany DTSTART;VALUE=DATE:20151127 DTEND;VALUE=DATE:20151129 LOCATION:Tuebingen, Germany DESCRIPTION:General proof theory studies how proof s are structured, and not primarily what can be pr oved in particular formal systems. It has been dev eloped 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 categor ial proof theory. Contributions on related topics are welcome, too. We especially encourage young re searchers to contribute. There will be 12 slots fo r contributed talks (30 min). The deadline for sub mission is 15 July 2015. X-ALT-DESC;FMTTYPE=text/html:
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
We invite contributed talks on topics of general proof\n theory, i ncluding categorial proof theory. Contributions on \n related topics are welcome, too. We especi ally encourage young\n researchers to contrib ute. There will be 12 slots for\n contributed talks (30 min).\n The deadline for\n submi ssion is 15 July 2015.\n
\n