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:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Antoine Allioux)
DESCRIPTION:
Krivine machine and Taylor expansion in a non-uniform setting


 
LOCATION: cf Site
DTSTART:
    20160608T110000
  
DTEND:
    20160608T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-06-allioux-antoine
X-DATE:
    08 juin 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Joey Beauvais-Feisthauer)
DESCRIPTION:
Introduction à la théorie des types homotopique
 
LOCATION: cf Site
DTSTART:
    20160518T110000
  
DTEND:
    20160518T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-05-beauvais-joey
X-DATE:
    18 mai 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Pierre Vial)
DESCRIPTION:
Lambda-calculus and intersection type theory
 
LOCATION: cf Site
DTSTART:
    20160504T110000
  
DTEND:
    20160504T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-05-vial-pierre
X-DATE:
    04 mai 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Clément Dervieux)
DESCRIPTION:
Cartes Planaires
 
LOCATION: cf Site
DTSTART:
    20160413T110000
  
DTEND:
    20160413T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-04-dervieux-clement
X-DATE:
    13 Avril 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Laurent Feuilloley / Simon Collet)
DESCRIPTION:
Part 1 :Algorithmes de graphe distribués
Part 2 : An overview of evolutionary game theory
 
LOCATION: cf Site
DTSTART:
    20160330T110000
  
DTEND:
    20160330T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-03-feuilloley-laurent
X-DATE:
    30 mars 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Maxime Lucas)
DESCRIPTION:
Word Rewriting and Cubes
 
LOCATION: cf Site
DTSTART:
    20160323T110000
  
DTEND:
    20160323T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-03-lucas-maxime
X-DATE:
    23 mars 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Amina Doumane)
DESCRIPTION:
On the proof theory of infinitary proofs
 
LOCATION: cf Site
DTSTART:
    20160309T110000
  
DTEND:
    20160309T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-03-doumane-amina
X-DATE:
    09 mars 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Guillaume Lagarde)
DESCRIPTION:
Calcul de polynômes en non-commutatif : bornes inférieures et tests d'identité de polynômes.
 
LOCATION: cf Site
DTSTART:
    20160302T150000
  
DTEND:
    20160302T160000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-03-lagarde-guillaume
X-DATE:
    02 mars 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Pierre Vial / Ludovic Patey)
DESCRIPTION:
Part 1 :A pre-digestive journey into quantitative type systems and infinitary lambda-terms
Part 2 : Introduction aux mathématiques à rebours 
 
LOCATION: cf Site
DTSTART:
    20160217T110000
  
DTEND:
    20160217T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-02-vial-pierre
X-DATE:
    17 février 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Pablo Rotondo)
DESCRIPTION:
Pablo Rotondo
 
LOCATION: cf Site
DTSTART:
    20160203T150000
  
DTEND:
    20160203T160000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-02-rotondo-pablo
X-DATE:
    03 février 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Cyrille Chenavier)
DESCRIPTION:
Reduction operators: rewriting properties and completion

 
LOCATION: cf Site
DTSTART:
    20160120T110000
  
DTEND:
    20160120T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2016-01-chenavier-cyrille
X-DATE:
    20 janvier 2016
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Matthieu Boutier)
DESCRIPTION:
Applications multi-chemins dans des réseaux multihomés.

 
LOCATION: cf Site
DTSTART:
    20151216T140000
  
DTEND:
    20151216T150000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-12-boutier-matthieu
X-DATE:
    16 decembre 2015
  
X-HOMEPAGE:
http://www.pps.univ-paris-diderot.fr/~boutier/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Alex Bredariol-Grilo)
DESCRIPTION:
Quantum verifiers and subset state witnesses

 
LOCATION: cf Site
DTSTART:
    20151202T110000
  
DTEND:
    20151202T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-12-bredariol-grilo-alex
X-DATE:
    02 decembre 2015
  
X-HOMEPAGE:
http://www.liafa.univ-paris-diderot.fr/web9/equiprech/fichepers_fr.php?id=401
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Jovana Obradovic)
DESCRIPTION:
On the various Definitions of cyclic operads.
 
LOCATION: cf Site
DTSTART:
    20151118T140000
  
DTEND:
    20151118T150000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-11-obradovic-jovana
X-DATE:
    18 novembre 2015
  
X-HOMEPAGE:

  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Gabriel Radanne)
