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 : Beniamino Accattoli
URL:http://www-lipn.univ-paris13.fr/actualites/post/Explicit-substitutions-at-a-distance%2C-rewriting%2C-and-applications-to-the-theory-of-lambda-calculus
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-283
DTSTAMP:20120509T072034Z
DTSTART:20120514T120000Z
DTEND:20120514T130000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Beniamino Accattoli\nLCR, logique linéaire, réécriture, substitutions explicites, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/Explicit-substitutions-at-a-distance%2C-rewriting%2C-and-applications-to-the-theory-of-lambda-calculus\n
LOCATION;CHARSET=UTF-8:B311, LIPN, 99, avenue Jean-Baptiste Clément, Villetaneuse, France\n
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
SEQUENCE:0
PRIORITY:5
CLASS:PUBLIC
SUMMARY;CHARSET=UTF-8:Séminaire LCR : Thomas Seiller
URL:http://www-lipn.univ-paris13.fr/actualites/post/Graphes-d-interaction
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-162
DTSTAMP:20100525T061704Z
DTSTART:20100531T133000Z
DTEND:20100531T143000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Thomas Seiller\nLCR, géométrie de l interaction, logique linéaire, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/Graphes-d-interaction\n
LOCATION;CHARSET=UTF-8:B311, LIPN, 99, avenue Jean-Baptiste Clément, Villetaneuse, France\n
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
SEQUENCE:0
PRIORITY:5
CLASS:PUBLIC
SUMMARY;CHARSET=UTF-8:Séminaire LCR : Daniel de Carvalho
URL:http://www-lipn.univ-paris13.fr/actualites/post/La-s%C3%A9mantique-relationnelle-de-la-logique-lin%C3%A9aire-est-elle-injective
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-159
DTSTAMP:20100408T210048Z
DTSTART:20100412T113000Z
DTEND:20100412T123000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Daniel de Carvalho\nLCR, logique linéaire, réseaux de preuve, sémantique dénotationnelle, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/La-s%C3%A9mantique-relationnelle-de-la-logique-lin%C3%A9aire-est-elle-injective\n
LOCATION;CHARSET=UTF-8:D214, LIPN, 99, avenue Jean-Baptiste Clément, Villetaneuse, France\n
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
SEQUENCE:0
PRIORITY:5
CLASS:PUBLIC
SUMMARY;CHARSET=UTF-8:Séminaire LCR : David Baelde
URL:http://www-lipn.univ-paris13.fr/actualites/post/Finite-automata-and-regular-fixed-point-formulas-in-muMALL
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-135
DTSTAMP:20091217T151146Z
DTSTART:20100111T143000Z
DTEND:20100111T153000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : David Baelde\nLCR, logique linéaire, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/Finite-automata-and-regular-fixed-point-formulas-in-muMALL\n
LOCATION;CHARSET=UTF-8:B311, LIPN, 99, avenue Jean-Baptiste Clément, Villetaneuse, France\n
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
SEQUENCE:0
PRIORITY:5
CLASS:PUBLIC
SUMMARY;CHARSET=UTF-8:GdT Log&Prog: Paolo Di Giamberardino
URL:http://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22%3A-Paolo-Di-Giamberardino2
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-106
DTSTAMP:20090320T111214Z
DTSTART:20090323T130000Z
DTEND:20090323T140000Z
DESCRIPTION;CHARSET=UTF-8:GdT Log&Prog: Paolo Di Giamberardino\nComplice, GdT LogProg, LCR, logique linéaire, réseaux de preuve\nhttp://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22%3A-Paolo-Di-Giamberardino2\n
LOCATION;CHARSET=UTF-8:B311, LIPN, 99, avenue Jean-Baptiste Clément, Villetaneuse, France\n
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
SEQUENCE:0
PRIORITY:5
CLASS:PUBLIC
SUMMARY;CHARSET=UTF-8:Thèse V. Atassi
URL:http://www-lipn.univ-paris13.fr/actualites/post/Soutenance-de-th%C3%A8se-de-Vincent-Atassi
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-84
DTSTAMP:20081124T120340Z
DTSTART:20081202T150000Z
DTEND:20081202T170000Z
DESCRIPTION;CHARSET=UTF-8:Thèse V. Atassi\nLCR, complexité implicite, logique linéaire, pot, thèse\nhttp://www-lipn.univ-paris13.fr/actualites/post/Soutenance-de-th%C3%A8se-de-Vincent-Atassi\n
LOCATION;CHARSET=UTF-8:B311, LIPN, 99, avenue Jean-Baptiste Clément, Villetaneuse, France\n
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
SEQUENCE:0
PRIORITY:5
CLASS:PUBLIC
SUMMARY;CHARSET=UTF-8:GdT Log&Prog: Paolo Di Giamberardino
URL:http://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22%3A-Paolo-Di-Giamberardino
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-105
DTSTAMP:20090320T111309Z
DTSTART:20080929T113000Z
DTEND:20080929T123000Z
DESCRIPTION;CHARSET=UTF-8:GdT Log&Prog: Paolo Di Giamberardino\nGdT LogProg, LCR, logique linéaire, réseaux de preuve\nhttp://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22%3A-Paolo-Di-Giamberardino\n
LOCATION;CHARSET=UTF-8:B311, LIPN, 99, avenue Jean-Baptiste Clément, Villetaneuse, France\n
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
SEQUENCE:0
PRIORITY:5
CLASS:PUBLIC
SUMMARY;CHARSET=UTF-8:Habilitation P. Baillot
URL:http://www-lipn.univ-paris13.fr/actualites/post/Soutenance-dhabilitation-de-Patrick-Baillot
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-40
DTSTAMP:20080403T164451Z
DTSTART:20080311T130000Z
DTEND:20080311T153000Z
DESCRIPTION;CHARSET=UTF-8:Habilitation P. Baillot\nHDR, LCR, laboratoire, logique linéaire\nhttp://www-lipn.univ-paris13.fr/actualites/post/Soutenance-dhabilitation-de-Patrick-Baillot\n
LOCATION;CHARSET=UTF-8:Amphi Euler\n
END:VEVENT
BEGIN:VEVENT
TRANSP:OPAQUE
SEQUENCE:0
PRIORITY:5
CLASS:PUBLIC
SUMMARY;CHARSET=UTF-8:Workshop (Implicit Computational Complexity)
URL:http://www-lipn.univ-paris13.fr/actualites/post/Workshop-on-Implicit-Computational-Complexity
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-20
DTSTAMP:20080221T144237Z
DTSTART;VALUE=DATE:20080211
DTEND;VALUE=DATE:20080214
DESCRIPTION;CHARSET=UTF-8:Workshop (Implicit Computational Complexity)\nLCR, complexité implicite, logique linéaire\nhttp://www-lipn.univ-paris13.fr/actualites/post/Workshop-on-Implicit-Computational-Complexity\n
LOCATION;CHARSET=UTF-8:Amphi Copernic\n
END:VEVENT
END:VCALENDAR