From 0bec9b7bec061d471aefca20b1bb4fec9b229f93 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Mon, 4 Sep 2017 16:08:51 +0200 Subject: [PATCH] Typos fix --- poster/poster.pdf | Bin 155535 -> 155520 bytes poster/poster.tex | 8 ++++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/poster/poster.pdf b/poster/poster.pdf index 5046899045475f99d3383033eea051443e491f5c..6251453fedffe8d9cedacfec893acb1f0c596dcb 100644 GIT binary patch delta 8956 zcmaiWWmJ_76D{2hl7gUgcXvv6*P-FiC@JvJAl(g8g217qn?rXaoPi0;eUW{=F>Ei|o4c@dvZy1lCq72kPmzLdnj;Ff;*?w)^vI@}xm83Q|6h zLH?p4*FeTv^N#VYR)u{TEf1J8wW&B=gCCT85l>hygfZ(blS$6X5UQXbs$kwuUJTj3 zTf>UL2t1bkPMI41Iy$wpDz%P<@j9&p|MI0G7v2><#JxfX6+38DBH-rWkYo-g_7F?k z>--1|3JW84*T^WKT(mqt@;J|kS(kdmE;QfI~%~(jGDk7VUi2coXaKvQ!eN64?d@|q#6+rIA zdD(qtrKEw^hPb6o09K?*oc>j0DHG9)xk02*T5s)eMA4Ex%DlKtqfnbh^ntQWTK) zUem8Jgp;%Fu*yv_03{6uy=V33>tTs*5Z^(i8hV@&Yq>Q18`~-9l5R3a1b~HCj-_AsP=rME zBX-+M!-JArl7}}9TZx9p)1;Akw$2N?@jM%g7vV$i)|@scYq_GNz9;jrYWDm!B&fee zLsxl6<3hFjLbGQz-Tkiwnhp-!Rx-^oD2he;gPMh<&H*N^Ur;%G8#n)~W_KG;fmH_VX$?Vl*5PxJq$NuF zu|4Dg?7{Yq&j21(MG;rLHe1@dfqR6G4THcWi#PTSve}r9F>qjW%ryAblJCt!8W$*K z>*x>;X=8?$2%`;8G9w#DDSbNpZ3hb zSF~ZXgz)EKJYFhWv|vouFL{(O-8r zfMH9aA)lVj_}t9@F%k!NAmH?HNnaOw$a*04$hz;o4VJ{U2XyoB`&CJTL#sN^4^ihqQdhu_v$lRr#Ks-CD{IzyRSMh_5%6BW>8s=_a+RQ?{!qesOT0}u(Z`t(F*YA!)$T~ z34*;+!TgK{(szXu)>_yY@R&y}U`@>}3k=5EUpn1z{?HvG0<(*Mt16E>Ymi9JS2>~x zpJiTHk=~`8Ik?9F-@HZiWNmDX|in^ad(FRB#R6NRr6g30Gw9{3LEizx&c7RvCrR z{KbI(B^Zag=a~v>)9=8H*RpLDdXeyNKyF`#$oD(w|C>-s6$&NrzoJ$Px-y$&KgypK zyVwMgfv_F3w9|fc7+|hk@uygxN${7^N7)Z9md2VrL<{x3M9Ao6NczoL@#MC(rE-|) zu;oeV#ieX!G>u{kLn1hgog{T(cMXI&0nu8&t)keBRK0go$ zQg3i1E70Ttsj~1BF1B*TkGS&&i8=qVLC>-(tVv(sF{npLjxwGey?DZ!1`9`rUK_Oh z?_|wZ%xyIWm7{)pidsBZ4Es z@=?-Rj$Jf(&zj1JyEr^|Qy6YIHvcV*b$BOb7?l$ErxUt~WW+1rgAOD|r$7QX76Yd0 zZaCY)Z0(-t|4zfBHpFO}RuQu)DCx7MoP`|A4@L|GBQhe=TsAFuaMtfOy+R7fo`QDFZ}B>sn_iIh#Z$SvC7A>#Cf#2T zuu=Lq`CRk8)L==VSrTdaEcL$bpKb!qH0m-ApZC3zke7tmZn1n7yAkxH;1J}g51iI5XmLP>9obN%%s8S}(_XXJGizR``wo#ESQ{&BZ$k=bqo%l`Nx&OFVA9mys0GTrsvG_&zDpkbT|NgkGM)l z$R*;3acN4FPKLK#5x>8(t6QjWwnZ1@pOem#KO3cg7-@iVa@BqyRf+)QU(|IQjK()q z_7`8qoE{#yv`NO29`C9c)b?L$Fr{GUJncSplim4{r~R9Weg!^Ft7?#9eq{_P^cYprMkzXkVeB?$~wtioQAygr_G1CD0w0<5(0Dm`D zQMGYV$aA_64(dbD->BsuxT!qRVqTr!uLtIPXIwR9?mPXR+#A7-F^(voG@SJI-}grg z)aqhdnk}4*oEkx|#aHzNsgl_U15{QChSQVTrSA7?k#V-3R|0tBz z%7?o^$9LW14!9Qb1}X0^p$-RGl`~Fngt1JMrXx2HIYEa=`J$E}G~BMKJa6*_?FMI+ z%9z#gD|B{-dWL+s?xF04E>cr7eotho@Pf87h|vXUG4MTE{Dz}e`qM>@-c?VQg`p-) zF1Z)5$An-8E7juo1uQn4;e~JSv1HL^4R%5AVP6 z(=0xl0X7lxJ|UX#ZJ+tMuYxgU7;Sa=S9@pPDed?N@EAP`>ccFzf|M;oM>Y3Yk z7D%hJo)CsnW41JQUWmO&(`HLfGHX-gtWdRt+lXMBj?uXEYUad@!SwD(E+}`9O?xp0 z+UMJq*~cuYHUwLLj)FGOjyz%+gpd#Z9Xels0Ll^O38UQ+T-6N6E7b5`rs24JO&-l` z3iXo=a}%WXf167r7dmwqvNK$rhx!@lKR*NwhM~kAlHX2&xUO#ZM-W#+rnrM|)p5MW zI4xagX6!iAEoPeB7iI&16Ke#w-foGucPi3f&m8VKFCiSy%@F{p&}HFP_m^BmFH}Fwt!#c9Lqim{m9fWdDZ%X^Iq)+RbuF+vKoJnt6uqy zs!A8H6n_w$%-pC~v--`Mu6RlNj<%=*Ta*}AUK4F5fV92FAzK@QWJeMmqlCqvA&67VJV4)c)5zQ)lv>P zNY8~M?ze|E)5Ss=H7aEl8pE=o!E>>$?cr?y{u>w2%zLgMuK_2c7Q^M2b;jhRJasn4 z@ogeduS69p(U<+3ct0W}YPSc|#^?L9IHQG|Yc)8$O5q zs;vy~LxQ@E4i-9>xoPWpBFIX6bG zF^3798zX0kJSlLU-aGL?BH}DeW%P&e8%gsEHLB)E^(&mbGEjKhiA z)4t1~pz3#14*t)T1v4wHW}KKAFEFpB!ensV7qnINVn=e4Hy!)=pvRe)ar#P-B0EF# zR;JJ5dRCm~Qc>2%hRecU2?!)o!4^)3*rDi1PZs1)-%@`)3YKd=lN z{H~j$FhW?9wpC5@?8jX*{kbtq0!O6F@qVk)kaBuLp#X-vVU(Z%_3PutAn~Jy7gRdS zywe}iKJOr*aJpTm7bFeDNA$z!`XQmvsWi2*&FzyHe7`1fA)|3kSK*d-?zxH0WEY!G zp{1gZ`VGKR!bs{<7I2a;$_)Qabh>%%hL4OBk6o1@PTT{v~;mI*QW7B*~gqjSeX0oHNU7S zFnLxc)3=wpHLhxou7Q1Iq}WXP-zI3iemgxEEy4UK=;VganpB;6uc@oq<={&f20CV+ z*#8P~&$p*L`GIwT-yAbG0ol;Qj*UvGwWeh1@jK5b3^P2doVk16#PH{S*$Fh(TytGV z@&k~jV)O-u+#dh5>?wi-3|Th=Me=HDDwr>uCIcYVN^|NP|2jGu2G6t6Y!mS`S730adfS7w)96`v9cQ=HQ ztg412W|^xPrayG6vFJGz4|x^x_X%pOql7*x;$kIs?r!qmP=#SD&9qt#fvo)D_}TMw zSsgOX+HpoE$T=d|*ZA?8|Yg|PiQ!9_8mt*6pv2a3#Cy@Pqn zkVV4%qE6s`wQFOs80PKlelCcA2b;8VEjp5JSfjx?a%wYrC-PMw@XHfzVD#Y4b9~Q3MHwlRlAXBDy|M*nfV+DQX!4|J9*;SJ z+@|}k=!^J|nRsd`j}wBV`036eNgm@xPR6_VM}TN z>gly$0hf{x{(dGib1w^^BkPA#S!%V^KrYAiI>7J{qVLX%ONA4{ODYtZaxRhGgoaxGZMO7>WJl` zcyIV%K4dpkjt-pqo#MET;mz$12{*7qQS;B=pDek)b#`(@(g=W1*OV)El_{l1qFzL{rT#qq` zeww0_#C^X{m4g`I0WzBK5rz8;=)9{S_co$WU3u7r$%VLHrp}R+h$4TqjL&`vmD&*M ziN%WG#5FpZujNHHTaMFFRQO2Xy8qTD>8x9cZ@n7ElhPk?BRbHasx!`~KX}l_8`l|a zL9{1Kyl`rwQcGWqp)}}GX?d6`JX;olpHkdr4gB{ z0MT4La$B(54ZBQ8PQKvoRwr^t?Z=CsZB<`@`zz~KL^5UOI!9lHY zvQr@~T1^1u`}Ef9QxQI!=}p2fl1TN-6s@T8lTbdR=xEqR`tP>{v|*_P$6+5`TaA43 ztLDMmCsZ9q1ILTWj2gH;%u0gql-e?g;JB%bs^ zEs@d`$HdBc$0A}F*GTx68QC}b>`W?^qv5m*G0i5^#$D<2B{z0Zjv5`pInTP6WXjhoy4k*|2+9ApFb_olsF`@LZeh4azxKRE46R&~qqb5`Cca z1-S2Rv>Q`AGrOF(*2lMFGVq(2D&tZDogY@U|bns@2KbNH4S}f8m~MY5n5TLPSb2#N z*TZ(-N1y3h>o}<*r!mBbQX;qsh0Pm1w&E^!YXu+HYE?wO@3NqBPbof$vN$_g0kZnf zy)rJn?D!d@a|SYXi$+mz%61W`{a^thQvkWe)7^rjO_H_vn&90N@bO!{{=Y+2N-nhW?pj26r?0hK7bRka4#jqV&32+!avmdUIOTRevU#)-Kn@b}BOEsQ_=M)1Y00VDR8Lmg-oA@8; zf@ySj-^bj$o&0vbqhc)BH`SpOZG~Bfi>JyP`_@2Qcn#Pr;?4(qhAY?&Ffl|?KcD{K zcUcGiYr-{w659FQm&2Pk9=*OX+w14INAP1>eL(4>bN#Sc)5%ix!%f|<{6L22)7Y}U zR5d|c6TPw&%cEZ(0Uq~d-Hlo7d~XVuC?;#pv_t=AHh!nu{NA&HWyDkeq48S*sP(1+ zsAC}z%<9H7`Q#?DDmk+O5VyVApxhN=>oU$~>3XC@Ro&Ayt0Q-!lHCnIgg&Z`ZZT1I zHL`cKP#*1)3n*TPmZQ*a)JN_%*`D#t!-Z2FPa|p4ah4t4<}u*-4O(s7=c?yLmj!0p zUYz6?rX-nIos5i%&_v$*f>+C%*6W<92rh z&wmmOfBnt?3_t>P9{YoM_li|-P?-JOuBS|0(%D&Xv;sm#1G9f#F?`FKEPJsbWS5#* zw|}cO(%Ht&7UH9l6CJTj*1;#Ygj|nY;D7NA^51s z0k=#-m@i>=Y{DE}cgJCPbtqKF{=v+(w0>;EVmCnmh{-H1R~nC*FjS*IYf{g5Ui2T= z6TCFnp41{wdH!8hlbDlamfAgl6-hItF>J)AG!;%xFR?B~#|5EnS}dyv=ds_Kw3;`> zKZkkP4Hep4!G*7mI8W{$WH+ve7U&=nCtdEOJ+zLElF!`@?s&H?L6Rr^+V;eoe+fVR zPU-p#q|rwpmD1}K6P}lPccTSc^sZ2E*u~t;a%2>@=LpPxyDBhJMWABXb{e^Bm+z=Z|^sv|H|wBlQ33vTLy(h{U$0A0NFr#^~nM{PJSS^rbL?-SB8i&RAN6`T=nq|&Jd8Sl)bx5U2XS5f`W6+E^lQpXu}`i?)%I#eFq{*Sw(> z75OfD1%bZRT(&L!KZFJ7wo;;XwL|>nTczq+EC|w(m!RG}S9CRcno%2OVKY%MbSq z0VQ~1qLPK|gYsyWtW^K9qqRu_{$BiO9#z7Mm}p8KSV%%T3PfUWLdXSXo!L@7UN&*C z@*}C@Ld=HXY$R6_t)#lDQ(Twkl^R%u8G_JW@LOR(k#0ld|G?JV-Pn^0j` z0-&n${YUVZ7ks= z^I-pJ_OD5(U>^Vh9bcZDg)H|89N>l+`ew8TWv%1Xe_Eq0OGeLFEw=8?-%umY@${m3 zLt`vDgw|0%Oc1O;8sb`{B@*OKJc#c@XQdL+?TGvZXAu1#hQC^6A97B}d3=PQLc8;r zJBs!R7FBAJIeV)=$8)U&AK$ZK7&gP%{2QjnV(}vc9ne4X*qiKK-I5~?)5(&9dTFgL zi04AlzJGSFT~dezw|U1T|IUg%c9yiJmH1t zqIH4Gf(L!p7B=#&DG#o*f2emgLg>boVvuBWJ$`Rz1pJs}zNN#-to|hZ7#WU0HEeR; ztw6OB5qd!rc|il;d_jY7z=q7vDab3Bv7wGY^*`7QuYo{wr2eL9SCDa6@c67#n3;PV6C6i!bf2oA+!SlDqO%>wqs4DN4Zl(V6BY)r6>?v3*g9u7N Ao&W#< delta 8972 zcmai3Q*_>elZ|cL_7|tIlg3VCv`u3hzu0PQHn#0X4IA6$7dzSR{&%1E?VdR^bLO0T z=g!0U_aMggAjVTe^MbfidsU$r0pHU^{Wix-_cvU{?yoM^p1}|1&bv}Cou56iFF%he zC1*P^pjk+fo63e&OHATMXZ=kp1zfz#9})(+1bADi)sLvT&EXPb-h`_O7DfDLDIeEHMuf z7l4{WfT+382A|t?>nggTHyoNX9Z%qQ+`-R*qwHJR0AaYM06lS5J@=F_ve%Q-n)hRc zkJc?*F4#`~kwdbV7VQ`k5p`Vhr{{flBmYfId84-h^ctgn_!D{akHf{9k7dAP`@`o6 zU9_{h7ra9}Dr4aGhw0?&!SpKBI|QN&u>H6;eBfrEUj*N_~|J)tfKn{pN)ecs`_@P%%zp}hpkxU(#EZ{j0NJQ)iP$p*E4E(@Bx*x0 zC%a9+Ci>AU~;A56r_65mf6t+a~G z&xx$Ic?f^N$OMbeYH+ZW$&2Z@GL0zd&D~b||E^KhQrK0!>hRkw^hd86-3KUC1t9zt zLTiI4s}W-OVFya5@#StIG@xC+0XD^jey$c`+a{R5puCZgO3OG*1Cx_K6>#H0AP}_T zMc;(a7*O?6*Jki{(icwyVCeD~ViNhGK%pukEgTPS$XdstQl^kF}0d$cxo{*6r z-x3t`aA;aNEeV*BI#bG;r^l8wqOk|9m~NTPd+GY-XCV|OL>fYqL z#VZTq0(6@Uj03eQ=@zde(9Llb6Q$)Ml@Z_q;Vb)Z6GdV0fCFqRX(d<;Io*~BgazF# zf0J;ny5|BIKl4%qGO@iAFSQ^;CkAD8ygkeL>H>=XWVOk1FK!Pk6c&q##$R-l!baxe zb_)f?7PK^>A?KS?0d z3R<0F#q!`Af$~X&opI^B!pLtW>kU|fnOqu}u=h2)eW~h1a_Ow~8ytKs+(p=}K z-QldPfCPJpk}ak}WD3F9hS4?-*QUMCB9=)|2qvHt;IEvRDAfRtVmiwaV(~O$Wu7-I z_GpAdwp4^F52ja=t~HmUFe!z9VksTVE_Vt-mTcMg!a!OV^2v0?ay3d5@oa6@e~c(X z!fI!n;QOG~su#jc-*wG!y5-ei0$hr$i)p;cjmQ(|`xusC4 zbV+sp;i+wW7GQ&f)e|?6jwm~oEUYb79|;s<)z_M)){Xe<8W2QSIrMf$?wRtN#_V@F z`$)`x?@Qo#?XSit{f8Jl#+F~)7UvE(F2WkP&h$DCCI7|2 zdzk33lkN%Wx-qc=judDrJ^lilZoZ%;xk*@B_D__MS%IScjy0d%cLMKvYG}2t$88RG^Lu(CmYvs=&t2G+f&Mr6TYnsQtaa5ew*KUc zb+}5ffIok)1;u)hKrj%1lS=CeYwDzQ8Pv$CfBqu_S$k|gH<)E) z7O2;PT_3=$&12xv5)S903U?Qzno3BMivDp2+otx?tzIfG;P}f9xAAGj-+Q9PpjOqI5kSNDmaA$lS7~bbtB-A zC;F_paR(AIU~Y9|VB6&XO@kZ%h+A%DDP+#WCxXNep|yaRgiWKp7g)t)tW>=(U-}NN zLNDdVimMv_cu2eL82}yQ#}JS>xU@OtvZSrf7T<{O6mD@_8yj8`4#eg-I{X9-0^)x@ z?#x4z`Zjsp3%}Q(h$5KbsCz8+f23Y)=Es-Rako2nj6fX-u*RZz5{2>(<@vwI62J^5 zCdhG+K(!Lr5~4t>W4xhq-q-!k_JRe=&DG)5Zc&6Qz>+uijq=RGTn5+ov5)LI7O-1+ zsmXrjVe_CZ<8;((HZ}OXTAB|GmeJyBw{M0@%TM%d&dN)ALT_(?(#*mQ{5B!$Q{{Z+x&q1zCakXf zx;r0?@orkC(%ZkNto4u!IdQO+|o*UVyw)&@5te zy3JwcW*^nTxesVlBy4m4sC-AqB+Nvv$fR^W`|#=rMnC3?p2IQVZHH)$KlUYIM)dj7 z2W6^~_vYNEDT^fsnqg$(_K84`Z`n3ymN@#fy$_u<<*9j#>qbezhb=hj8Y$4H1xoyA z;@l1-zPzZk+y~BIBn14f1+*{ccOTDq8=C0Ft+^Wy-d^!sb%kNbwezw6-D2ZsCr@Ij z^=7G%C;c4(k|XFd%my`b1`8bT6EB71%#P$j(Y#Qw_tVme-K-V~j=P-te!4EkbL z?03mvaswG7B;At*nu(%fAK^)(;2U@Ap5`|KD!XNZX#P%O#56OIACJ&p(u-Bwgkh){ zS>#o;5E9=08D564^7+Mt?UguG+!m8! z!t52D(#f7G3b@^n($-Em$WJiLY2a+i8DmPcpxE#YpF4=x^|Y*%kO;6;?o9c(-2JDuO%^Q-4$dA^TSGr*z^xJ`J| z$Z1L?f5u!OMTs^FXQMl=b86pi9Yp4>_5eR9rNB(BP>soZubg*Yo{>F`SM1T3)XId| z4UX@7#vFkbvWHk7ulqcY(mO`Yus@;r{+tfmfaTzrM-=kmTU)$hyg=GuLYcHwPyCV2ilpu0vY!Y&Cpi^}az&B7|&|EW5*z z_~(cO)uB{0XJ-npKeQ;*LD0XxB);?kEJ=?!q3GCC&kH~%n?r2YnMvqcE4)Xq#Z#gQ zC`&$nOQ3Zi04potyra!{?pKqF-d>Tw2BsryIB>WcW85rU$*Zpdm59J(>;vAU%ba-i z6F^SxCvq0lS8*WOUR-w)G=AKa4U+XTr{lw|-LPlM+laAcSUEdb9bJ{qlPLs_A~%$a zMK8$6OuxKI@eK$aD@Tmky_<0k7A?gA{zPaGP5GpU`y*R{vPT_L%9?5sOdgcw;DYzQ zF(SVpW?Rb6oS$2F(Yf_GSHvd*l>;Cs-K}@!GPzB7#icp;2|~%B7|?BA@*siIPmXgL z%DG5MLo5OXKh7heyAMH#mjZw>!-FPtnM}mgxyAZ%Sah4tjK-Sycgs2tl?z~9two18eXWcB5xQRS5-b-wW;<6IOuu3wG;8h7n#J5x;>f!GFT;R ziX#=fBqg5xFr!PG>1AQYQx01Nfz=ZbDzAP8^`XaFHl0VidTik0CeS5-;HSIPFBe79 z-6sQ2-J+kTKwa9lY)ew!7t_&)T5|VY5Uo0K)jyx^vVPoRn-7iaky5N5@PvQsaG)!y zTu|a`Bg*ErCQ-y;!**GRG*+nrkBKfH=G z8-1sthylS64hx#TU7KAJNd^Qmyr~Tsb@DEzW@kRyzUamu9i}m?ZDv2$R}z@DZ%Zyl z5lzISoBj0r2~eP$dSk2*d4izJ2+7++S#eN2>`eYrfyzJ3ZO2T<%dY$MiE6Uy1AGNe z*kD)Hyeco7fp*{7nuVK(4P$jaW0?W8TjMFZDS@^x?0C7#84ls77z`{_5z?j+kRu!$Y`|8%)t+JF?wOp8u8I z5@@_pr10D8raGxrO)^nSqt@!OI-zC$$akGPskO&d2PpUTIGprkpi=Q19jOs-OlyFp-^5Q00k3<^)V@`e-|TPL07_)HG_DtoyePcaX0(q=$P?21hUC}qJ3nTO|%NB?ONjd&qR~bQvL%(Cp0?XW@ zjle;IpXE9x>Io@MdbKr8*x!O*z=fBPMYdAE{c`U38c~oimX^@f)=9wID>rDL% zJW7M8odVk=!_Pa2BaB{%BMd%~5OhMbG1riwDS%<9*Zi3d?=+{~`6I3BJ5)JX45FmY z+enJ$sy=6&W%SQ0%Q8AwY@@<9xhy*fetrWSdoSZBQL=fP5mMxI6kqeo8AKa>u*N~q z8%`ohUt?yaqVSn%&;vLtR@VzQG*P30@Wk4$q>Q~@x2tt9nGfrG!|(R6B7`4~Jyi@B zEt5VueK!Xa9nP)3envMmwV725Kl;&L$Synfy&DvKq# zxqWk%$XT(oz#pv=Py5UtFWZi8PDn281Ev2~UiC>7r? zQgLYu@6N57_$^%C?%IUsT-V#EPeoP8$v9S*Vz=&S_{5I3AO!T@DQCU0cp0QOW3z)| zjuDqypU%wWgM0-fr-wCQ*11{%@zsufxE7|q1RokM&Y?)K6{U>9U=EF7&>cu@yuJGgsp^#dR%|d z^3vx;bkcT1G(f&n8=5`+!NH(}KmCU87X=R5MThkSUMsDZ>omy0?tc1ZBgNK)b2(2Z z>dBD3QCju`Z2#i5seA!k5W=HlJGNYWx>3?J3{Msu6gM2_TXl}{*ljr^zEUWTrRI=} zh1!JcboIJ<$N!zP=`aMSrSN4<1yE|ca*~MTvvvJo2+wqBbxiWLs=BrqTg}g2Z8bHr zv1sBOpY2{bCO#-n)HBO~K(1#DppQv1_mVNoX;&KHFh>M`OLBYujXZ#Vp01I%Q}qQZ z8ul>A`=FFu@N?W#I8`q5I_YGOo}I;M$EXW$r|ZR+`w)ej>Wtl& zQ-$Tb*p|`Rm%W7Ry&bTyN;x%i z@zFV2%&6HVX!K{r3Y?>N-?X?yIJH715?3N)vXj#=xeGtFAF@Nr%$9j)#t3Sojb>k4 z>xU_&Z2ur5scr$TmM-E1prq4c9e^>#N9uyjcV@zMiS5le5+6wO$0O)he4ACX+vnv6 z)`flsf`WqYq?ZL3bt!Nf^QWh^+8%A0_qsjV>^H(Xf9$o#2E%*>P{bt}tEs~r`3}FZ zhV7nC8M>c3aK>2Gu{LeZ`;>L+rGdhJLpq;S55=qJJP!d3Ih!V|Bm)!j@rS0}Sz)+H zd5E_%4?E{RwZ{`y+ch)1RAR#f^?Pi|xINLbo9Iy>P0suL>P*um5DHrJYwaY6IkWb} za?P=GNg{4=-PMEn=*KvZ=G8l=RK%3w+0b_a=f$6tfz=7yEYtZyYmtfKi+tiHWjG$_ zPy?dsceC&YXrVPG$htP>zQoKs2*eultuSo!s?MVU&SkF`aCRo$-* ziuj^o-Mqao!nT0Idh&YCfmTf={ac)NFoM4q1rd3jh>%n0g?_sWD$E5U9-c=@gY>kwBm}ujoQ|R-h#9 zBOKoR&Pn)mUAtSK6>sv#8;;%AGsCB_vM)uue?Jz-PazT^m9`t_HvL~ZwFocB_oa{$ zwZGl@wo@lab;54;BF*EW8aIp21h5KHWO(10R5#EP>V0U;=qP4Bz?!!GQ~`Ka2^qz5 zUoF*c5ewFMbqZy6l-@R;raRCnb#P3+az!nAY50|gcthsJ@{znKf^;GUAX#6R*wP>2 zKQ3#00+G_3%4*&67OR5)W{EMQfjQDHw9z=y?+>rI-%H_kRhn)i?tTpS!Ug~GJ}zYc zOq>JSB#U~wcfzEd)>MLbmIS^fI@TNeFXpnC!J_6u?ghZAa{#)Cbl?aK2M)>~L;``k zg@%%e1Q!=hTV#sp(vB|#4T_qG1%3@ikYePW=HR7qrzl5m|4@$XS+Nrv!wlPYoyM?RB${nfj=;X5UH}Cd+^MN3H@|bs znj}@_*UNv6Rx=uO{WbivX5}F%&T4oe2$TFCHqh&PVgGg$5@1mhAi=d$@q;K}Yq@>9 zT_jF6xmN1hxAy~E;45g{`pL|v|_Ien2;Zb z*Od5FVQdIOT$!%rD($ly&I`qOjS@bDEQGDdQ7LH!N;P2YBL z1KYAoi`?>*8r(e_j%WRhI48^9tXBOBOZu0x+R)29QuB+j$`Li^)i%RBzQfPnO$zGJ zkZx()h{Mqe*Dh-DhD67g7HrFZWZP$MZidLsWC+J?+SlI6h?{{&xvR&W6HJe8bG%`d zzF*xE+$1E?EoyZz!*9LfC)*4*!8<(uwftFDnkqw#be#r6Y zs`8&LHPY@uw$2gKlYOE~{8M@^bh%D<^fB9sE%p}=Vig>`yEWK}*;p>Y)~jG*36B}# z+?#aGt26WlHa~!$Gllb-c{zDiMI3oo0u|njk?|DaWzd`vG{rg~w`|1ytzhvgDZ=1@ zbSn?lHl(zH98#5s())7tAAOzB(mVn*^(MMfDs)!t<@HJJTJnj88m*Su^QG}^^We}x zy>=TZos?(M_)7%iOu6H4PqC3ow5f6d=--42P%2UCtbo1E9=X9|L_G;Vu?%OaokOa9 zE}2z<427u(^7m^}mfQi;S7R^r@oU*86&yKpzZFgUy#5mXkF|5V^ZGrCdHTw;64nkc zs;tX{u{Pi(SV8xeKRtAg6Ex+*j6CuEK(g4(iY_(IzAi_}PBfT?yP^mf3{wcl;lxwX zL67UO1t{7DWp?xaF3%pvvnjRTcs&S8%)5|XKVDJbPWsxr-wfJbrd^k~SEMzUeV&V& z_%iifw5F0hjEB4dU-@-0X&`B6ug3$OWzXst-@ZL)*K|Y>r(RcS#yLN9IhQOyfxr-J z^>kLhDHhMW`@* z9Wt)Lp?S}H#X{P!%l+6!-@F8GlB=BCJ;MPssHyykr|*gs+>B_YKh$X4(m~$hOs}1u z1PFXd*IUfo=9=oC=DS?q^W6UmsF`;wj?W%_mo;Tou7O(PHXl!Xr#cAw9WBHJr{hZl z{B#}fO3A?ttx+X&BUmTilsRtm&?MYo+H3ea#9}iLQGqp_V7kxgB^`~dMB-703Sz6- zVn5>~3StkLDY)dM^E&6Gb2=uq(lsJh2M)(@E?@(<*Zq>?aFCzL%&Tc%ykI-}L5g!Z z1G<0K%6|=3G3uSOr(p5vt*a_4#G$&^&Amaot2yG!JDK(-n9X&;m@^p3=UoxVBTiBw z|9yO?lgbzrBP*IV`Sil}<8ldNVvCwCvNJb%`Th@vVPwrH>^Vki+EszBDqp!H2+)`B z#4lgRH?a1RwP06xKAS={SJ?UP31Q3UJeTMwzh>v-sWTPA0)|I!^`C5B>3w=xc6Df0DQceJgSr4%;qG_tT$p4&!q-_oVnUq&|Es zpQe_~0cbRA9t9?Lk39yK@#B#v41L;DFsX_gcxzcY) z0^<;#fz$;g>4z^B&;(KouN9QYC5v?;PsE^qjX9PqSoa`NoM_EP zF1`^oKGJy~8+8u5w7y>R13kG_DeMjkiln{7ub?wMx*9A93qvOayMJX{+6{DbB!R11 zy7aAgy5!uR|6<#2FsCSdCRJz+B8Yaa+%#t7c3uQ_vg?0Di0qOfpq#l#{8wFdWm~l> z9ihX?|AX&zv6;|&&zUN**Pbiy@(J(5i7!j~CJZ~jdpiJJ@LO&%QJa>$RWSY`UGZV# ztF9jOoync@7O=v>EfuxO9u;4(y+=9?LtKaSM^|X~M1xyO*cWqyTTTMq1Na1^TPh4V zN)kL<@~}(+uZW#}{wh1;l^2 zlf-W%7ZBXh`*1|y?(dRrYL_sgh)*y@FxrOmhBF!cK!Grl#EUtkdgT12j#u9Md?HD< z!J|tI-Ur!BBpdg+sjn_Clyr2+Y0Zr3K|gTF>u@IXY*pBn&dH zrs$|5q9CV1Xx8w7b=g!xybBAKX6?xk4ibZA4Q~kjXDtYVjxmipX;8G-fDlcO@+(ad zXd%fx4s*sMb#sx8h&(D0#*TjXhLgSS_Jic3mTMp}~hUyTTb(Epc`s%Qiy00=5es1ZnSccFKy zVqjowQte>-EKZ6Q7QvAQQ);ISNyv)rLSzLOC4<~z`EmrQ!AHwGa@mNo`1cEm51=GyW{chZ6YlDX&12p+sd2HzV!ysnK$j0etQulj+J`dUPclA0$I@Hi`haKrrQXP|Fr_N4 zrnLR;jjYM+FsG2nO^~?BN)+`y&+=nUwn|{1ykKE_It diff --git a/poster/poster.tex b/poster/poster.tex index c0982cca..ddd11ced 100644 --- a/poster/poster.tex +++ b/poster/poster.tex @@ -113,11 +113,11 @@ \tblock{Problem Example} { - \vspace{.2cm} + \vspace{.5cm} \[ \begin{matrix} \text{Are the following} & \quad & H1: & a = b & \quad & H2: & b = c \lor b = d \\ - \text{hypotheses satisfible ?} & \quad & H3: & a <> d & \quad & H4: & a <> c \\ + \text{hypotheses satisfiable ?} & \quad & H3: & a <> d & \quad & H4: & a <> c \\ \end{matrix} \] \includegraphics[height=33cm]{proof} @@ -128,7 +128,7 @@ \inputminted{ocaml}{theory_intf.ml} } -\tblock{Proof generation} +\tblock{Proof Generation} { \begin{itemize}[label=\checkmark] \item Each clause records its "history" which is the clauses @@ -141,7 +141,7 @@ \item Enables various proof outputs: \begin{itemize}[label=$\bullet$] \item Dot/Graphviz (see example above) - \item Coq (and soon dedukti) formal proofs + \item Coq (and soon Dedukti) formal proofs \end{itemize} \end{itemize} }