BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
PRODID:-//Seminaire Thesards//iCal 3.0//FR
X-WR-RELCALID:357bd9c5-f4ee-440e-a34b-e68e753cc0be
X-WR-CALNAME:Séminaire des Thésards
X-WR-TIMEZONE:Europe/Paris
X-PUBLISHED-TTL:120
BEGIN:VEVENT
UID:3f4f881c-981f-11e1-9407-f389801144d8
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (
    Heger Arfaoui
  )
DESCRIPTION:
    2-player games without communication.
  
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:
    20120509T110000
  
DTEND:
    20120509T120000
  
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#arfaoui
X-DATE:
    
    9 mai 2012
  
X-HOMEPAGE:
    
    http://liafa.jussieu.fr/web9/equiprech/fichepers_fr.php?id=298
  
END:VEVENT
BEGIN:VEVENT
UID:8f3bee26-5885-11e1-8a1a-735c20f35481
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Cédric Pasteur)
DESCRIPTION:ReactiveML, un langage de haut-niveau pour la programmation de systèmes
concurrents et réactifs
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20120314T110000
DTEND:20120314T110000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#pasteur
X-DATE:14 mars 2012
X-HOMEPAGE:http://www.di.ens.fr/~pasteur/
END:VEVENT
BEGIN:VEVENT
UID:a20b3e30-61f4-11e1-8f32-c3ef89332f07
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (
    Fu Song
  )
DESCRIPTION:
    
  
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:
    20120229T110000
  
DTEND:
    20120229T110000
  
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#fu
X-DATE:
    
    29 février 2012
  
X-HOMEPAGE:
    
    http://www.liafa.fr/web9/equiprech/fichepers_fr.php?id=271
  
