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/2014/newsitem/5551/13- July-2014-Third-International-Workshop-on-Gentzen- Systems-and-Beyond-GSB3-Vienna-Austria DTSTAMP:20140213T000000 SUMMARY:Third International Workshop on Gentzen Sy stems and Beyond (GSB3), Vienna, Austria DTSTART;VALUE=DATE:20140713 DTEND;VALUE=DATE:20140713 LOCATION:Vienna, Austria DESCRIPTION:This is a workshop on Gentzen-style pr oof systems, their generalizations, and extensions . Since the introduction of the sequent calculus a nd natural deduction by Gerhard Gentzen in the 193 0s, a wide spectrum of formalisms have been used t o construct proof systems for logics resisting a s impler description, including hypersequents, deep inference systems, display calculi, labelled deduc tive systems, tableaux, and proof nets, to name ju st a few. The aim of this workshop is to explore a nd compare the motivations for and relative merits of these different approaches. A broader aim of the workshop is to build a bridge between researc hers into theoretical aspects of structural proof theory and the more application-oriented goals of the proof theory community, particularly in cases where the methods, such as constructing analytic s ystems, are shared. ------------------------------ -------------------------------------------------- ---- For more information, see http://vsl2014.at /pages/GSB-cfp.html The Programme Committee cord ially invites all researchers to submit their pape rs for presentation. Submission deadline is April 13, 2014. X-ALT-DESC;FMTTYPE=text/html:
This is a workshop on Gentzen-style proof systems, thei r\n generalizations, and extensions. Since th e introduction of the\n sequent calculus and natural deduction by Gerhard Gentzen in the\n 1930s, a wide spectrum of formalisms have been us ed to construct\n proof systems for logics re sisting a simpler description,\n including hy persequents, deep inference systems, display\n calculi, labelled deductive systems, tableaux, a nd proof nets,\n to name just a few. The aim of this workshop is to explore and\n compare the motivations for and relative merits of these\n different approaches.\n
\nA broader aim of the workshop is to build a bridge between\n researchers into theoretical aspec ts of structural proof theory\n and the more application-oriented goals of the proof theory\n community, particularly in cases where the met hods, such as\n constructing analytic systems , are shared.\n ----------------------------- -------------------------------------------------- -----\n
\n \n \nFor more information, see\n http://vsl 2014.at/pages/GSB-cfp.html\n
\n The Programme Committee co rdially invites all researchers to\n submit their papers for presentation. Submission deadli ne is\n April 13, 2014.\n
\n URL:/NewsandEvents/Archives/2014/newsitem/5551/13- July-2014-Third-International-Workshop-on-Gentzen- Systems-and-Beyond-GSB3-Vienna-Austria END:VEVENT END:VCALENDAR