Rencontre "Complexité Implicite et Logique"
/ Workshop "Implicit Computational Complexity and Logic "
Paris-Nord (Villetaneuse), 6-7 septembre 2004
Rencontre dans le cadre de l'ACI GEOCAL , avec aide de l'ACI
CRISS .
Dates: lundi 6 et mardi 7 septembre 2004 / september 6-7th 2004.
(we will start on monday morning)
Lieu / Location: Institut Galilée (amphi Copernic), Université Paris-Nord
(
comment venir /
how to get there )
Hotels
Orateurs
invités / Invited speakers:
Liste des
participants
/ list of participants.
Programme (provisoire) / Preliminary Programme
Thèmes de la rencontre / Topics:
Langages, calculs, logiques à complexité bornée; méthodes de vérification
de la complexité.
En particulier:
logique linéaire et complexité de l'élimination des coupures,
ordres de terminaison et complexité,
systèmes de réecriture, lambda-calcul.
Inscription: please send a mail to: pb 'at' lipn.univ-paris13.fr
Organizers: Patrick Baillot,
Virgile Mogbil.