BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Truth as play: Logic behind the games
DTSTART:20260512T140000Z
DTEND:20260512T150000Z
DTSTAMP:20260523T230800Z
UID:indico-event-16558@indico.math.cnrs.fr
DESCRIPTION:Speakers: Keyao Peng (IMB)\n\nI will talk about the logic aspe
 ct of two-player games with perfect information (sorry for Belote). We wil
 l explore the relation between game and propitiation\, winning strategy an
 d proof. Then I will introduce linear logic and define the game semantics 
 and see how it improves classic logic.\n\nhttps://indico.math.cnrs.fr/even
 t/16558/
LOCATION:318
URL:https://indico.math.cnrs.fr/event/16558/
END:VEVENT
END:VCALENDAR