http://www.tigli.fr/ 2026-04-13T10:32:45+00:00 http://www.tigli.fr/ http://www.tigli.fr/lib/exe/fetch.php?media=favicon.ico text/html 2015-07-02T08:59:15+00:00 Anonymous (anonymous@undisclosed.example.com) http://www.tigli.fr/doku.php?id=recherche:projets:syncomp:accueil&rev=1435827555&do=diff Projet SYNCOMP Projet faisant suite à l' [action color INRIA SYNCOMP] Rainbow : Jean-Yves Tigli, Stéphane Lavirotte STARS : Annie Ressouche LEAT : Daniel Gaffe ESPRIT R&D : Ines Sarray Meetings * Meeting 310315 * Meeting 130415 * Meeting 270415 * Meeting 300415 TODO * Rédiger des sections “ready to copy”. Ex. intro à clem. Ex. intro au langage de contrainte