BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8613@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20250401T100000
DTEND;TZID=Europe/Paris:20250401T113000
DTSTAMP:20250313T111649Z
URL:https://www.i2m.univ-amu.fr/evenements/combinatorial-proofs-for-classi
 cal-and-intuitionistic-logic-lirica-2/
SUMMARY:Lutz Straßburger (LIX\, INRIA Saclay): Combinatorial proofs for cl
 assical and intuitionistic logic [Lirica]
DESCRIPTION:Lutz Straßburger: (Séminaire de l’équipe Lirica au LIS)\n\
 nCombinatorial proofs\, or “proofs without syntax”\, form a graphical\
 nsemantics of proof in various logics that is canonical yet\ncomplexity-aw
 are: they are a polynomial-sized representation\nof sequent proofs that fa
 ctors out exactly the non-duplicating\npermutations. This is achieved by f
 actoring a proof into a purely linear\nproof and a resource management par
 t.\n\nIn the talk\, I will introduce combinatorial proofs for classical lo
 gic and\nintuitionistic logic. And if time permits\, I will also discuss t
 heir\nnormalization.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:Luminy - LIS\, salle 04.02\, Campus de Luminy\, Marseille\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Campus de Luminy\, Marseill
 e\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - LIS\, salle 04.02:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20250330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR