Rencontre "Complexité Implicite et Logique"

/ Workshop "Implicit Computational Complexity and Logic "

ACI Nouvelles interfaces des mathématiques GEOCAL

Paris-Nord (Villetaneuse), 6-7 septembre 2004

Laboratoire d'Informatique de Paris-Nord
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.