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:<div>\n      <p>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      </p>\n    \n      \n      <p>For m
 ore information, see\n        <a target="_blank" h
 ref="http://ls.informatik.uni-tuebingen.de/GPT/">h
 ttp://ls.informatik.uni-tuebingen.de/GPT/</a>\n   
    </p>\n    </div><div>\n      <p>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      </p>\n      </
 div>
URL:/NewsandEvents/Archives/2015/newsitem/6861/27-
 29-November-2015-General-Proof-Theory-Tuebingen-Ge
 rmany
END:VEVENT
END:VCALENDAR