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 \n
https://site
s.google.com/site/therootsofdeduction/events-and-a
nnouncements/\n

\n 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

\n 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

\n \n The workshop is o
pen to all, but please register by sending a messa
ge to rootsofdeduction at gmail.com with the subject 'R
egistration for proof theory workshop', stating yo
ur name and affiliation.\n For more informa
tion, see\n https://sites.google.com/site/therootsofded
uction/events-and-announcements/\n

URL:/NewsandEvents/Archives/2013/newsitem/5290/3-5
-December-2013-Proof-Theory-and-Philosophy-Groning
en-The-Netherlands
END:VEVENT
END:VCALENDAR