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:<div>\n      <p>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      </p>\n      <p>
 A 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      </p>\n    \n      \n      <p>For more
  information, see\n        <a target="_blank" href
 ="http://vsl2014.at/pages/GSB-cfp.html">http://vsl
 2014.at/pages/GSB-cfp.html</a>\n      </p>\n    </
 div><div>\n      <p>\n        The Programme Commit
 tee cordially invites all researchers to\n        
 submit their papers for presentation.  Submission 
 deadline is\n        April 13, 2014.\n      </p>\n
       </div>
URL:/NewsandEvents/Archives/2014/newsitem/5551/13-
 July-2014-Third-International-Workshop-on-Gentzen-
 Systems-and-Beyond-GSB3-Vienna-Austria
END:VEVENT
END:VCALENDAR