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:464@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20141120T110000
DTEND;TZID=Europe/Paris:20141120T120000
DTSTAMP:20141105T100000Z
URL:https://www.i2m.univ-amu.fr/evenements/un-formalisme-pour-reduire-la-t
 aille-des-preuves/
SUMMARY: (...): Un formalisme pour réduire la taille des preuves
DESCRIPTION:: La deep inference est un formalisme des preuves généralisan
 t le calcul des séquents. Il permet d'exprimer plus de logiques d'une fa
 çon plus compacte. Je passerai en revue ses principales propriétés aux 
 travers de la logique BV\, la logique classique et les atomic flows. J'abo
 rderai également les récentes tentatives de définir la substitution d'u
 n atome par une dérivation en deep inference.[http://www.bath.ac.uk/comp-
 sci/research/mathematical-foundations/]
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20141026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR