Skip to content
Snippets Groups Projects
Commit 702f0404 authored by Augustin Lemesle's avatar Augustin Lemesle
Browse files

move imgs, dead links publis

parent 3eb887c4
No related branches found
No related tags found
1 merge request!54WIP: Add u3cat
Pipeline #28633 passed
Showing with 41 additions and 36 deletions
<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">
......
File moved
File moved
File moved
File moved
File moved
File moved
assets/img/u3cat/logos/list-cea-tech.jpg

6.4 KiB

File moved
File moved
u3cat/logos/cea.png

7.42 KiB

......@@ -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>
......
......@@ -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&nbsp;: 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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment