This is an old revision of the document!


This is the Pareo web site

Hot topics

  • Nous proposons un sujet de thèse financé dans le cadre du projet Quarteft (Airbus, LAAS, INRIA, IRIT, Ellidiss)

Team

Software

Tom: Rule based programming, term rewriting, pattern matching, strategic programming, efficient data-structures. All those beautiful things into Java.

Lemuridae: A proof assistant for superdeduction

Projects

The Pareo team is a member of the INRIA ARC Corias about the conception of proof assistants based on superdeduction modulo.

The Pareo team is a member of the FNRAE project Quarteft about the certification of model transformations

Sponsors

http://www.cnrs.fr/ http://www.inpl-nancy.fr/ http://www.inria.fr/ http://www.univ-nancy2.fr/ http://www.uhp-nancy.fr/

pareo.1253696223.txt.gz · Last modified: 2009/09/23 10:57 by pem
Back to top
chimeric.de = chi`s home Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0