BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A game for a neutral approach to provability in MALL - Olivier Del
 ande\, Laboratoire d'Informatique (LIX)\, Ecole Polytechnique
DTSTART:20090220T143000Z
DTEND:20090220T153000Z
UID:TALK17132@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:Game semantics for logic are usually asymmetric in the sense t
 hat the winning \nstrategies of the player in an arena A can be seen as th
 e proofs of A\, but \nthose of the opponent do not correspond to any proof
 --they are mere witnesses \nthat A is not provable. In contrast\, I will p
 resent an original game for the \nmultiplicative and additive fragment of 
 linear logic (MALL)\, in which the \nwinning strategies of the opponent co
 rrespond to proofs of the negation of A. \nThat is\, plays can be seen as 
 the simultaneous development of two orthogonal \nderivations.\n\nNOTE THAT
  WE ARE STARTING 30 MINUTES LATER THAN USUAL
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR