Differences

This shows you the differences between the selected revision and the current version of the page.

pareo 2009/07/16 11:38 pareo 2014/09/17 16:48 current
Line 1: Line 1:
====== This is the Pareo web site ====== ====== This is the Pareo web site ======
 +
 +
 +
 +
 +
 +
===== Hot topics ===== ===== Hot topics =====
-  * the team has been created on January 1st, 2008. +[2014-09-12] Jean-Christophe Bach's PhD defense\\ 
-  * participation to [[http://grammars.grlmc.com/LATA2008/index.html|LATA]+[2013-03-21] [[https://gforge.inria.fr/frs/?group_id=78&release_id=7940|Tom 2.10]] has been released\\ 
- * participation to [[http://etaps08.mit.bme.hu/|ETAPS]] ([[http://www.cs.le.ac.uk/events/fase2008/|FASE]] and [[http://wrla08.cs.uiuc.edu/|WRLA]]) +[2011-10-14] [[http://gforge.inria.fr/frs/?group_id=78&release_id=6495|Tom-2.9]] has been released\\
- * participation to [[http://www.di.unito.it/~stefano/types2008/|Types]]+
===== Team ===== ===== Team =====
Line 12: Line 17:
[[members|Members]]\\ [[members|Members]]\\
[[seminars|Seminars]]\\ [[seminars|Seminars]]\\
 +
===== Software ===== ===== Software =====
[[tom>|Tom]]: Rule based programming, term rewriting, pattern matching, strategic programming, efficient data-structures. All those beautiful things into Java. [[tom>|Tom]]: Rule based programming, term rewriting, pattern matching, strategic programming, efficient data-structures. All those beautiful things into Java.
-[[http://rho.loria.fr/lemuridae.html|Lemuridae]]: A proof assistant for superdeduction+[[http://rho.loria.fr/lemuridae.html|Lemuridae]]: A proof assistant for superdeduction.
-===== Sponsors ===== 
-[[http://www.cnrs.fr|{{logo:logo_cnrs.jpg|http://www.cnrs.fr/}}]] 
-[[http://www.inpl-nancy.fr/|{{logo:logo_inpl.jpg|http://www.inpl-nancy.fr/}}]] 
-[[http://www.inria.fr|{{logo:logo_inria.jpg|http://www.inria.fr/}}]] 
-[[http://www.univ-nancy2.fr/|{{logo:logo_nancy2.jpg|http://www.univ-nancy2.fr/}}]] 
-[[http://www.uhp-nancy.fr|{{logo:logo_uhp.jpg|http://www.uhp-nancy.fr/}}]] 
-The Pareo team is a member of the INRIA ARC + 
 +===== Projects ===== 
 +The Pareo team is a member of the FNRAE project  
 +[[http://quarteft.loria.fr|Quarteft]] 
 + about the certification of model transformations. 
 + 
 +The Pareo team was a member of the INRIA ARC
[[http://www.lix.polytechnique.fr/corias|Corias]] [[http://www.lix.polytechnique.fr/corias|Corias]]
- about the + about the conception of proof assistants based on superdeduction modulo. 
-conception of proof assistants based on superdeduction modulo.+ 
 + 
 + 
 + 
 +===== Sponsors =====
 +[[http://www.cnrs.fr|{{logo:logo-cnrs-nouveau.jpg?80x80|http://www.cnrs.fr/}}]]
 +[[http://www.inria.fr|{{logo:logo-inria-nouveau.jpg?187x80|http://www.inria.fr/}}]]
 +[[http://www.univ-lorraine.fr|{{logo:logo-ul.png?228x80|http://www.univ-lorraine.fr}}]]
 +[[http://www.loria.fr|{{logo:logoLoriaNouveau.png?228x80|http://www.loria.fr}}]]
pareo.1247737130.txt.gz · Last modified: 2009/07/16 11:38 by cirstea
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