DESCRIPTION:
Proving termination by synthesis of ranking functions using extremal counterexamples

 
LOCATION: cf Site
DTSTART:
    20151104T110000
  
DTEND:
    20151104T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-11-radanne-gabriel
X-DATE:
    04 novembre 2015
  
X-HOMEPAGE:
https://hal.archives-ouvertes.fr/hal-01144622
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Bruno Guillon)
DESCRIPTION:
Iteration of sub-rational relations

 
LOCATION: cf Site
DTSTART:
    20151021T110000
  
DTEND:
    20151021T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-10-guillon-bruno
X-DATE:
    21 octobre 2015
  
X-HOMEPAGE:
http://www.liafa.univ-paris-diderot.fr/~guillonb/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Pierre Cagne)
DESCRIPTION:
Ensemble nominaux pour la mémoire quantique

 
LOCATION: cf Site
DTSTART:
    20151007T110000
  
DTEND:
    20151007T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-10-cagne-pierre
X-DATE:
    7 octobre 2015
  
X-HOMEPAGE:
https://www.eleves.ens.fr/home/cagne/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Raphaëlle Crubillé)
DESCRIPTION:
Metric reasoning about lambda-terms : the affine case
 
LOCATION: cf Site
DTSTART:
    20150923T110000
  
DTEND:
    20150923T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-09-crubille-raphaelle
X-DATE:
    23 septembre 2015
  
X-HOMEPAGE:
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Mathieu Laurière)
DESCRIPTION:
Classical and Quantum Information Cost in Communication Protocols
 
LOCATION: cf Site
DTSTART:
    20150909T110000
  
DTEND:
    20150909T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-09-lauriere-mathieu
X-DATE:
    9 septembre 2015
  
X-HOMEPAGE:
http://www.liafa.univ-paris-diderot.fr/web9/equiprech/fichepers_fr.php?id=357
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Charles Grellois)
DESCRIPTION:
 On the Coinductive Nature of Centralizers
 
LOCATION: cf Site
DTSTART:
    20150701T110000
  
DTEND:
    20150701T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-07-grellois-charles
X-DATE:
    1 juillet 2015
  
X-HOMEPAGE:
http://research.grellois.fr
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Cyrille Chenavier)
DESCRIPTION:
   Gröbner basis and linear polygraphs.
  
LOCATION: cf Site
DTSTART:
    20150617T110000
  
DTEND:
    20150617T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-06-chenavier-cyrille
X-DATE:
    17 juin 2015
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Wenjie Fang)
DESCRIPTION:
    Constellations : mise en équation, résolution, rationalité
  
LOCATION: cf Site
DTSTART:
    20150603T110000
  
DTEND:
    20150603T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-06-wenjie-fang
X-DATE:
    3 juin 2015
  
X-HOMEPAGE:
http://www.liafa.univ-paris-diderot.fr/web9/equiprech/fichepers_fr.php?id=355
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Florence Clerc)
DESCRIPTION:
    Presenting a Category Modulo a Rewriting System
  
LOCATION: cf Site
DTSTART:
    20150506T110000
  
DTEND:
    20150506T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-05-florence-clerc
X-DATE:
    6 mai 2015
  
X-HOMEPAGE:
http://www.lix.polytechnique.fr/~clerc/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Nans Lefebvre)
DESCRIPTION:
    Logic on random graphs and random hyper-multigraphs
  
LOCATION: cf Site
DTSTART:
    20150415T110000
  
DTEND:
    20150415T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-04-nans-lefebvre
X-DATE:
    15 avril 2015
  
X-HOMEPAGE:
    http://www.liafa.univ-paris-diderot.fr/web9/equiprech/fichepers_fr.php?id=347
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Maxime Lucas)
DESCRIPTION:
    Higher dimensional word rewriting
  
LOCATION: cf Site
DTSTART:
    20150323T110000
  
DTEND:
    20150323T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-03-maxime-lucas
X-DATE:
    23 mars 2015
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Thibault Godin)
DESCRIPTION:
    On torsion free semigroups generated by Mealy automata
  
LOCATION: cf Site
DTSTART:
    20150311T110000
  
DTEND:
    20150311T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-03-thibault-godin
X-DATE:
    11 mars 2015
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Nans Lefebvre)
DESCRIPTION:
    Logic on random graphs and random hyper-multigraphs — REPORTÉ
  
LOCATION: cf Site
DTSTART:
    20150304T110000
  
DTEND:
    20150304T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2015-03-nans-lefebvre
