diff --git a/_includes/headers_u3cat.html b/_includes/headers_u3cat.html index 62c966f631609dbf4ea4bdad154b210e5cd36ff6..72ea283af4ca074ad36d718d0d03034572dfea05 100644 --- a/_includes/headers_u3cat.html +++ b/_includes/headers_u3cat.html @@ -1,7 +1,7 @@ <header class="siteHeader u3cat" id="site_header"> <div id="header_iv_point" class="inviewTop"></div> <span class="brandLogo u3cat"><a href="/u3cat" rel="home" title= - "U3CAT"><img src="logos/u3cat-logo.png" alt=""><span>U3CAT</span></a></span> + "U3CAT"><img src="/assets/img/u3cat/logos/u3cat-logo.png" alt=""><span>U3CAT</span></a></span> <input class="burger-check" id="burger-check" type="checkbox"><label for="burger-check" class="burger u3cat"></label> <nav id="menu" role="navigation"> diff --git a/u3cat/logos/airbus.png b/assets/img/u3cat/logos/airbus.png similarity index 100% rename from u3cat/logos/airbus.png rename to assets/img/u3cat/logos/airbus.png diff --git a/u3cat/logos/atos_origin.jpg b/assets/img/u3cat/logos/atos_origin.jpg similarity index 100% rename from u3cat/logos/atos_origin.jpg rename to assets/img/u3cat/logos/atos_origin.jpg diff --git a/u3cat/logos/cnam.gif b/assets/img/u3cat/logos/cnam.gif similarity index 100% rename from u3cat/logos/cnam.gif rename to assets/img/u3cat/logos/cnam.gif diff --git a/u3cat/logos/cs.jpg b/assets/img/u3cat/logos/cs.jpg similarity index 100% rename from u3cat/logos/cs.jpg rename to assets/img/u3cat/logos/cs.jpg diff --git a/u3cat/logos/dassault.png b/assets/img/u3cat/logos/dassault.png similarity index 100% rename from u3cat/logos/dassault.png rename to assets/img/u3cat/logos/dassault.png diff --git a/u3cat/logos/inria-rocquencourt.gif b/assets/img/u3cat/logos/inria-rocquencourt.gif similarity index 100% rename from u3cat/logos/inria-rocquencourt.gif rename to assets/img/u3cat/logos/inria-rocquencourt.gif diff --git a/u3cat/logos/inria-saclay.jpeg b/assets/img/u3cat/logos/inria-saclay.jpeg similarity index 100% rename from u3cat/logos/inria-saclay.jpeg rename to assets/img/u3cat/logos/inria-saclay.jpeg diff --git a/u3cat/logos/irisa.gif b/assets/img/u3cat/logos/irisa.gif similarity index 100% rename from u3cat/logos/irisa.gif rename to assets/img/u3cat/logos/irisa.gif diff --git a/assets/img/u3cat/logos/list-cea-tech.jpg b/assets/img/u3cat/logos/list-cea-tech.jpg new file mode 100644 index 0000000000000000000000000000000000000000..2c9289dc6030c8eff109ec6062baafb942f6a3ed Binary files /dev/null and b/assets/img/u3cat/logos/list-cea-tech.jpg differ diff --git a/u3cat/logos/sagem.png b/assets/img/u3cat/logos/sagem.png similarity index 100% rename from u3cat/logos/sagem.png rename to assets/img/u3cat/logos/sagem.png diff --git a/u3cat/logos/u3cat-logo.png b/assets/img/u3cat/logos/u3cat-logo.png similarity index 100% rename from u3cat/logos/u3cat-logo.png rename to assets/img/u3cat/logos/u3cat-logo.png diff --git a/u3cat/logos/cea.png b/u3cat/logos/cea.png deleted file mode 100644 index 727d269d6584ee96beed1636246e85ae764bb7a7..0000000000000000000000000000000000000000 Binary files a/u3cat/logos/cea.png and /dev/null differ diff --git a/u3cat/partners.html b/u3cat/partners.html index 4b63215253aef0abda3da7b759795fadb1387cea..4d602ffcb76891876a9354b2d6f8423dec02b703 100644 --- a/u3cat/partners.html +++ b/u3cat/partners.html @@ -5,7 +5,7 @@ header: partners <div id="content"> <p>U3CAT gathers 10 partners, 5 academic and 5 industrial:</p> <dl class="defnitionList"> - <dt class="subTitle"><img src="logos/atos_origin.jpg" alt="Atos Origin France"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/atos_origin.jpg" alt="Atos Origin France"/></dt> <dd> <div> <p>Atos Origin France</p> @@ -14,7 +14,7 @@ header: partners <p><a href="https://atos.net">Website</a></p> </div> </dd> - <dt class="subTitle"><img src="logos/airbus.png" alt="Airbus"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/airbus.png" alt="Airbus"/></dt> <dd> <div> <p>Airbus France</p> @@ -23,7 +23,7 @@ header: partners <p><a href="http://www.airbus.com">Website</a></p> </div> </dd> - <dt class="subTitle"><img src="logos/cea.png" alt="CEA List"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/list-cea-tech.jpg" alt="CEA List"/></dt> <dd> <div> <p>CEA List</p> @@ -32,7 +32,7 @@ header: partners <p><a href="http://www-list.cea.fr/gb/index_gb.htm">Website</a></p> </div> </dd> - <dt class="subTitle"><img src="logos/cnam.gif" alt="CNAM"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/cnam.gif" alt="CNAM"/></dt> <dd> <div> <p>CNAM</p> @@ -41,7 +41,7 @@ header: partners <p><a href="http://www.cnam.eu/">Website</a></p> </div> </dd> - <dt class="subTitle"><img src="logos/cs.jpg" alt="CS"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/cs.jpg" alt="CS"/></dt> <dd> <div> <p>CS</p> @@ -50,7 +50,7 @@ header: partners <p><a href="http://uk.c-s.fr/">Website</a></p> </div> </dd> - <dt class="subTitle"><img src="logos/dassault.png" alt="Dassault"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/dassault.png" alt="Dassault"/></dt> <dd> <div> <p>Dassault Aviation</p> @@ -60,7 +60,7 @@ header: partners </div> </dd> - <dt class="subTitle"><img src="logos/irisa.gif" alt="IRISA - INRIA Rennes"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/irisa.gif" alt="IRISA - INRIA Rennes"/></dt> <dd> <div> <p>INRIA Rennes Bretagne-Atlantique</p> @@ -70,7 +70,7 @@ header: partners <p><a href="http://www.irisa.fr/celtique/">Celtique team</a></p> </div> </dd> - <dt class="subTitle"><img src="logos/inria-rocquencourt.gif" alt="Inria Rocquencourt"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/inria-rocquencourt.gif" alt="Inria Rocquencourt"/></dt> <dd> <div> <p>INRIA Paris Rocquencourt</p> @@ -80,7 +80,7 @@ header: partners <p><a href="http://gallium.inria.fr">Gallium team</a></p> </div> </dd> - <dt class="subTitle"><img src="logos/inria-saclay.jpeg" alt="Inria Saclay"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/inria-saclay.jpeg" alt="Inria Saclay"/></dt> <dd> <div> <p>INRIA Saclay Île-de-France</p> @@ -90,7 +90,7 @@ header: partners <p><a href="http://proval.lri.fr">Proval team</a></p> </div> </dd> - <dt class="subTitle"><img src="logos/sagem.png" alt="Sagem"/></dt> + <dt class="subTitle"><img src="/assets/img/u3cat/logos/sagem.png" alt="Sagem"/></dt> <dd> <div> <p>Sagem Défense et Sécurité</p> diff --git a/u3cat/publications.html b/u3cat/publications.html index 9b901f4882797ad2b08aa0e7c3c931c32f14728a..a78569fc0aa00d320e70d4b5344a49c731c7c3d6 100644 --- a/u3cat/publications.html +++ b/u3cat/publications.html @@ -62,20 +62,22 @@ class="pdf">pdf</a></li> <li>David Delmas, Stéphane Duprat, Victoria Moya Lamiel and Julien Signoles. Taster, a Frama-C plugin to enforce Coding Standards. Présenté à ERTS, Toulouse, France. May 2010. <a href= -"http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0003_final.pdf" +"https://www.di.ens.fr/~delmas/papers/erts10.pdf" class="pdf">pdf</a></li> <li>Asma Tafat, Sylvain Boulmé, and Claude Marché. A refinement methodology for object-oriented programs. In Formal Verification of Object-Oriented Software, Papers Presented at the International Conference, pages 143-159, Paris, France. June 2010. <a href= -"http://www.lri.fr/%7Eatafat/FoVeOOS/main.pdf" class= +"https://hal.inria.fr/file/index/docid/534336/filename/13.pdf" class= "pdf">pdf</a></li> <li>Dillon Pariente and Emmanuel Ledinot, Formal Verification of Industrial C Code using Frama-C: a Case Study. In Formal Verification of Object-Oriented Software, Papers Presented at the -International Conference, Paris, France. June 2010. <a href= -"http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/1397033" -class="pdf">pdf</a></li> +International Conference, Paris, France. June 2010. +<!-- <a href= --> +<!-- "http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/1397033" --> +<!-- class="pdf">pdf</a> --> +</li> <li>Ali Ayad and Claude Marché. Multi-prover verification of floating-point programs. In Jürgen Giesl and Reiner Hähnle, editors. Fifth International Joint Conference on Automated @@ -86,7 +88,7 @@ Scotland. July 2010. <a href= <li>Paolo Herms. Certification of a chain for deductive program verification. In Yves Bertot, editor, 2nd Coq Workshop, satellite of ITP'10, 2010. <a href= -"http://www.lri.fr/%7Eherms/wp-content/uploads/informal.pdf" class= +"https://hal.inria.fr/inria-00535640" class= "pdf">pdf</a></li> <li>Tahina Ramananandro, Gabriel Dos Reis, and Xavier Leroy. Formal verification of object layout for C++ multiple inheritance. In 38th @@ -125,18 +127,18 @@ France.</li> <ul> <li>Julien Signoles. Foncteurs impératifs et composés : la notion de projets dans Frama-C. Studia Informatica Universalis. -2009. <a href="http://studia.complexica.net/Art/RI070202.pdf" +2009. <a href="http://julien.signoles.free.fr/publis/2009_jfla.pdf" class="pdf">pdf</a></li> <li>Julien Signoles. Une bibliothèque de typage dynamique en OCaml. Studia Informatica Universalis. 2011 <a href= -"http://studia.complexica.net/Art/AC-JFLA11-08.pdf"></a></li> +"http://julien.signoles.free.fr/publis/2011_jfla.pdf"></a></li> </ul> <h2>Conferences</h2> <ul> <li>Richard Bonichon and Pascal Cuoq. Une table d'association d'intervalles fusionnable. Actes des Journées Francophones des Langages Applicatifs. La Ciotat. January 2010. <a href= -"http://jfla.inria.fr/2010/actes/PDF/bonichon_cuoq.pdf" class= +"https://rbonichon.github.io/papers/rangemaps-jfla11.pdf" class= "pdf">pdf</a></li> <li>Jean-Christophe Filliâtre and Krishnamani Kalyanasundaram. Une bibliothèque de calcul distribué pour Objective Caml. In Sylvain @@ -169,22 +171,25 @@ codes critiques". Exposé à la journée de rencontre INRIA-industrie Typed Customizable Unmarshaling, ML Workshop 2011, Tokyo, September 2011.</li> </ul> -<h2>Training</h2> -<ul> -<li>Frama-C Training Session, Saclay, 30 participants, March -2009.</li> -<li>Lectures on Why and Frama-C at the <a href= -"http://formes.asia/cms/coqschool/2009">Asian-Pacific Summer School -on Formal Methods</a>, 40 participants, August 2009. <a href= -"http://formes.asia/cms/sites/default/files/media/coqschool/2009/coqschool-2009.zip"> -Slides</a></li> -<li>Lectures on Frama-C at the <a href= -"http://flolac.iis.sinica.edu.tw/flolac10/doku.php?id=en:start">Formosan -Summer School on Logic, Language, and Computation</a>, 40 -participants, July 2010. <a href= -"http://flolac.iis.sinica.edu.tw/flolac10/doku.php?id=en:frama-c">Page -of the lecture on Frama-C</a></li> -</ul> +<!-- Dead links --> +<!-- <h2>Training</h2> --> +<!-- <ul> --> +<!-- <li>Frama-C Training Session, Saclay, 30 participants, March --> +<!-- 2009.</li> --> +<!-- <li>Lectures on Why and Frama-C at the <a href= --> +<!-- "http://formes.asia/cms/coqschool/2009">Asian-Pacific Summer School --> +<!-- on Formal Methods</a>, 40 participants, August 2009. --> + <!-- <a href= --> +<!-- "http://formes.asia/cms/sites/default/files/media/coqschool/2009/coqschool-2009.zip"> --> +<!-- Slides</a> --> +<!-- </li> --> +<!-- <li>Lectures on Frama-C at the <a href= --> +<!-- "http://flolac.iis.sinica.edu.tw/flolac10/doku.php?id=en:start">Formosan --> +<!-- Summer School on Logic, Language, and Computation</a>, 40 --> +<!-- participants, July 2010. <a href= --> +<!-- "http://flolac.iis.sinica.edu.tw/flolac10/doku.php?id=en:frama-c">Page --> +<!-- of the lecture on Frama-C</a></li> --> +<!-- </ul> --> <h2>Misc</h2> <ul> <li>Poster at the System@TIC Symposium, Châtenay-Malabry, June