BEGIN:VCALENDAR
PRODID: JCDubacq
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:Actualités du LIPN
BEGIN:VEVENT
TRANSP:OPAQUE
SEQUENCE:0
PRIORITY:5
CLASS:PUBLIC
SUMMARY;CHARSET=UTF-8:Séminaire LCR : Thomas Streicher
URL:http://www-lipn.univ-paris13.fr/actualites/post/Introduction-to-triposes-and-intuitionistic-realizability-toposes
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-276
DTSTAMP:20120319T142349Z
DTSTART:20120326T113000Z
DTEND:20120326T130000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Thomas Streicher\nLCR, réalisabilité intuitionniste, séminaire LCR, topos, tripos\nhttp://www-lipn.univ-paris13.fr/actualites/post/Introduction-to-triposes-and-intuitionistic-realizability-toposes\n
LOCATION;CHARSET=UTF-8:B311, LIPN, 99, avenue Jean-Baptiste Clément, Villetaneuse, France\n
END:VEVENT
END:VCALENDAR