Complice project

Latest articles

• 4eme Réunion de projet : 26/5/2010, Univ. Paris 13

  19 mai, par Patrick Baillot, Virgile Mogbil
  4eme Réunion de projet : Mercredi 26/5/2010, Univ. Paris 13, LIPN. Lieu : Université Paris 13, amphithéatre Copernic de l’institut Galilée (Noté G sur le plan suivant http://www-lipn.univ-paris13.fr/pla...) Trajet supplémentaire : environ 1h15 depuis la gare en venant de Lyon, 45min pour Nancy. Programme 10h15 ACCUEIL 10h30 Patrick Baillot (LIP) : La logique linéaire élémentaire revisitée. 11h15 Romain Péchoux (CARTE) : Interpretation of Stream Programs. 12h00 Jean-Marie (...)

• Publications

  5 mai, par Patrick Baillot, Virgile Mogbil
  2010 D. Hirschkoff, D. Pous. On Bisimilarity and Substitution in Presence of Replication. To appear in the Proceedings of ICALP’2010, 2010. P. Baillot, M. Hofmann. Type inference in Intuitionistic Linear Logic. To appear in the proceedings of the conference on Principle and Practice of Declarative Programming (PPDP’2010), 2010. G. Bonfante. Observation of implicit complexity by non confluence. Proceedings of International Workshop on Developments in Implicit complExity (DICE 2010), (...)

• Publications

  5 May, by Patrick Baillot, Virgile Mogbil
  2010 D. Hirschkoff, D. Pous. On Bisimilarity and Substitution in Presence of Replication. To appear in the Proceedings of ICALP’2010, 2010. P. Baillot, M. Hofmann. Type inference in Intuitionistic Linear Logic. To appear in the proceedings of the conference on Principle and Practice of Declarative Programming (PPDP’2010), 2010. G. Bonfante. Observation of implicit complexity by non confluence. Proceedings of International Workshop on Developments in Implicit complExity (DICE 2010), (...)

• Groupe de travail

  9 April, by Damiano Mazza
  Les participants LIPN du projet Complice organisent un groupe de travail sur le projet certains lundi à 13h30. Voire la liste des exposés.

• Working group

  9 April, by Damiano Mazza
  The LIPN participants of the Complice project organize a working group about the project which usually takes place on monday at 1:30 pm. See the list of talks.

0 | 5 | 10 | 15 | 20 | 25 | 30