Differences

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

pareo 2010/06/01 11:12 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 ===== 
-  * Nous proposons un [[http://www.loria.fr/~moreau/pdf/phd-quarteft.pdf|sujet de thèse]] financé dans le cadre du projet [[http://quarteft.loria.fr|Quarteft]] (Airbus, LAAS, INRIA, IRIT, Ellidiss) 
 +
 +
 +
 +
 +
 +
 +===== Hot topics =====
 +[2014-09-12] Jean-Christophe Bach's PhD defense\\
 +[2013-03-21] [[https://gforge.inria.fr/frs/?group_id=78&release_id=7940|Tom 2.10]] has been released\\
 +[2011-10-14] [[http://gforge.inria.fr/frs/?group_id=78&release_id=6495|Tom-2.9]] has been released\\
===== Team ===== ===== Team =====
Line 17: Line 25:
-===== Projects ===== 
-The Pareo team is a member of the INRIA ARC  
-[[http://www.lix.polytechnique.fr/corias|Corias]] 
- about the conception of proof assistants based on superdeduction modulo. 
 +===== Projects =====
The Pareo team is a member of the FNRAE project The Pareo team is a member of the FNRAE project
[[http://quarteft.loria.fr|Quarteft]] [[http://quarteft.loria.fr|Quarteft]]
about the certification of model transformations. about the certification of model transformations.
 +
 +The Pareo team was a member of the INRIA ARC
 +[[http://www.lix.polytechnique.fr/corias|Corias]]
 + about the conception of proof assistants based on superdeduction modulo.
 +
 +
 +
===== Sponsors ===== ===== Sponsors =====
-[[http://www.cnrs.fr|{{logo:logo_cnrs.jpg|http://www.cnrs.fr/}}]] +[[http://www.cnrs.fr|{{logo:logo-cnrs-nouveau.jpg?80x80|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-nouveau.jpg?187x80|http://www.inria.fr/}}]] 
-[[http://www.inria.fr|{{logo:logo_inria.jpg|http://www.inria.fr/}}]] +[[http://www.univ-lorraine.fr|{{logo:logo-ul.png?228x80|http://www.univ-lorraine.fr}}]] 
-[[http://www.univ-nancy2.fr/|{{logo:logo_nancy2.jpg|http://www.univ-nancy2.fr/}}]] +[[http://www.loria.fr|{{logo:logoLoriaNouveau.png?228x80|http://www.loria.fr}}]]
-[[http://www.uhp-nancy.fr|{{logo:logo_uhp.jpg|http://www.uhp-nancy.fr/}}]]+
pareo.1275383545.txt.gz · Last modified: 2010/06/01 11:12 by tavaresc
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