X-DATE:
    4 mars 2015
  
X-HOMEPAGE:
    http://www.liafa.univ-paris-diderot.fr/web9/equiprech/fichepers_fr.php?id=347
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Gabriel Scherer)
DESCRIPTION:
    2-or-more logics for unique inhabitants
  
LOCATION: cf Site
DTSTART:
    20141210T110000
  
DTEND:
    20141210T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-12-gabriel-scherer
X-DATE:
    10 décembre 2014
  
X-HOMEPAGE:
    http://gallium.inria.fr/~scherer/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Thibault Manneville)
DESCRIPTION:
    Réalisation des associaèdres de graphe par des éventails de comptabilité.
  
LOCATION: cf Site
DTSTART:
    20141203T110000
  
DTEND:
    20141203T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-12-thibault-manneville
X-DATE:
    3 décembre 2014
  
X-HOMEPAGE:
    http://www.lix.polytechnique.fr/fr/membres/Thibault.Manneville
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Hadrien Batmalle)
DESCRIPTION:
    Nouveaux horizons en réalisabilité classique: des modèles de la
    programmation aux modèles des mathématiques
  
LOCATION: cf Site
DTSTART:
    20141112T110000
  
DTEND:
    20141112T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-11-hadrien-batmalle
X-DATE:
    12 novembre 2014
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (David Méndez)
DESCRIPTION:
    Distributed Systems and Combinatorial Topology
  
LOCATION: cf Site
DTSTART:
    20141029T110000
  
DTEND:
    20141029T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-10-david-mendez
X-DATE:
    29 octobre 2014
  
X-HOMEPAGE:

  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Vincent Jugé)
DESCRIPTION:
    Random walk in braid groups
  
LOCATION: cf Site
DTSTART:
    20141015T110000
  
DTEND:
    20141015T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-10-vincent-juge
X-DATE:
    15 octobre 2014
  
X-HOMEPAGE:
    http://www.liafa.univ-paris-diderot.fr/~vjuge/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Charles Grellois)
DESCRIPTION:
    Vérification par typage
  
LOCATION: cf Site
DTSTART:
    20140625T110000
  
DTEND:
    20140625T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-06-charles-grellois
X-DATE:
    25 juin 2014
  
X-HOMEPAGE:
    http://research.grellois.fr
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Arthur Azevedo de Amorim)
DESCRIPTION:Formally Verified Security Micro Policies
  
LOCATION: cf Site
DTSTART:
    20140521T110000
  
DTEND:
    20140521T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-05-arthur-azevedo-de-amorim
X-DATE:
    21 mai 2014
  
X-HOMEPAGE:
    http://www.cis.upenn.edu/~aarthur/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Amaury Pouly)
DESCRIPTION:Computational Complexity of the GPAC
  
LOCATION: cf Site
DTSTART:
    20140507T110000
  
DTEND:
    20140507T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-05-amaury-pouly
X-DATE:
    7 mai 2014
  
X-HOMEPAGE:
    http://www.lix.polytechnique.fr/~pamaury/me/fr/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Flavien Breuvart)
DESCRIPTION:Basic notions on weighted models
  
LOCATION: cf Site
DTSTART:
    20140409T110000
  
DTEND:
    20140409T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-04-flavien-breuvart
X-DATE:
    9 avril 2014
  
X-HOMEPAGE:
    http://www.pps.univ-paris-diderot.fr/~breuvart/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Laure Daviaud)
DESCRIPTION:Basic notions on weighted automata
  
LOCATION: cf Site
DTSTART:
    20140226T110000
  
DTEND:
    20140226T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-02-Laure-Daviaud
X-DATE:
    26 février 2014
  
X-HOMEPAGE:
    http://www.liafa.univ-paris-diderot.fr/~ldaviaud/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Guillame Claret)
DESCRIPTION:Un compilateur d'OCaml vers Coq
  
LOCATION: cf Site
DTSTART:
    20140212T110000
  
DTEND:
    20140212T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-02-guillaume-claret
X-DATE:
    12 février 2014
  
X-HOMEPAGE:
    http://guillaume.claret.me
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Bruno Guillon)
DESCRIPTION:Bidirectionality of Finite Automata and Transducers
  
LOCATION: cf Site
DTSTART:
    20140122T110000
  
DTEND:
    20140122T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2014-01-Bruno-Guillon
X-DATE:
    22 janvier 2014
  
