From 702f0404a975cf18777a1de00ae67e702e25bfb2 Mon Sep 17 00:00:00 2001
From: Augustin Lemesle <augustin.lemesle@cea.fr>
Date: Fri, 4 Sep 2020 15:55:46 +0200
Subject: [PATCH] move imgs, dead links publis
---
_includes/headers_u3cat.html | 2 +-
{u3cat => assets/img/u3cat}/logos/airbus.png | Bin
.../img/u3cat}/logos/atos_origin.jpg | Bin
{u3cat => assets/img/u3cat}/logos/cnam.gif | Bin
{u3cat => assets/img/u3cat}/logos/cs.jpg | Bin
.../img/u3cat}/logos/dassault.png | Bin
.../img/u3cat}/logos/inria-rocquencourt.gif | Bin
.../img/u3cat}/logos/inria-saclay.jpeg | Bin
{u3cat => assets/img/u3cat}/logos/irisa.gif | Bin
assets/img/u3cat/logos/list-cea-tech.jpg | Bin 0 -> 6556 bytes
{u3cat => assets/img/u3cat}/logos/sagem.png | Bin
.../img/u3cat}/logos/u3cat-logo.png | Bin
u3cat/logos/cea.png | Bin 7598 -> 0 bytes
u3cat/partners.html | 20 +++----
u3cat/publications.html | 55 ++++++++++--------
15 files changed, 41 insertions(+), 36 deletions(-)
rename {u3cat => assets/img/u3cat}/logos/airbus.png (100%)
rename {u3cat => assets/img/u3cat}/logos/atos_origin.jpg (100%)
rename {u3cat => assets/img/u3cat}/logos/cnam.gif (100%)
rename {u3cat => assets/img/u3cat}/logos/cs.jpg (100%)
rename {u3cat => assets/img/u3cat}/logos/dassault.png (100%)
rename {u3cat => assets/img/u3cat}/logos/inria-rocquencourt.gif (100%)
rename {u3cat => assets/img/u3cat}/logos/inria-saclay.jpeg (100%)
rename {u3cat => assets/img/u3cat}/logos/irisa.gif (100%)
create mode 100644 assets/img/u3cat/logos/list-cea-tech.jpg
rename {u3cat => assets/img/u3cat}/logos/sagem.png (100%)
rename {u3cat => assets/img/u3cat}/logos/u3cat-logo.png (100%)
delete mode 100644 u3cat/logos/cea.png
diff --git a/_includes/headers_u3cat.html b/_includes/headers_u3cat.html
index 62c966f6..72ea283a 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
GIT binary patch
literal 6556
zcmbVP2Ut_fww|3v3y{#HO6W)l2_+Qi9Rw*NO;lnMA(Q|~=vYuh1q5t>fKqHo^@vmv
zrHKj_6hTEf6j4!+;1TS?+ktb`_r81Xd+*Md?EUXG|0=U)&FtBW4;ROQv_k@OD*!Go
zT7Vz?Y>RII-aeKVo(Ld-g2m<lERG|!L%G~&Gd(>Phe)MIZD9~;QIUEH)M!02k)#LA
ztrDWCv~UKOu!RxAWLYTBT)Lu6VA3s={fyj6?$LIPP^NPdo3Sowtq(0JoMuW_wz4Fc
zCzvHfMn^KZR6;^z1dC&qV4=KZ+ziG%v7RzviNX!HP`2TDCHT9066~Vb41y8SK$k`$
zlL-_Gk!)y0p^$Y5`XsWx9tr+YbjgNhMieuBW5Qoe8TQ7eZ#DC_cl^s2{A8j0*P!C#
z<B9PG#3*)%9@*5?lxIU<Ul(TRauQiwYJx6{qw==}dj^NbW=3<FQ7i(_B6UktEZ0IA
zj&yklk<mZQ{>xnbLUeck_teNpUILcPa=6}%pYi@n!yKQ)Xoj9QgA*0YrZHf;3QsxO
z%#O{Va--NjQBe_pXVEh>iW|iVjfy7Nt)mb${g^CzR6J+Z65rk3%!S3_Qdu;Hi@k+1
zY=OvR(#`BCMr0F;E!o&e-<V8xFt#Px+1eQyIg$))3@IiQ$G>&$qiC^_3>NoqUHVU5
z{eRTul|p1R?Ae~dX2vn-j_jyN!qSk<nEx1yjpIMs`%9Pp&#{pHQCANRMvphKzfAPs
zBDi{Z@JHFg4?hZ@!Gf!u4VU%e1lHfh&Tg}(w}+#Pn*)F#0I<$(OjZ;E2S6l?%l3A%
zCHMyf68LTd1P}liKn8$H<3zi!bM)b@Ll*}-0tY7jT$4QXVF+H3aJ#ST>`5T-(Ep?1
zY0+#h0FWoFV?c*X7{+NZj)><*^W?KIme>-`!wBA@mteyI!dRMzLzc155@#7(^DsS<
zMTa@On4{^DbRO=8@xHiN28@wzFiwwSGU8!82xHZV*hnUfKfzccl0oGFfWq?RTm~%^
z#v~YH**@NOForiBer(7uc*`%C%SeFZ1i&sTI+4u`3FQ(rX{!kE$~7T4GvXr{T&}Js
zyc<#3ba=0bjHa>@0azY0PYa0ga!Y`dOd*?6D7yMYIQ>7`zwP|N`uBi0x66$8UQ2TZ
zN%jAf{nY&_iz)}eWFF2<?oZj4V*oVm0YLikPnl{d0HSFCG~W4TJW{-R`DG_#GH66z
zLVvXXmGFc4&)^q-M4rDNxg*#!wo+pwxCCBOX;BgI?nB_fF9QZa_kR}gf2{aRSii)f
z1MhJRHUr+M2)=NYF<Bw-bhGHprLCFC`llKG57mB&fd`lC8V2I07J$TNBEa2|0LVZ3
z0ZLp5AcIc8J<yMNa})3dyp`vt_+q*4VGQ>#UH{t!kpn*>ILr_NPi*JyL!ia7<9HZe
z6TAx=2m(<c0c5~RpaL|3F3<<YU^TD?4!{+703Q$lHUSz41(ARa;z0^X1?eCY<btE1
z5R`yZ;2fw07eEte10CQR=mU4b126){z!Z25X2A#W6@nl>NEi}_WFSRI4bq16Arr_F
za)8_*Zzuo?hC(0~6bq$5yP-_z5L5`2LFb^~pcbeDx&aM9kDzgA8u}CZf<Pj$2nmD&
zLLH%pFhSTL)*yTk8xbLh7(@~x4Uvr~K$Ih@5siorL?7Y-Vhr&bF^>dDA*2*i38{-T
zLE0fbkb%gpNH%giG6R{1EJxNNTamrU`^Yim8{}sc1|^Onpmb5IQO>CKC>kmTwH=j(
zDnwPF8d2S-`>1i$ENTHQjFv}hqs`DRXn%AFIv$;l&O@I;H=uja571NS4;Tza3ZsEB
z#yDdFFkzTvOcv%irVeuzGk}@I%=7W_$?$3OS@3!AQTe!h>3qlds`;+)-Q%0$`@}EA
zugI^@@5mp>&*I<3pT}Rx-_C!J{{{b70i1xEfSG`Y09_zaAV=VoK&!wVfhmEnf_Om<
zK?^}2!7#y8!2-cr!5+aUg71Zdgp`F$g}j8ALOX>Dgw6|H7aAA(j1|LbVePO%*jQ{f
z_AK@)_7V2Iu&}VYu(fcYFjqKR_?&Q;@Tl-75pfZsh>HkaWQRzRNTbL-k+-4(qH3Zx
zqMJmMMDs-JMem5d!3p5hadtQ=Zac0B*Mb|y&Ev)KWV{DH5}$>y#NWWb6yp<97jqD!
zi=~O36zdY36i14yh}((N#CMCI67Lb8lE6r4NVrIZNn}dYNZgi~l@yaSl=PKMkSvnC
zEIB5Hlv0;+k&2MYk-8u?B=u#5!U~%ej1~J=)ULR<;-j>jw6!!tIzzfn`hoNp8G?+1
zOt{QJnI@U1vM5<CSufdm*%PuovTx)h<W|ek<TB(g$UT-v$ZN@a%O}g9l<$|HS6Hdw
zq!6ueOrcBR%}S}2)+@tS9$DGGa#~Sb(NdAActr7v;wyqA!G;h)C?IqbW|icXoRwmg
z%9L&^eO1;_Ua!1MxlZ}1ilB;#%2t&lDxE5`s*0-aswt{fs*lwK)J)Vu)$-MP)jq0g
zsQan!Rc}&%sUfZ5qLHLgrSU{lSkp=~MzdUVa1~~i$*S;G$5-9eLTDLjg=!UP-O)y9
zQ?!}d$F&D^&^o3%ES++lVO^}Qjc%N7mF_rEis(k%MQkFz)l=0A)H|rxtG7ThB1Mo+
zkw(a3WLNSoax3{yeJy>Oev$s5fv|z2!489FgLj77h77|Kh7XOzjogj)8g&|drx;V%
zlv>KPv8r*fak25RiG+!#NtVfVQ?#kA=?>F2)6ZrUGp^YMvzgVptHW1Uu6}8*Va_l=
zWj<-4Y(cdsvlz1^SO!~`T8>#MSy8RZttPBhtm)QgtY6ryvI(=Pws~tyvSr&g*nYG#
zv)g8O)gEc@WS?Pw+d<4>y+fhHsH3uDh+~!Gtdo&bveQ*(wDTJ0gU-V)3NAF4b1t*4
z#;)63yVqdXtXosKX2MO&jqTRzj&OH%KkWWwt=d}F+9nU+;o@=F<Ef{HXN>11FN~L`
zSCQ9qZ?boackep!b(_~!uKVC)>yzU%vR-q2?D|e$QQsinbG{$_?EMb;jrr^OZ}aa9
zkPTo4Gzanp`Uai}oZsNE;pm2`Afur4prMT#8xuC(*d)6tV$<c#qMNCk>x0q3e!-Q&
z->4qca_amRmo3FxW@&b`eA;WeHT?*Enqk2>#CWmQV(X!;FGDOs4u?#KT7~9?zG2!i
z3z_f2oWn}OK8AaQpABD(@QbL6<c|!FY+;G9!dcx>E29#k2BNj2)1${?%wmql%(B<8
z&u}2lMou$V0zORj$7;szi5-u#j4O)!6z>~fpMXzbCG;n1CGJmrk>r?kIvJHrOYTfj
zN=Z!_-)6I|Y&*1l%l6J4Dm&74Ozm{qS&=H38lHM<7irg_U30trcDJS}r0q<b+~c&T
zDqSR<oj$yG_1=<wsC~?RxAz<DKem4%gPw6Sla!g4`7Mi<b@KrEK*52<?5)|ib0|3{
zaxuBA+@XV32P+QY4<#L%JnVkB@d)8a#*w+Bn~&beGt4W=7tD{%A1iPxXg;QTEce*A
z!qCD8MYctC#q!1bi$5NxAHR3P`b2GsLP=)Hmr`cw!!oC`#&Y%Yypx!daVMXj@;%ji
z+T`@PGqPtg&wM}2Iy+Y3UD18c_}sZl`O2IsL{)6nbahbm-5UFv=33p_vO1}{%=6%U
z?D<!}1^+g5Va<ikdXxIvi)t5(8^jwj8llF-#@VLOrm^OL=7AR1md@7Itqqrmm(I2+
zwG~~Kyqwc6*q+wDcqQq|{MG2IZ#qIcCObEGj&%8V4R(8V-|kt{bN!m*wXR;9-YeHF
zuD9JVyU}vf<YrSJrLVEysK4Qs(XEEtl-rGWjPEqxHND$9U_Q`(&+1;sef#^@23-dG
z9;|&ZFtmQ?;c(FK*hBimmyaSIy?Y$@`0L2dC+H^`PjOH4M&(D#e_!=`-56!;^0@tY
z|HQh9kxAO*>t~#2-=@-@3qQ|$q4?t5OZ}H^(~i@3Uu}3b^*Z|X*Ei{Z;QuIotNHfg
zjP*?atpDuPJNCQ9KeOJ;ygxf<IM+GvIY0U#^267U8J}c6ReU!2-227v%Zsn^-}t^2
zd|&mwbz#lIlf}rz#l^Qked#k8(67R00SE~sQAmuSFnkEX!$<0!07$g~AXB(F0@45m
zg+ifG7&ICqfPw!){1^<s5LQr7NKg=q!!9)(RzwshDuNXkmyi$_mzR^1lUMxFAo$%U
zj1`u~;iP3H@shGXI{vR<u@m6=fgSKhLU@3{Lr6Td*bN5YV-Et!`zHFkAs{qBqA+|A
zfW^Od00@CZp)oiBFc1QTLH^Kz@NkD14ox6gODK``ZN)J*Ds~ju2|yuH0x0BPmLUYd
ziy@WB;y9aB6v>MkqpV-9Vo+wgMS|VATMV|2Mxy@?0=_Gi;Rq0(Y@Mo43ZC_%io<d8
z+`_>wlOTXsB750T55m0JnA8r^fc0<V?-m~eEX+XQk?<5i74O?$fx{we3RE*>JFE+u
zdYKZYs`+aDVh#ta3tH=EM7F)~xc#~MvNUHPX#ViP+Yf(QGWIr{TgMsBFPHziP*Pla
zr*+fzy_*CzU$x)Qd2YTifFbsOCphF4C*fr4+g$@*zE1F|X*h6rB)>wS`TpKB=kLk7
zJe>6RteGoo_&ujmes@0hH%Bp-UirdEVPlF(vh0(5)XuSH5dn0+*rSlWweow>R|(BT
z<SsYE9yoM<INuN&At<5gS!TOOa796q;^zY;FJ_ufOkT+eZXV~be)DC<nH+Dr*_FLf
z)HeM1{PBIoPlr=DBW(fon`mD#ze~o@rgjXwJI`5Yv*NWbtp1?VWbs-&K=1rpd*7Oe
z4Qd-l=l!20m#FVOscbA>)w10r`TDfs<TkTUMOr%5pQi54%_>&w*lA+cUyJ=DnwL@s
zEk%XkMfJ*}MnpPI`d#vd=QE@U#cVNBnPZ@ynrSE%t2DoPiHBU`SzVmYTDAXiXvC?p
zbt~;t)OR%YmW$em@vC}nYG2VgjLga{u-|yeF3?^9uZS<WzN)N^PIbf2HW!l<db(C%
zgUIpgm%Sn|R*1J&%a(a~kfnL>Gv%G@-6q?f(!;}#CW|^es~^!0%NIPm=HC}~Wr+zv
zF!N<IH-)kYN<O5Ptv#*#qPRUb_S}Qh+fDoGO#&b3*3;AJ?~bTd?Fr$av=SJ_q2(Jk
zg&mc>H)>#!&^2OuQqr6fJ)$OVmMA&}`Md18*pZRzKB(k%LRmLE`CyykAGsB@$7jU8
zH(DCF_^Li59W?2j9vl|F#6D|r*DkT?j_I56iz631cYh!iq(2`Dyk$C`PX4MhI4Yx0
zJ>q;M>Uu4C<Hw4u*1gdOwATt>zS+rso8CMcqE^)QX1uXS^Gdb#P>MlGb~!tTP}rX@
z*sgc&-VCz3M~?|5V~W;wt&1~p$ttZ6{1|raM%C3rSH~v|GFrlQ`(<yo8eAXA4}SeR
z+x7mVm2ZY7`3~zf`&|-wn9Qk6*Y*p_I$NLq<m8R{oXkPm_`LKd3r9=QfRV0~<M(zf
zCk_c&Df!OljcO-GPBrC?Zusk#5KEJLR5M*$Z;t-ZAGPnqr+i{i3wv^%%y<5vOC~{^
zUgts1+RAU!t9E;BC|!+OKd)2RVkSdf1K1Hy(g|_TLTd}Bi9umB$aMC4*FL?hY*Mb2
zVKV*vNgd6}P@`7E$;*|;Br_xfySh6BM@9-<ahls5-scmI$XTeqJ;a9cAp6+N$S0dM
z#dZp7>}nX5v}ev;kJ~LBX2z$2s!T1Mk?J;GE0`91;Sn#UBq7U&+p5fLSvNK9WX$f*
zyGK77s8l8#b%#0vvJek!2Yvq3BOWE5AG_r$c`<JPec78^jLZ0S^*!(fc0RbLv06dR
zgV)yATzsx~lU5^V$JSuJp3-_Yu_G%y)d|UjJxE_8XVE53&(6qBjT-f}h36*>6W`Tt
zoD8~jttI{ddxqTC_JvcjT)(`8E;!u_D=eLK9@m~#it_eSBs()=0{eQJ4f++-T>F);
zpk3qtFg<?O;NtVR1;6D|=c#>b`m8%qmo}<htYUqBkBM7(+o5|O|4fZXt?pt&RcC0w
z%MHD|;CgI2qGh|I?vP4E5p`vRRN1B2RENlCjFb(Ql}QW3gIw(cL07zHM2xR(eed}A
zmc#UyycN&3Jn?y)HHX?U;o<Dz=CojZG>azPdy_Y+XR!O9n<q}A^_#+|*j}N*YX7$t
zl;M)ky;4c?*F|&bX=c63WB$GcTZC_UE`lGmgKO{e%TyQ+Xo<~!T^+xX*8W=IqyJ3n
z?d0kgt+#2JzVZE@zTZO!yy~4JB=5F3;vQ<B^h(FKr8vYEoSbWPJwZ*mHGPJ!H6j-i
z*P#1-uo{_r$;h_1^qtVgT!HRYV;xPziGcw_vs`YFzw6K~;))5yfDEt)<E39ZR4LR(
zmA;@)UMrflBRj3yRiz+b#-K)L4JG5zn=X}L;m#^a&&r!s7MfL;`YIv@g@s<|Ms>H>
zOH?<ASIF$%*P6e-&TwbV`to`q_`Jz~;b!g(I&%oj)H%dFg5I1dt!{1eH<jA$`p}PB
zTsfD$uUSYk;A)eH*q46q$5!2_)3RYbOk=5ydFb-(1_iZl4igTRcg>qbc9+)@Xnzn$
zWbaoU)#u8I2sa6RAXTAS-G<eZtA;KrNhFkl)1*dokCabxo$-m`?uL7ekd9Yg9-&Cq
zAWu8(x)Rmhak2bBO=)LMGrG{PQ`_uB&HdDr(45qn5|V^h!k;ZA-6(r|`x4Ri<s}Ti
z9IbE*F5Ard!iRJoo1M+V3N{baY3d4>)>a&Pp($};rG0(&y|!kyQVZ^F+WHOr<+@GU
zHyE+o`o4VGIX3?LM-u(^fVt3@Bf)ikVkJgRf50CrcndF!805`FQPXGU%R4NR=LMm}
zTL~@f@l*Z>CVDcZbXwR`6FPG#ZtapC+a_1{b)?MocqH;czmqcJH_teSyFU#waD12+
zVr{|b%a>AdHL|?B-q%!F;<VG_jTYl)<<l-9WzN?nS35ot(Oyg9S3e<?FXfY85MFIL
zBN?^dDZing!?oOT!(00+!~auEnw^dJRIdl9GOXd84wa7jI)rH8IA~{gaL+b1dV$c-
zG>YB{HK^>Pd~C-CTzeW_?NZ~&tI%SUwuoqZqN}hJwk78N)zhD5KX0JDS_GW?J7VT?
bn!ji~nbUaESf3Zvya0qI7Jz8Z;-mip*K90F
literal 0
HcmV?d00001
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
GIT binary patch
literal 0
HcmV?d00001
literal 7598
zcmd^EXH-*5yN=}`sDKE9MnMHd5C|;+1O!Ez(t8Jy7HVjr7ZD5s22>EFM4EI2DG_PO
z0i-vhp-BlvKth!WAwbC8_<d)6zwWw!?ppW9eb##S%-%Dz_nw(|-WsQ`tHF8_d=dl#
zvEJ8IH3Wf<hyzq~<|y#w)?h|3P_TGwTKEB_<{wh;c2_!l7~p-^<)7Z5g7Lc=AkZbu
zebu|hLEl#=^`2RGMxB`6c0S7a!Jf(SCyUhm6Ms#ppSp1My23r*uD|*CM;~9;ydzIO
z@5`dJn-k66d)C)t`)B^~-bbrfb8d_F@ioCyHH%r<T%(VPz0j03mpCR9^zei;`)dni
zFmd&5L?oF`!$nJO1{tppmF=1gl~JceI{$zdl=E%LUp_Lq0R++)%i{p?|8I~;$*B*|
zl9U>PrI8mvZ-!TG@l#9wjUyEWkoyO=x0DW{YxDe@U~(u`9uv#{l>ZLWrrvi^mvXea
zny|A+id?oT=>`4GpTYg&T+;}g#+73$n9Q!EX@gQUkpLelPAk$|pVR{G;?zOUo~eVR
zLgvtg6HcdZo=4l?lK>$JwGoZ42tlisl#VMP9j;yS!io+n(AdHr;k}sn_;_*Y7v)%7
zgX_&bYXQ(ZgE0%>dKG-+3jhCes(#e~YMNME%h!l*SzDW$iaudSO%4rZ=UZ9v@bp9s
zGP*aU6%^9M5nhE#xP>6<WaPnOBrT1mENzpNKqQ8)(|1SkyC!4-_ri9oVOLB2&?euo
zLu56a_w;XwgN#_$yjd%R?OEu?+I`PBn?=zXF}npT;Dsf@MZ5jaq>`%Mnq(@>ZYm6m
z>dMc`1auA|jJDh~Y8Jk&HZ`a^M5)}c>Q@gn)meQ~Mrwvs*z*3efaMpKT4*HvHePS0
zW|EpHy2;-U!tx|#`{4}<#i80Vu3b`g#rb6a7MCGZ#se!2m)mWtESiKj_d{pBQyV@z
zUX&lBk<TW3R+MZm!$bEv(3!G>yOFnpys2v#1*dF`Z(PT9Z2gfzL+qQ=$I=2x^vU&z
zy>a4Vp=Bv|vKzTJZ&^r-T@W1itgXF(9M(U_lNKP9U&w9tS*j48r3Zzm3OO4L&{>cv
zYU%ebz_3|i%bL)EMNc{Drv{$p2_w&Im`^z+D1z}T>mx(X=LV*_)5CtlCA#*gvDb}Y
z*e35O-H><t%g<b$(c%UeCdK7`VTwj#jY_e+MoRb(D@>yih2$l@thtC!E;tE$Jz|ZQ
zhrv8w2A=I#%KMF#4(IB{3f6ScR2{CF2&FP=jlKu|a$E{9LSjp%f?jQ(J3baG)w>$i
zSN3Cul;CbO6kIf9kz@cJxB+IA_UV^@*B#g#Z1Y9e1NDXcvAd-_xv$4)sYb1{#`r|l
zxv;#dul6rY38Bn9h=)$Y2C!Jsp<BxH{<wscceXH-g*)~yO)e1R?8@@1ekNcOedM$_
zB<nSgi4-N0hq?#MFlF+jSJ0Bep15w>5n=G6`;taUJl~*<0NdPLLs+n%^uAwUpu2mh
zLT~E=f993yFh%%FeDej&itEhxQ%K{_&l!&5%L(|hPY$kbI+(0FJI1aV{$_>vNwHd1
zNz)j_1TK7Udv&}d!Qd@F<ntGQ#N=+fcm%E2s%|P`Z&6t<Jf)qyg`=;c(N=X8cKC>J
z=x(o_U^3z7SWS^04}*2a`YFk87tbB2=Myq5wTwWZy!{mvly?d2k)zAuiwdMYTii%k
z@h|<o8N@BR^vobBk`c|mHmR_@j?mN588O&NuK8F<a~>kBtzACY*qHH+G=uMz3|d!N
za-rLwKDr3rSdsSrI1qTiug8%)`Z22471)lN7!s#j<nR`L2TNGU$l&YYGSDbGW(XY^
zi4R4q#XJg~x)W(y^S0F5@s}70eV}7AF;KD3ExBxqd>weS$Yer7GRuVuEM^dt+b5W%
zou8}9>7JQ_9mo58R*Z9c{OAF9$Oln;4J&qH1K#J(omVENi_3*i`<l|2-lZC5@uQOR
zd{R4b_h6N>0dC~>?m+fZeQRAghnW>8hUd5SM>^q-I-DW7qLrUAO)(>rCPv5dCD+-^
zgt)J--<XP--Hd1MB6bqBX-wB@pb}t;CAg<7bGo)E71g&yd5yS}p}^e<v#V8CbFkGR
ze6=RTJbI03n!38&^usYfcJRiz_KjvabbLpXymhX5);>yHrOG^5Y{J4C_{*BGLfAEM
zP2eZztMgq`24v=*l+H9*KX1b85z%Z{*0_$Qg@lr%{O(OK?#;I}@jdU)6IF237OgZK
zO7>pnPom{@WUFrn$JIOBDlhp_uuUj#dyi{Ei34L+Cj!fr63T*0e4x(j-slfKFAMJZ
zvwxEB<6TyPI-AYG`&#+kZdC_90S6ELz)IfO@`0w;I|N{#cdV>8`VdkCLU}LXjE%PI
z9moQ3C3i6kA{1P+t}!%|diTbtaqvW7ZMh}Wx5x8DDR7N<Zi+yXLQ6-}(Cd-#PGTn^
zETrjA1N0`Z*OqIa=M`}83~tWXjT>#Tzz<23s^^?wV#<J;^yj^l@xJlNw)(VF7$*M`
zlcbAD4ZJqRGTeFl&g76NII6T;>ZgBal{V^aLYWTKd5paJL?}7^wtgTiUOiu{xWa?o
zH>jiP^uL>Do)jxd@5xAS6u4P(pi|mL@%^X0$SOKwc`^jJwM96&xL?utUUK<6$epU^
zNo4-d<n52%e|;_MFXsUDTm?sc7Hv0z<#FVwO*mV|z>mW@E*5hCTZ>wL9?=ErQJ*L1
zd2Xr#AXV@|7o)q-dtLv%JOw3Vv}dg2nI{S58&o#2*p}bq56U?yTKwu_W^3-QwgfjJ
z9$qU@whJ}Ok$2-nuc?Fd6Txcv?F}JaQqLsuv9oZyKhv|XVtd>UOuJvRRJ<2r6n$PO
zaU1(7LruW*L*w30!owF0TwgAICtCdJLgw$?x7E3et1YQ1wSYRiSYUUd4qa(7NK@={
zb?H~+-UHi<(dWB#6)bg^^CUlP+Op~8t5^yi>n(AG+Txn(UDwRR$CkUUFs0_NIvVuC
z`*iE95?93CB%Vdh!xb!ua^M<Lzwc5?+XP1s*P1w)R2?+Ga|k)4WNI3npP9FA@aj3w
ze<_%nebfo|wW(%5fRAd;&gW#EHpP9Pt<5KQO${%&-_t7pRW8}(z6Q57tX;A4UBPNy
zuTA_%^H{Wf*;phCi7hINW0N|rB;79Kz8wGBjQ7Il6!Dl@er4e+M(J<A6+yH(q1V8a
z3<bBZ?cKOaIrFAW!Nz&Zn7i7v+JrFR7#*VklU}w>xvNd6CbcVDJRZu3FA(F(H6XmP
zt1G+DbG_2pBh@Y|ENwyb*SStz;w<zgIGQ@O*N>PAzOlDnb?0Rze@2x>1g@}d{0CKm
z_0i_yz#{_qJUV#t+ezrsN<80q#=MJ}s!#{s?#@E~&kTO}Lnu?QScThHi<J6lfh%c7
z&SqsWr>k7O#8LR^O-pN59eG8~GK!6AY2%gLxi2&bzloX1mBE{&jFTd6wsd8ZtQYBz
zL?^ZjJ*cFvA`l+W)gx)Wj#A*;q1(S*w@DYk0hLtDdf0mC47Et9r<9p>hfY=AnVxE{
z4ZN#j6B|MrqY;uKcG?crw~A;p;{Z<|#~-+tN@<T66j9KKFiNK7H&-<x5u?EPt;g6&
zYHW<$X={t^-HNaCvcX5tL&$zc<tPn@GxDAMM-3N4ePwK)yHVuZ#+JhL%D%tt(APj^
z7M(LNvOg!5We;dRkvvHu{wqkF$(zVN*-6?*KOs&gh%5p}8Bka^cA4I+_Wf9ws5@}S
z0CrBrXID!u&j-h?=AdtV=VOsQ&*YFU>FNNLTIVTbH1YTKiIN87G7o-dUYvp%t9_sN
zWY(R$S{HdhSyJXfQ-%(DFZK$%9BW;AX&K(nAgkEwW>@9$fHJAg&o&3m3GZD)#x<oa
zjb3bjAK0v`o9VqMhVID8dYm=IVp<9LlqIKlOPYe>n4h>>hTySYprs>O)5bE$<{Ed;
zx!nxCuj-JHQhz(Qr$01AEBuy=!>@WI4e4*#>c$H1xm2y4jaD1Dm(CtzT+geMjdmMO
zIkbJ$4OdAb_?Ouc1Y?>;^TZRs(xP95ZPk4lHzPmz?iLTq%N48ezE;i=R%R~3U}159
znKGwk>=M1V)alE!l(LAolU((gM<Oca5lrb@KY#PXV9Qn1o7SPhlfsoM?mdC#ehtH4
z`6hi~*TIXNXlauoiYIDTrpY+>urw7X8sMr&fIq23vLi$x9v9e?uEr{tY)adkaI0gB
z>XH@<o}KXh?i@00__^(DZla3&*%uZ+OpN%Z-VB!iI{iG1Cyku@td<%|78(*zxBNC6
z|E50^2AD=^@9eWpvAoe_cq&=3-&IK34u-h*OdW?p@fsJEVbrus^BaU}3R_2F26iLk
z)CY2IOIpmk9B>ofLO$&RMiB5qP3)}iFlFMMY*_yd@G0WE1siPp*QR&jZW4CL%hi2f
z-^pi~VxoHaZ<`<=Sg{ezUxoAwXMXR7<k|B27{!X#5X*RV$|7|7L--ncoFIvC?ZT7m
z`S-U_X(1&l<{yJUR6n~(G|16`MZ?RBX^7fewDdH_h{d`Ki+?#SV@o~rVZHp<f`x)-
zR8}!+;!Uy|^yr-*2tytasPwR^`v069uOp8vTwqhcgi@KJbr%OPok@pv!!+icRfrAQ
zzrtpGV#VKUYK5wRaUU^E6N;?7bomfPkPfq_`e6*Z?&9ti(do$ayw@bzUuh>N_=p7o
z9=3?lU3_h3n0EAW<w(=x@`>h-#=w5ABjjrn+YfBw6-^+AzU{*5UmR%A8GszmZkHEA
z)ZX6Y0o+<|vLWb0@xs>l>x7OEox&@D4{W$W3oMj&!BxPw-Q7^1ei`|=G~HII*(X2!
z+nWa(0-%&i-&3Wa7pd^$kDvV?P}hS}{Lb2BB!dbp-Q|ejU3vtbM4AYr^hYQoEmCFE
zwFQ&A;lEeLf)v5%&N-hVKY#zAHx1Sl|Hg{|{y3VRNO_U&iXfq0$IX3O3*eN-US3;+
zP%j1qL~JHwFkaM&dMuWxk&H@waw{=W9y7DiolJns?f?EZvjO14_q##g9i{k^Is?}a
zIwL3Wq-9SJ0A99DqwAFwhbV;b{y;!OHXWhB7KCu3`?zM`?NVCXFY)s7C93OXC#uh6
zH&0ze{0@2aN{}Ub#QQ0rTbtw558R+3+a6M5<DoknEzv|L;l&_4IN8eTk9Q2=5uKa<
zg9AEax6+BnAl>;Q+xt`PX_%-YJ&pY4W{o5!U{I8kV#I!@GFxnk7U5D})llnZ@6^=8
zjU69y^*f%Uz7jh>IBiZNrPIT<$AYpNxcaYxtvn@|1^S&Qbox5Icb1Cs4Mv|FM^0Pz
zXTv>Ub<1{w9;1iLO1vIbS=YFy%&4hLYv9rm0MA@!W5ew{id04lKYaUP2O*4Q1}rz{
z)_e4}8SkICAW6k0g4+!5ZSZLA#&d^Bl9ehaFE4D>b&f3M?t$&^KgF|4#{&3>V<XqD
zu8Np_tTReGiX$J;H)dsX&6x<Jz9J%+f$i;ug#s<iK+l6l5_1g}Ip4D#kV(3D--MSJ
zqe#qdxaN5kycA<GhrX!1H#StZnss;WPh^1_vN#ynSkik`JgaHWna1<9<`SWcVP&!8
zUtvpM(hCe|z1>Be7rs}wx4V4t;-pud2v^A~p4^@3DB2^MN88NxR>73EHgOz$wk*C)
zJ@dnJQLYlOxL5g6LYMXoa(rf-t8FHmp$KM;%{K@#(w>w#8dE8Q+Zuj)ijHfHGae)u
z6xGyG2^!INDNOmuYhW7q2D`L1z$3Ad9hadMUeatnqstg&(sF&$n+HL9>n$xjc3G#3
zaQmA-^lT3dpXTT5x<oSOwVna);lZzAQ?f&k-KR|WOs%}CfXgsOig8bOrsW5n9vw}m
zx3%&3_0#E#gM(lHDzC)9S@iVCQmCu)F+5AbS3i{x-`|-_x~x3>TKvXo$YsUzr}>mC
z<`!GV??4T6&e$9+$Eln_Rdyt)&;1Ir?wtR9li6icFLKkZF60dQ&NYu?7fvf3jAjY4
zU*!r6y#3hVMjpqGNT>kC+n=};BVI=g4B}WjQ3O$YkjG&u=0CyCrx*e~Z~oItw@LCn
zOYeX^OLKqbh^oNLF9s;}sdc+gUzQ6X22~pJe9Dm#-d_eF(~gO9=M^KYsTEDu8XETL
zwQPH}X`D>=Lqn7JSefkYLPks8HdxPdpjBH1_gbdsl1@Z#3~rD=ZEcO%TG=Vns95aQ
zmX~akp;y7|i2k#`|D0DL#j_HJEPim{fBrYX33iRC4e#bJoIcp;obd+EvXPxNP2OHz
zj_>lNmGxN6&}zC>Y?s}&owmK2jNi=}@qzB|0woH*1@Hb|!C!qYJ2Gq=>KRV|F=%Qk
zk2!-)*hekJ-WE)z)8$6Zt>2u0B2sIzCMOvO>&?yEs=NuDXf8<KxL|Ty+oxk0+O0Mh
zdd}dO#kuS`Y{l7Fc~Xyue*kme0Oz(GikHdBSoX`xx;AHvISI^Y?4g@6^>(k?+cb{@
zEYuX$K51>92#;YpxlY!$Iaw?M^qGx1-lYpw$!Asrihne#%Dt?nKK8B$P?dYnI|sAZ
z*NY&3L8IU?sPjoTlDn@Vg>zV%Y%hUZr-(HT{!6p%5sZzEpYZLXlz>3xeeXb7<b5M@
zfUJy+%v8v7>(en8SI^ZUv&=1+27wvNqx1lf6kD7)WqF2+*F@0Xs{6=ynq;N>NW^wc
znc4U@$K2mfZW5<jT3VtSpQ`}@kiAJ;ainn1@PPj5K5*{#HZ`+ecFXB<3rgyldU11f
z^q_Jjqg?X1J)S{dr|vB;ySpzhPp;Mb+0{+6sGULUhsFXx9;_JSNkDsMCIWXWH2*}(
zeW=QNUfu%8U2ZEYvkDKyf6n+Q>KIHWowx;Y2)cGh$WSMbL-V1_;`)J?y9iQvdR|q4
zI2yFSU*EZZ74hFkquo3r88k|W(k8o!AUL;!jh#V_#P3T1Yv&5QfJiXdG0e9R_@M(;
z5kspdcRRiUyg}_e4ma0-%leaWK>{;O`qBYyFrVPKIp#9;_9PH{P%n<^{z0QeM=R5p
zlJ!t+4Y7~@C3H%(j!=O0h-v$S!x+)89bi{}Zg@v3dsL5+NF;U!40(Z4g~NUP_%XGC
zOCkv#^WZ#Nw&Dde3J|h#+BT_q?|%js%Td8vvjh)j8JPi0O^)RW9m_H~5x~MbTxb$W
z&*r3N<v2FSl6}r6^u+JHs%!T9=eD^EA*bwMfSa>$p=I{{AH8L%|30C)xn=s-+=g%5
zM-FrW7&!Ss67a<WQzsx~ds!(+;(XX<w|8+sd`*=-!masGp-nYXvl+pRh*1GdgW|ko
zh}QJlB#Ch_)hzME)+%%rIGgPZl2#hTc7-}JEP8()A$L7%W@rczL9rrbM3_Hn7zQ}5
zUv`fUDBfGhsyAMB<LA&wPSd7;GiGnJ>^~AP-y#LBEokkX+&we%Xs~!I1kprTW@-0r
z3X*kIG*sFz8yXVFbHyi|8u6?QJP51HY!DT#TpJ`p2A;Ti9!i0WK4xtl9UZ6!xde$1
zS~e%mQ{d%KU%wt20zL|xtw7lhwoZ?oAH`bKS>bcv!ONp;D<gPJ{oa?CS6B|)TL0wM
z+b;a7-aJL4Ag!d&pkWU`+wh`<UABg;cp$&`O0@1iXtt%BHmN$aTReEr9V*Jh6CnM)
zoalUm`evDWtqfic^-C!&ncI<lz2U7zHhf_iZU%IAI()yErwtGiNN>32FOL~mSRfs&
zE;#dc;)P>|*eLDWCn@c_6+v+w@ltl>8ECZM;=raaN(QhPsr@|T?{Sp&J5W>ON%8W9
zDiI`yeZ?0*%<9+i#{DQ_QMjh+pf*Hr>&iV(-3uLK!|Q_85ybv)kI}ezZ%stvom;
zKwx$}tMZFHl)dlhQdB~HbUUs7lXH1coI1aHr)ULhZqRO!QCc23!zcBX8ekoGh=?o=
z^d*RsOE8?suznLl>+SY3v&h|V0Wq_`4FI|0q{)p|P_VKZA1`6Y#|H#dSl9atBQFpK
zPK}TEH$?`RUOn$Mu@f8lDd0UO>D<#*H9C%7CqD9yMX#DL)ve(+6_h`65&c$)7j2jw
zf3vt}0HXKquQDUUwCm^%^^10eSs&|zXH@XYfDJbHD<LV3u=IP6#E39rVvXZbX^r?u
zrysI?;7ep<CEm8+#-hr#n03xVh!%L&`pzkh=KA1YkMN`g`xam#|JWDQ^~jx>=o6R$
zf`Qd|SFN+h-z={XZNWY-f&5a4NvLwTxv8h$;%H*$zL}}1*}Y3BFndCQX9ZQQY4pjD
z;kNEE_*a-w-1y>5Evla_xjSegu~HLo=%{|Ekothtb;bdCsJS^w34Ho{?Qfgc?W<ur
zq%P(b(sO!DNlXn7_u1GsJ!M`tqckD(!u!hqWH`iQoQ4Q+DOaOA74MsO$-5zke2rC@
z-6rbNU{dLdfCiNS^yu5pdK()X3kw??J3A{YJ3FB6+LO9_^Hd!ls_ll}cd4+jToPj~
zFtk~)A1uOy2E8!d3`PGhX6OEUnfjmXAL9gW6D1?b=STpum)HH(%>5mFo$URc#2kSO
zNJ>KDmYAfJn3Sxsl!Uy5lsrsQL_$(tLZWDY@G#x^XMiWd(bYNle;BZ%Q-7FEy>j>k
zZ%1c&O;<xFKNSSh%hA=#MFkNAl9rGTf=Wq?NQg*yD|(`UzFhzGHFfg!b47T8^i|cx
YBq7pQjF`&tKs)HZnyzYv%EKrB1<eCvdjJ3c
diff --git a/u3cat/partners.html b/u3cat/partners.html
index 4b632152..4d602ffc 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 9b901f48..a78569fc 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
--
GitLab