ÉQUIPE LOGIQUE, CALCUL ET RAISONNEMENT  


SÉMINAIRE 2004-2005

Responsable : Patrick BAILLOT  (téléphone : 01 49 40 40 67).
Horaire : le lundi, en général à 15h30.
Lieu : Laboratoire d'informatique de Paris-Nord, comment venir .
Salle: sauf précision contraire, salle B311 (Institut Galilée, 3e étage du batiment B).

     

    A venir:
     

    Passés:

  • vendredi 1er juillet 2005 à 11h15, salle B311 

    On the number of provable formulas
    (joint work with Quentijn Puite)

    Résumé .


  • mercredi 29 juin 2005 à 16h30, salle B311 

    How Logic helps to resolve specific problems in combinatorics, and remove the mistery of Euler-Glaisher's map.

    Résumé .

  • lundi 6 juin 2005:       exceptionnellement ** double séance **
               à 14h30, salle B311:     

    Passage de continuations pour le « C »
    Applications à la programmation concurrente
    Résumé .

               à 16h: 
    Websicola, un prototype de langage pour sites et services web.

  • vendredi 3 juin 2005, salle B311:   Séminaire MeFoSyLoMa
    (Méthodes Formelles pour les Systèmes Logiciels et Matériels, CNAM-P9-P6-P13-ENST)      

    Modelling and Analysis of TCP's Connection Management Procedures

    15:00 Sylvain RAMPACEK   (LAMSADE et université de Reims)
    A formal semantics for Web services interaction

    16:00: Fabrice KORDON (LIP6), Laure PETRUCCI (LIPN), Nicolas TREVES (CNAM)
    Petri nets normalisation: the ISO/IEC 15909 status

    17:00: discussion

  • lundi 16 mai 2005 à 15h30, salle B311 

    A Categorical Approach to Quantum Computing

    Résumé .

  • lundi 4 avril 2005 à 15h30, salle B311 

    Linear-algebraic lambda calculus
    (work done in collaboration with Gilles Dowek)

    Résumé .

  • lundi 21 mars 2005 à 13h30, salle B311 

    The convex hull of a Number Decision Diagram is a computable polyhedron.

    Résumé .

  • lundi 14 mars 2005 à 13h30, salle B311 

    Réseaux de Petri : vérification modulaire et symbolique

    Résumé .

  • lundi 7 février 2005 à 15h30, salle B311 

    Transforming Coloured Petri Nets to Counter systems for
    Parametric Verification: A Stop-and-Wait Protocol Case study

    Résumé .

  • lundi 10 janvier 2005 à 15h30, salle B311 

    Conjectures combinatoires sur les arbres en sémantique des preuves.

    Résumé .

  • vendredi 10 décembre 2004 à 10h, salle B311 

    Asynchronous games: an innocent model of linear logic

    Résumé .

  • lundi 6 décembre 2004 à 15h30, salle B311 

    Motifs musicaux: une analyse en logique linéaire

  • Mini-cours (2 séances) :

    mardi 30 novembre 2004 à 10h, salle B311     
    Introduction to optimal reduction (1)

    mercredi 1er décembre 2004 à 14h, salle B311     

  • lundi 29 novembre 2004:       exceptionnellement ** double séance **
               à 13h30, salle B311:     

    Tailoring Goedel's T to complexity classes
               à 15h30: 

    Développement de Taylor des lambda-termes et uniformité

    Résumé 1 (S. Martini).
    Résumé 2 (T. Ehrhard).

  • lundi 15 novembre 2004 à 15h30, salle B311 

    Modules et programmation logique
    (travail réalisé avec Christophe Fouqueré)

    Résumé .

  • jeudi 4 novembre 2004 à 10h, salle B311 

    Une interface entre Coq et Maple:
    application à une procedure d'élimination des quantificateurs pour les ACFs.

  • lundi 18 octobre 2004 à 15h30, salle B311 
    • Gérard DUCHAMP   (LIPN)

    Quelques interactions entre l'Informatique et les autres Sciences.

  • 6 et 7 septembre 2004