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/2025/newsitem/15664/23
 -June-2025-Women-in-Logic-Online-Sara-Negri
DTSTAMP:20250602T135726
SUMMARY:Women in Logic Online, Sara Negri
ATTENDEE;ROLE=Speaker:Sara Negri
DTSTART;TZID=Europe/Amsterdam:20250623T170000
LOCATION:Online via Zoom
DESCRIPTION:Abstract:  Over the past few decades, 
 research in structural proof theory has made signi
 ficant advances in converting axioms into inferenc
 e rules, aiming to preserve the structural propert
 ies and proof-theoretic behaviour of a given logic
 al calculus. This transformation is especially rel
 evant for sequent calculi, where the addition of a
 xioms as initial sequents would affect desirable p
 roperties such as cut elimination or analyticity. 
 In this talk, we examine this conversion within th
 e framework of intuitionistic logic, offering both
  a comparative analysis with the classical setting
  and novel extensions of the methodology.  [Joint 
 work with Matteo Tesi]
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract:<br>\
 n  Over the past few decades, research in structur
 al proof theory has made significant advances in c
 onverting axioms into inference rules, aiming to p
 reserve the structural properties and proof-theore
 tic behaviour of a given logical calculus. This tr
 ansformation is especially relevant for sequent ca
 lculi, where the addition of axioms as initial seq
 uents would affect desirable properties such as cu
 t elimination or analyticity. In this talk, we exa
 mine this conversion within the framework of intui
 tionistic logic, offering both a comparative analy
 sis with the classical setting and novel extension
 s of the methodology.<br>\n  [Joint work with Matt
 eo Tesi]</p>\n
URL:https://www.vcla.at/2025/05/women-in-logic-onl
 ine-talk-with-sara-negri/
CONTACT:VCLA at office at vcla.at
END:VEVENT
END:VCALENDAR