X-HOMEPAGE:http://www.liafa.univ-paris-diderot.fr/~guillonb/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Jeremie Dusart)
DESCRIPTION: Perfect graphs
  
LOCATION: cf Site
DTSTART:
    20131204T110000
  
DTEND:
    20131204T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-12-Jeremie-Dusart
X-DATE:
    4 décembre 2013
  
X-HOMEPAGE:http://www.liafa.jussieu.fr/web9/equiprech/fichepers_en.php?id=337
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Virginie Lerays)
DESCRIPTION:Communication Complexity and Applications
  
LOCATION: cf Site
DTSTART:
    20131120T110000
  
DTEND:
    20131120T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-11-Virginie-Lerays
X-DATE:
    20 novembre 2013
  
X-HOMEPAGE:http://www.liafa.univ-paris-diderot.fr/~lerays/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Marie Kerjean)
DESCRIPTION:Sémantiques dénotationnelles de la Logique Linéaire
  
LOCATION: cf Site
DTSTART:
    20131106T110000
  
DTEND:
    20131106T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-11-Marie-Kerjean
X-DATE:
    6 novembre 2013
  
X-HOMEPAGE:http://www.pps.univ-paris-diderot.fr/~kerjean/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Sam Van Gool)
DESCRIPTION:Duality in Logic
  
LOCATION: cf Site
DTSTART:
    20131016T110000
  
DTEND:
    20131016T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-10-Sam-Van-Gool
X-DATE:
    16 octobre 2013
  
X-HOMEPAGE:http://www.math.ru.nl/~vangool/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Elie De Panafieu)
DESCRIPTION:Combinatoire analytique
  
LOCATION: cf Site
DTSTART:
    20130522T110000
  
DTEND:
    20130522T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-05-Elie-De-Panafieu
X-DATE:
    22 mai 2013
  
X-HOMEPAGE:
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Guillame claret)
DESCRIPTION:Programmer facilement dans l'assistant de preuves Coq
  
LOCATION: cf Site
DTSTART:
    20130327T110000
  
DTEND:
    20130327T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-03-guillaume-claret
X-DATE:
    27 mars 2013
  
X-HOMEPAGE:
    http://guillaume.claret.me
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Charles Paperman)
DESCRIPTION:Langages réguliers et complexité de circuits booléens
  
LOCATION: cf Site
DTSTART:
    20130313T110000
  
DTEND:
    20130313T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-03-charles-paperman
X-DATE:
    13 mars 2013
  
X-HOMEPAGE:
    http://www.liafa.univ-paris-diderot.fr/~paperman/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Pierre-Marie Pédrot)
DESCRIPTION:Un régime au concentré d'automate
  
LOCATION: cf Site
DTSTART:
    20130227T110000
  
DTEND:
    20130227T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-02-pierre-marie-pedrot
X-DATE:
    27 fevrier 2013
  
X-HOMEPAGE:
    http://www.pps.univ-paris-diderot.fr/~pedrot/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Tomàš Hejda)
DESCRIPTION:From Real to Complex Numbers
  
LOCATION: cf Site
DTSTART:
    20130206T110000
  
DTEND:
    20130206T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-02-tomas-hejda
X-DATE:
    6 février 2013
  
X-HOMEPAGE:
    http://www.liafa.jussieu.fr/web9/equiprech/fichepers_fr.php?id=352
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Jakub Zwolakowski)
DESCRIPTION:
  
LOCATION: cf Site
DTSTART:
    20130109T110000
  
DTEND:
    20130109T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2013-01-jakub-zwolakowski
X-DATE:
    9 janvier 2012
  
X-HOMEPAGE:
    http://www.pps.univ-paris-diderot.fr/~qba/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Nathanaël François)
DESCRIPTION:
    Algorithmes de streaming.
  
LOCATION: cf Site
DTSTART:
    20121205T110000
  
DTEND:
    20121205T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2012-12-nathanael-francois
X-DATE:
    5 décembre 2012
  
X-HOMEPAGE:http://www.liafa.univ-paris-diderot.fr/web9/equiprech/fichepers_fr.php?id=329
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Alexis Goyet)
DESCRIPTION:
    Easy game semantics.
  
LOCATION: cf Site
DTSTART:
    20121114T110000
  
DTEND:
    20121114T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2012-11-alexis-goyet
X-DATE:
    14 novembre 2012
  
