This is an old revision of the document!

This is the Pareo web site

Hot topics

  • the team has been created on January 1st, 2008.
  • participation to JFLA
  • participation to LATA
  • participation to ETAPS (FASE and WRLA)



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


pareo.1201790723.txt.gz · Last modified: 2008/01/31 15:45 by pem
Back to top = 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