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/2013/newsitem/5290/3-5
 -December-2013-Proof-Theory-and-Philosophy-Groning
 en-The-Netherlands
DTSTAMP:20131010T000000
SUMMARY:"Proof Theory and Philosophy", Groningen, 
 The Netherlands
DTSTART;VALUE=DATE:20131203
DTEND;VALUE=DATE:20131205
LOCATION:Groningen, The Netherlands
DESCRIPTION:https://sites.google.com/site/theroots
 ofdeduction/events-and-announcements/  On December
  3-5 2013, the Department of Theoretical Philosoph
 y of the Faculty of Philosophy in Groningen will h
 ost the workshop 'Proof Theory and Philosophy', jo
 intly organized by the VIDI projects 'The Roots of
  Deduction' and 'Logics for Intelligent Interactio
 n: Expressivity and Succictness', and the Munich C
 enter for Mathematical Philosophy.   This workshop
  aims at reviving the inherent philosophical inter
 est of proof theory, and at showcasing a number of
  interesting applications that the framework can h
 ave for long-standing philosophical and logical qu
 estions. Moreover, it will foster philosophical di
 scussions on the foundations of proof theory as an
  area of inquiry, including the very concept of a 
 proof and the conceptual, philosophical import of 
 key results such as normalization, cut elimination
 , admissibility and derivability of rules. Finally
 , since the growing interest in modal proof theory
  is challenging and reshaping philosophical debate
 s, the workshop will provide a forum for the discu
 ssion of ongoing research across proof theory and 
 philosophical logics.   The workshop is open to al
 l, but please register by sending a message to roo
 tsofdeduction at gmail.com with the subject 'Regis
 tration for proof theory workshop', stating your n
 ame and affiliation. For more information, see htt
 ps://sites.google.com/site/therootsofdeduction/eve
 nts-and-announcements/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 <a target="_blank" href="https://sites.google.com/
 site/therootsofdeduction/events-and-announcements/
 workshop-proof-theory-and-philosophy">https://site
 s.google.com/site/therootsofdeduction/events-and-a
 nnouncements/</a>\n      </p>\n      <p>On Decembe
 r 3-5 2013, the Department of Theoretical\n      P
 hilosophy of the Faculty of Philosophy in Groninge
 n will host\n      the workshop 'Proof Theory and 
 Philosophy', jointly organized by\n      the VIDI 
 projects 'The Roots of Deduction' and 'Logics for\
 n      Intelligent Interaction: Expressivity and S
 uccictness', and the\n      Munich Center for Math
 ematical Philosophy.\n      </p>\n      <p>This wo
 rkshop aims at reviving the inherent philosophical
 \n      interest of proof theory, and at showcasin
 g a number of\n      interesting applications that
  the framework can have for\n      long-standing p
 hilosophical and logical questions. Moreover, it\n
       will foster philosophical discussions on the
  foundations of\n      proof theory as an area of 
 inquiry, including the very concept\n      of a pr
 oof and the conceptual, philosophical import of ke
 y\n      results such as normalization, cut elimin
 ation, admissibility\n      and derivability of ru
 les. Finally, since the growing interest\n      in
  modal proof theory is challenging and reshaping p
 hilosophical\n      debates, the workshop will pro
 vide a forum for the discussion of\n      ongoing 
 research across proof theory and philosophical log
 ics.\n      </p>\n    \n      <p>The workshop is o
 pen to all, but please register by sending a messa
 ge to <a class="email">rootsofdeduction <span clas
 s="at">at</span> gmail.com</a> with the subject 'R
 egistration for proof theory workshop', stating yo
 ur name and affiliation.\n        For more informa
 tion, see\n        <a target="_blank" href="https:
 //sites.google.com/site/therootsofdeduction/events
 -and-announcements/workshop-proof-theory-and-philo
 sophy">https://sites.google.com/site/therootsofded
 uction/events-and-announcements/</a>\n      </p>\n
     
URL:/NewsandEvents/Archives/2013/newsitem/5290/3-5
 -December-2013-Proof-Theory-and-Philosophy-Groning
 en-The-Netherlands
END:VEVENT
END:VCALENDAR