X-HOMEPAGE:http://www.pps.univ-paris-diderot.fr/~agoyet/
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Xavier Zeitoun)
DESCRIPTION:Quelques questions sur quelques jeux
LOCATION: cf Site
DTSTART:
    20121024T110000
  
DTEND:
    20121024T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2012-11-xavier-zeitoun
X-DATE:
    7 novembre 2012
  
X-HOMEPAGE:http://www.liafa.jussieu.fr/web9/equiprech/fichepers_fr.php?id=316
  
END:VEVENT
BEGIN:VEVENT
UID:
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (Flavien Breuvart)
DESCRIPTION:"Petites histoires entre modèles et syntaxes"
LOCATION: cf Site
DTSTART:
    20121024T110000
  
DTEND:
    20121024T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#2012-10-flavien-breuvart
X-DATE:
    24 octobre 2012
  
X-HOMEPAGE:http://www.perdu.com
END:VEVENT
BEGIN:VEVENT
UID:df2a7242-0c88-11e2-8c0f-8fc1d143daa0
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (
    Pierre Aboulker
  )
DESCRIPTION:
    
  
LOCATION: cf Site
DTSTART:
    20121002T110000
  
DTEND:
    20121002T110000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#aboulker
X-DATE:
    
    2 octobre 2012
  
X-HOMEPAGE:
    
    http://www.liafa.univ-paris-diderot.fr/web9/equiprech/fichepers_en.php?id=283
  
END:VEVENT
BEGIN:VEVENT
UID:2d8a1cc0-cced-11e1-b725-e788b6e78950
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (
    Matthieu Boutier
  )
DESCRIPTION:
    Entrées / Sorties asynchrones en programmation système sous Windows.
  
LOCATION: cf Site
DTSTART:
    20120718T110000
  
DTEND:
    20120718T110000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#boutier
X-DATE:
    
    18 juillet 2012
  
X-HOMEPAGE:
    
    
  
END:VEVENT
BEGIN:VEVENT
UID:302a3498-bfa4-11e1-9dc1-431927f0d562
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (
    Jonas Frey
  )
DESCRIPTION:
    Pre-ordres indexés, pré-ordres uniformes et realisabililité
  
LOCATION: cf Site
DTSTART:
    20120626T110000
  
DTEND:
    20120626T110000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#frey
X-DATE:
    27 Juin 2012
  
X-HOMEPAGE:
    http://www.pps.univ-paris-diderot.fr/~frey/

  
END:VEVENT
BEGIN:VEVENT
UID:1b3548de-a99c-11e1-af4e-930573d73ee7
STATUS:CONFIRMED
SUMMARY:Séminaire des Thésards (
  Jakub Zwolakowski
  )
DESCRIPTION:
    Distributed software configuration management
  
LOCATION: cf Site
DTSTART:
    20120530T110000
  
DTEND:
    20120530T110000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#zwolakowski
X-DATE:
30 mai 2012
    
    
  
X-HOMEPAGE:
    

  
END:VEVENT
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: cf Site
DTSTART:
    20120509T110000
  
DTEND:
    20120509T120000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20120314T110000
DTEND:20120314T110000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:
    20120229T110000
  
DTEND:
    20120229T110000
  
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20120208T110000
DTEND:20120208T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20120118T110000
DTEND:20120118T110000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20111130T110000
DTEND:20111130T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20111123T110000
DTEND:20111123T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20111102T110000
DTEND:20111102T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20111019T110000
DTEND:20111019T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20111005T110000
DTEND:20111005T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110921T110000
DTEND:20110921T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110713T110000
DTEND:20110713T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110629T110000
DTEND:20110629T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110615T110000
DTEND:20110615T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110601T110000
DTEND:20110601T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110511T110000
DTEND:20110511T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110420T110000
DTEND:20110420T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110330T110000
DTEND:20100330T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110323T110000
DTEND:20100323T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110302T110000
DTEND:20110302T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20110223T110000
DTEND:20100223T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20101215T110000
DTEND:20101215T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20101208T110000
DTEND:20101208T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20101124T110000
DTEND:20101124T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/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: cf Site
DTSTART:20101110T110000
DTEND:20101110T120000
URL;VALUE=URI:http://www.pps.univ-paris-diderot.fr/~c.jacq/seminaire-thesards/#fijalkow
X-DATE:10 novembre 2010
X-HOMEPAGE:http://www.liafa.jussieu.fr/~nath/
END:VEVENT
END:VCALENDAR