Differences

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

pareo 2014/09/17 16:42 pareo 2014/09/17 16:48 current
Line 1: Line 1:
====== This is the Pareo web site ====== ====== This is the Pareo web site ======
 +
Line 8: Line 9:
===== Hot topics ===== ===== Hot topics =====
-[2014-09-12] Jean-Christophe Bach's PhD defense+[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\\ [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\\ [2011-10-14] [[http://gforge.inria.fr/frs/?group_id=78&release_id=6495|Tom-2.9]] has been released\\
Line 33: Line 34:
[[http://www.lix.polytechnique.fr/corias|Corias]] [[http://www.lix.polytechnique.fr/corias|Corias]]
about the conception of proof assistants based on superdeduction modulo. about the conception of proof assistants based on superdeduction modulo.
 +
 +
Line 40: Line 43:
[[http://www.inria.fr|{{logo:logo-inria-nouveau.jpg?187x80|http://www.inria.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.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.1410964930.txt.gz · Last modified: 2014/09/17 16:42 by slenglet
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