END:VEVENT
BEGIN:VEVENT
UID:a3712b4a-53d5-11e1-b475-3330865b26b8
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Sarah Bulteau)
DESCRIPTION:Modèles du lambda-calcul pur
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20120208T110000
DTEND:20120208T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#bulteau
X-DATE:8 février 2012
X-HOMEPAGE:http://www.pps.jussieu.fr/membres/doctorants
END:VEVENT
BEGIN:VEVENT
UID:5211be1c-53d6-11e1-b41e-b7e3bbbab6f8
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Luc Dartois)
DESCRIPTION:Hiérarchies Booléennes
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20120118T110000
DTEND:20120118T110000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#dartois
X-DATE:18 janvier 2012
X-HOMEPAGE:http://www.liafa.fr/web9/equiprech/fichepers_fr.php?id=297
END:VEVENT
BEGIN:VEVENT
UID:40f63d52-1997-11e1-b0de-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Shahin Amini)
DESCRIPTION:Théorie des ensembles et systèmes de types
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20111130T110000
DTEND:20111130T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#amini
X-DATE:30 novembre 2011
X-HOMEPAGE:http://www.pps.jussieu.fr/membres/doctorants
END:VEVENT
BEGIN:VEVENT
UID:a0c24072-143e-11e1-bac0-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Maximilien Colange, LIP6, équipe MoVe)
DESCRIPTION:Model-checking symbolique des systèmes répartis
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20111123T110000
DTEND:20111123T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#colange
X-DATE:23 novembre 2011
X-HOMEPAGE:http://www.lip6.fr/actualite/personnes-fiche.php?ident=D1215
END:VEVENT
BEGIN:VEVENT
UID:6d35430e-0533-11e1-abb1-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Gabriel Kerneis)
DESCRIPTION:Concurrence par Passage de Continuations (en C)
  
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20111102T110000
DTEND:20111102T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#kerneis3
X-DATE:2 novembre 2011
X-HOMEPAGE:http://www.pps.jussieu.fr/~kerneis/
END:VEVENT
BEGIN:VEVENT
UID:1b501f32-f962-11e0-9347-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Antoine Taveneaux)
DESCRIPTION:Calculabilité et mathématiques effectives
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20111019T110000
DTEND:20111019T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#taveneaux
X-DATE:19 octobre 2011
X-HOMEPAGE:http://www.liafa.jussieu.fr/~taveneaux/
END:VEVENT
BEGIN:VEVENT
UID:3615864c-eb7d-11e0-a23c-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Flavien Breuvart)
DESCRIPTION:Et si les PPSiens se mettaient à faire de l'algèbre?!!
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20111005T110000
DTEND:20111005T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#breuvart
X-DATE:5 octobre 2011
X-HOMEPAGE:http://www.perdu.com
END:VEVENT
BEGIN:VEVENT
UID:890ba9a6-e2bf-11e0-95e3-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Elie de Panafieu)
DESCRIPTION:Les bases de la combinatoire analytique
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110921T110000
DTEND:20110921T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#panafieu
X-DATE:21 septembre 2011
X-HOMEPAGE:http://www.liafa.fr/web9/equiprech/fichepers_fr.php?id=325
END:VEVENT
BEGIN:VEVENT
UID:91e2206a-ac9a-11e0-87e2-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Rémi de Joannis de Verclos)
DESCRIPTION:Mauvaise propagation de rumeur.
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110713T110000
DTEND:20110713T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#remi
X-DATE:13 juillet 2011
X-HOMEPAGE:
END:VEVENT
BEGIN:VEVENT
UID:2804e0fc-a0b9-11e0-98b7-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Fu Song)
DESCRIPTION:Verification
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110629T110000
DTEND:20110629T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#song
X-DATE:29 juin 2011
X-HOMEPAGE:http://www.liafa.fr/web9/equiprech/fichepers_fr.php?id=271
END:VEVENT
BEGIN:VEVENT
UID:45da866e-9352-11e0-99d1-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Irène Marcovici)
DESCRIPTION:Bifurcations dans les automates cellulaires.
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110615T110000
DTEND:20110615T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#marcovici
X-DATE:15 juin 2011
X-HOMEPAGE:http://www.liafa.jussieu.fr/~marcovici/
END:VEVENT
BEGIN:VEVENT
UID:18a9fb30-8ab9-11e0-9c50-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Antoine Mamcarz)
DESCRIPTION:Théorie des graphes.
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110601T110000
DTEND:20110601T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#mamcarz
X-DATE:1er juin 2011
X-HOMEPAGE:http://liafa.jussieu.fr/web9/equiprech/fichepers_fr.php?id=285
END:VEVENT
BEGIN:VEVENT
UID:8654c85c-7620-11e0-9a8d-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Thibaut Balabonski)
DESCRIPTION:Recyclons nos calculs usagés pour faire des économies d'énergie.
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110511T110000
DTEND:20110511T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#balabonski
X-DATE:11 mai 2011
X-HOMEPAGE:http://www.pps.jussieu.fr/~balabons/index.html
END:VEVENT
BEGIN:VEVENT
UID:ce3b81a4-69cf-11e0-81d3-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Robin Langer)
DESCRIPTION:Fonctions Symétriques et Polynômes de Macdonald
  
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110420T110000
DTEND:20110420T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#langer
X-DATE:20 avril 2011
X-HOMEPAGE:http://www.liafa.fr/web9/equiprech/fichepers_fr.php?id=290
END:VEVENT
BEGIN:VEVENT
UID:19c2f794-3a85-11e0-a678-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Pejman Attar)
DESCRIPTION:
Dynamic Script Language
  
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110330T110000
DTEND:20100330T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#attar
X-DATE:30 mars 2011
X-HOMEPAGE:http://www.pps.jussieu.fr/~pejman/
END:VEVENT
BEGIN:VEVENT
UID:c29a46c0-53ed-11e0-b8af-0800200c9a66
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Hoang-Thach Nguyen)
DESCRIPTION:Reseaux de Petri a deficience zero
  
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110323T110000
DTEND:20100323T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#nguyen
X-DATE:23 mars 2011
X-HOMEPAGE:http://www.liafa.fr/web9/equiprech/fichepers_fr.php?id=237
END:VEVENT
BEGIN:VEVENT
UID:83719908-3a84-11e0-935e-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Guillaume Munch-Maccagnoni)
DESCRIPTION:What can orthogonality do for typed programming?
(An introduction to classical realisability for computer scientists)
  
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110302T110000
DTEND:20110302T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#munch
X-DATE:2 mars 2011
X-HOMEPAGE:http://www.pps.jussieu.fr/~munch/
END:VEVENT
BEGIN:VEVENT
UID:1eca7c86-3a84-11e0-b39c-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Denis Kuperberg)
DESCRIPTION:Comment compter avec LTL
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20110223T110000
DTEND:20100223T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#kuperberg2
X-DATE:23 février 2011
X-HOMEPAGE:http://www.liafa.fr/web9/equiprech/fichepers_fr.php?id=261
END:VEVENT
BEGIN:VEVENT
UID:86bdf21a-fee2-11df-9b76-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Gabriel Kerneis)
DESCRIPTION:A chthonian walk through Hekate,
     or How to seed the world with green threads.
  
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20101215T110000
DTEND:20101215T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#kerneis2
X-DATE:15 décembre 2010
X-HOMEPAGE:http://www.pps.jussieu.fr/~kerneis/
END:VEVENT
BEGIN:VEVENT
UID:b8ae0b94-fee1-11df-abc8-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Antoine Durand-Gasselin)
DESCRIPTION:L'utilisation des automates pour l'arithmétique de Presburger
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20101208T110000
DTEND:20101208T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#durand
X-DATE:8 décembre 2010
X-HOMEPAGE:http://www.liafa.jussieu.fr/~adg/
END:VEVENT
BEGIN:VEVENT
UID:9b177b9e-e7fb-11df-8ab8-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Mathias Kende)
DESCRIPTION:Parallélisation automatique pour les langages fonctionnels.
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20101124T110000
DTEND:20101124T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#kende
X-DATE:24 novembre 2010
X-HOMEPAGE:
END:VEVENT
BEGIN:VEVENT
UID:77308638-e7ee-11df-af5b-001c25cf7f7a
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Nathanaël Fijalkow)
DESCRIPTION:Jeux sur les graphes.
LOCATION: Salle sous-marin 6A92, Chevaleret, Paris
DTSTART:20101110T110000
DTEND:20101110T120000
URL;VALUE=URI:http://www.pps.jussieu.fr/~balabons/Seminaire-thesards/#fijalkow
X-DATE:10 novembre 2010
X-HOMEPAGE:http://www.liafa.jussieu.fr/~nath/
END:VEVENT
END:VCALENDAR