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 : Barbara Petit
URL:http://www-lipn.univ-paris13.fr/actualites/post/Toward-a-Bounded-Linear-Type-system-for-PCF-in-Call-by-value
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-281
DTSTAMP:20120428T094040Z
DTSTART:20120430T120000Z
DTEND:20120430T130000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Barbara Petit\nLCR, complexité implicite, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/Toward-a-Bounded-Linear-Type-system-for-PCF-in-Call-by-value\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 : Paolo Parisen Toldin
URL:http://www-lipn.univ-paris13.fr/actualites/post/An-imperative-characterization-of-probabilistic-polynomial-time
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-279
DTSTAMP:20120412T122302Z
DTSTART:20120423T120000Z
DTEND:20120423T130000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Paolo Parisen Toldin\nLCR, calcul probabiliste, complexité implicite, complexité probabiliste, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/An-imperative-characterization-of-probabilistic-polynomial-time\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 : Paolo Parisen Toldin
URL:http://www-lipn.univ-paris13.fr/actualites/post/Paolo-Parisen-Toldin-%3A-TBA
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-240
DTSTAMP:20111128T061833Z
DTSTART:20111128T130000Z
DTEND:20111128T150000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Paolo Parisen Toldin\nLCR, complexité implicite, complexité probabiliste, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/Paolo-Parisen-Toldin-%3A-TBA\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 : Paolo Parisen Toldin
URL:http://www-lipn.univ-paris13.fr/actualites/post/Paolo-Parisen-Toldin-%3A-TBA
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-241
DTSTAMP:20111128T061833Z
DTSTART:20111128T130000Z
DTEND:20111128T140000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Paolo Parisen Toldin\nLCR, complexité implicite, complexité probabiliste, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/Paolo-Parisen-Toldin-%3A-TBA\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 : Paolo Parisen Toldin
URL:http://www-lipn.univ-paris13.fr/actualites/post/Paolo-Parisen-Toldin-%3A-TBA
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-251
DTSTAMP:20111128T061833Z
DTSTART:20111128T130000Z
DTEND:20111128T140000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Paolo Parisen Toldin\nLCR, complexité implicite, complexité probabiliste, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/Paolo-Parisen-Toldin-%3A-TBA\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 : Margherita Zorzi
URL:http://www-lipn.univ-paris13.fr/actualites/post/On-quantum-complexity-classes-and-quantum-ICC
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-234
DTSTAMP:20111020T064700Z
DTSTART:20111024T120000Z
DTEND:20111024T130000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Margherita Zorzi\nLCR, calcul quantique, complexité implicite, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/On-quantum-complexity-classes-and-quantum-ICC\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 : Pierre Clairambault
URL:http://www-lipn.univ-paris13.fr/actualites/post/Estimation-of-the-length-of-interactions-in-arena-game-semantics
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-199
DTSTAMP:20110323T121901Z
DTSTART:20110328T133000Z
DTEND:20110328T143000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Pierre Clairambault\nLCR, complexité implicite, sémantique des jeux, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/Estimation-of-the-length-of-interactions-in-arena-game-semantics\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 : Jean-Yves Moyen
URL:http://www-lipn.univ-paris13.fr/actualites/post/%C3%89quivalence-entre-les-analyses-mwp-et-Quasi-interpr%C3%A9tations
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-195
DTSTAMP:20110302T122316Z
DTSTART:20110321T143000Z
DTEND:20110321T153000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Jean-Yves Moyen\nLCR, complexité implicite, quasi interprétations, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/%C3%89quivalence-entre-les-analyses-mwp-et-Quasi-interpr%C3%A9tations\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 : Ugo Dal Lago
URL:http://www-lipn.univ-paris13.fr/actualites/post/Functional-Programming-in-Sublinear-Space
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-177
DTSTAMP:20101214T112025Z
DTSTART:20101220T143000Z
DTEND:20101220T153000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Ugo Dal Lago\nLCR, complexité implicite, espace logarithmique, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/Functional-Programming-in-Sublinear-Space\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 : Simone Martini
URL:http://www-lipn.univ-paris13.fr/actualites/post/High-order-processes-and-soft-logic
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-176
DTSTAMP:20101207T192558Z
DTSTART:20101213T143000Z
DTEND:20101213T153000Z
DESCRIPTION;CHARSET=UTF-8:Séminaire LCR : Simone Martini\nLCR, complexité implicite, concurrence, séminaire LCR\nhttp://www-lipn.univ-paris13.fr/actualites/post/High-order-processes-and-soft-logic\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: Amir Ben-Amram
URL:http://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22-%3A-24/11/2008%2C-13h30%2C-B311-%3A-Amir-Ben-Amram
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-87
DTSTAMP:20090320T103551Z
DTSTART:20081124T123000Z
DTEND:20081124T133000Z
DESCRIPTION;CHARSET=UTF-8:GdT Log&Prog: Amir Ben-Amram\nGdT LogProg, LCR, complexité implicite\nhttp://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22-%3A-24/11/2008%2C-13h30%2C-B311-%3A-Amir-Ben-Amram\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: Damiano Mazza
URL:http://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22-%3A-Damiano-Mazza2
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-103
DTSTAMP:20090320T105320Z
DTSTART:20081103T143000Z
DTEND:20081103T153000Z
DESCRIPTION;CHARSET=UTF-8:GdT Log&Prog: Damiano Mazza\nGdT LogProg, LCR, complexité implicite, sémantique dénotationnelle\nhttp://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22-%3A-Damiano-Mazza2\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: Damiano Mazza
URL:http://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22-%3A-Damiano-Mazza
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-102
DTSTAMP:20090320T105343Z
DTSTART:20081027T123000Z
DTEND:20081027T133000Z
DESCRIPTION;CHARSET=UTF-8:GdT Log&Prog: Damiano Mazza\nGdT LogProg, LCR, complexité implicite, sémantique dénotationnelle\nhttp://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22-%3A-Damiano-Mazza\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: Damiano Mazza
URL:http://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22-%3A-13/10/2008%2C-13h30%2C-B311-%3A-Damiano-Mazza
UID:http://www-lipn.univ-paris13.fr/actualites/thisisnotanurl/icsfeed-101
DTSTAMP:20090320T105414Z
DTSTART:20081013T113000Z
DTEND:20081013T123000Z
DESCRIPTION;CHARSET=UTF-8:GdT Log&Prog: Damiano Mazza\nGdT LogProg, LCR, complexité implicite\nhttp://www-lipn.univ-paris13.fr/actualites/post/Groupe-de-travail-%22Logique-et-Programmation%22-%3A-13/10/2008%2C-13h30%2C-B311-%3A-Damiano-Mazza\n
LOCATION;CHARSET=UTF-8:, 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: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