Commit c7f29276 authored by Dario Pinto's avatar Dario Pinto
Browse files

Add logos and change layout of R&D page

parent a57f1cc3
<?xml version="1.0" encoding="UTF-8"?>
<!-- Generator: Adobe Illustrator 15.1.0, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px" width="612px" height="792px" viewBox="0 0 612 792" enable-background="new 0 0 612 792" xml:space="preserve">
<g>
<path fill="#939BA0" d="M309.16,428.203c-1.467-0.366-1.467-0.366-1.467-1.396c0-0.779,0.107-1.031,1.393-1.031 c0.645,0,1.4,0.084,2.024,0.225l0.181,0.041l0.114-1.2l-0.134-0.035c-0.631-0.167-1.479-0.271-2.211-0.271 c-1.938,0-2.729,0.647-2.729,2.236c0,1.797,0.343,2.191,2.296,2.628c1.537,0.348,1.537,0.368,1.537,1.396 c0,0.774-0.126,1.091-1.394,1.091c-0.717,0-1.475-0.118-2.192-0.342l-0.172-0.054l-0.231,1.153l0.124,0.049 c0.664,0.268,1.603,0.434,2.448,0.434c2.313,0,2.777-0.901,2.777-2.354C311.525,429.116,311.336,428.744,309.16,428.203"/>
<path fill="#939BA0" d="M314.07,427.156c0-0.928,0.557-1.381,1.705-1.381s1.707,0.453,1.707,1.381v3.35 c0,0.93-0.559,1.381-1.707,1.381s-1.705-0.451-1.705-1.381V427.156z M315.775,424.535c-1.92,0-3.066,0.971-3.066,2.597v3.398 c0,1.625,1.146,2.597,3.066,2.597s3.066-0.972,3.066-2.597v-3.398C318.842,425.506,317.695,424.535,315.775,424.535"/>
<path fill="#939BA0" d="M324.859,430.53c0,0.93-0.508,1.345-1.646,1.345c-1.138,0-1.645-0.415-1.645-1.345v-5.875h-1.36v5.936 c0,0.946,0.39,2.536,3.005,2.536s3.006-1.59,3.006-2.536v-5.936h-1.359V430.53z"/>
<path fill="#939BA0" d="M338.029,425.799c0.451,0,1.23,0.058,1.852,0.166l0.168,0.031l0.148-1.207l-0.144-0.032 c-0.568-0.132-1.416-0.222-2.062-0.222c-1.957,0-2.91,0.826-2.91,2.524v3.543c0,1.698,0.953,2.524,2.91,2.524 c0.648,0,1.497-0.091,2.063-0.221l0.143-0.033l-0.148-1.205l-0.168,0.029c-0.625,0.109-1.404,0.166-1.852,0.166 c-1.229,0-1.584-0.297-1.584-1.32v-3.423C336.445,426.096,336.8,425.799,338.029,425.799"/>
<polygon fill="#939BA0" points="342.725,429.355 346.148,429.355 346.148,428.104 342.725,428.104 342.725,425.908 346.412,425.908 346.412,424.655 341.364,424.655 341.364,433.006 346.426,433.006 346.426,431.754 342.725,431.754 "/>
<path fill="#939BA0" d="M351.404,427.156c0-0.928,0.559-1.381,1.706-1.381s1.705,0.453,1.705,1.381v3.35 c0,0.93-0.558,1.381-1.705,1.381s-1.706-0.451-1.706-1.381V427.156z M353.11,424.535c-1.921,0-3.067,0.971-3.067,2.597v3.398 c0,1.625,1.146,2.597,3.067,2.597c1.919,0,3.065-0.972,3.065-2.597v-3.398C356.176,425.506,355.029,424.535,353.11,424.535"/>
<polygon fill="#939BA0" points="357.602,433.006 358.963,433.006 358.963,429.512 362.445,429.512 362.445,428.258 358.963,428.258 358.963,425.908 362.698,425.908 362.698,424.655 357.602,424.655 "/>
<rect x="366.294" y="424.655" fill="#939BA0" width="1.359" height="8.351"/>
<polygon fill="#939BA0" points="374.236,431.011 371.004,424.655 369.319,424.655 369.319,433.006 370.631,433.006 370.631,426.685 373.865,433.006 375.549,433.006 375.549,424.655 374.236,424.655 "/>
<path fill="#939BA0" d="M379.815,428.203c-1.468-0.366-1.468-0.366-1.468-1.396c0-0.779,0.107-1.031,1.393-1.031 c0.645,0,1.401,0.084,2.024,0.225l0.18,0.041l0.115-1.2l-0.133-0.035c-0.632-0.167-1.479-0.271-2.211-0.271 c-1.938,0-2.729,0.647-2.729,2.236c0,1.798,0.342,2.191,2.295,2.628c1.537,0.348,1.537,0.368,1.537,1.396 c0,0.774-0.126,1.091-1.393,1.091c-0.717,0-1.475-0.118-2.193-0.342l-0.173-0.054l-0.23,1.153l0.125,0.049 c0.663,0.268,1.601,0.434,2.447,0.434c2.313,0,2.776-0.901,2.776-2.354C382.179,429.115,381.989,428.744,379.815,428.203"/>
<path fill="#939BA0" d="M384.905,425.908h1.668c0.997,0,1.165,0.277,1.165,0.898v1.182c0,0.607-0.174,0.897-1.165,0.897h-1.668 V425.908z M386.611,424.655h-3.067v8.351h1.361v-2.867h1.706c1.674,0,2.488-0.704,2.488-2.15v-1.193 C389.1,425.354,388.285,424.655,386.611,424.655"/>
<rect x="390.198" y="424.655" fill="#939BA0" width="1.36" height="8.351"/>
<path fill="#939BA0" d="M404.819,429.85h-2.424l1.214-3.756L404.819,429.85z M402.793,424.655l-2.821,8.351h1.391l0.651-1.928 h3.179l0.662,1.928h1.391l-2.822-8.351H402.793z"/>
<polygon fill="#939BA0" points="407.316,425.908 409.716,425.908 409.716,433.006 411.076,433.006 411.076,425.908 413.474,425.908 413.474,424.655 407.316,424.655 "/>
<rect x="414.356" y="424.655" fill="#939BA0" width="1.36" height="8.351"/>
<path fill="#939BA0" d="M418.563,427.156c0-0.928,0.557-1.381,1.705-1.381s1.707,0.453,1.707,1.381v3.35 c0,0.93-0.559,1.381-1.707,1.381s-1.705-0.451-1.705-1.381V427.156z M420.268,424.535c-1.92,0-3.066,0.971-3.066,2.597v3.398 c0,1.625,1.146,2.597,3.066,2.597c1.921,0,3.068-0.972,3.068-2.597v-3.398C423.336,425.506,422.188,424.535,420.268,424.535"/>
<polygon fill="#939BA0" points="429.677,424.655 429.677,431.012 426.444,424.655 424.76,424.655 424.76,433.006 426.072,433.006 426.072,426.685 429.306,433.006 430.989,433.006 430.989,424.655 "/>
<path fill="#939BA0" d="M331.91,429.91c0.906-0.264,1.386-0.945,1.386-1.976v-1.192c0-0.961-0.425-2.106-2.446-2.106h-3.064v8.396 h1.305v-7.161h1.771c0.949,0,1.131,0.307,1.131,0.871v1.192c0,0.563-0.18,0.871-1.125,0.871h-0.369v0.308 c0,1.597,0.7,3.101,1.92,4.124l0.225,0.188l0.91-0.979l-0.252-0.208C332.58,431.643,332.09,430.82,331.91,429.91"/>
<path fill="#939BA0" d="M397.585,429.91c0.907-0.264,1.386-0.945,1.386-1.976v-1.192c0-0.961-0.425-2.106-2.445-2.106h-3.065v8.396 h1.305v-7.161h1.771c0.95,0,1.131,0.307,1.131,0.871v1.192c0,0.563-0.179,0.871-1.125,0.871h-0.367v0.308 c-0.001,1.598,0.699,3.101,1.92,4.124l0.224,0.188l0.91-0.979l-0.253-0.208C398.255,431.643,397.766,430.82,397.585,429.91"/>
<path fill="#ED3424" d="M240.237,346.023l-4.544,22.786c0.42,5.251,1.053,11.093,2,17.227l6.228-9.31l5.748-28.821L240.237,346.023 z"/>
<polygon fill="#FFC325" points="182.887,384.303 181.006,393.734 209.827,399.482 222.155,397.037 211.712,390.052 "/>
<polygon fill="#FFC325" points="259.124,399.506 246.799,401.951 257.241,408.936 286.067,414.685 287.946,405.254 "/>
<polygon fill="#F7971D" points="276.359,365.758 251.914,382.075 244.929,392.517 257.254,390.072 281.698,373.757 "/>
<polygon fill="#F7971D" points="224.027,406.468 211.703,408.914 187.256,425.232 192.595,433.23 217.04,416.914 "/>
<path fill="#B4D234" d="M243.334,411.203c3.93,12.824,9.672,25.216,18.045,34.734l6.835-4.56l-16.316-24.446L243.334,411.203z"/>
<polygon fill="#B4D234" points="208.74,352.273 200.742,357.612 217.058,382.059 227.501,389.044 225.057,376.72 "/>
<polygon fill="#35BCB1" points="260.259,352.296 243.92,376.726 241.462,389.051 251.913,382.075 268.254,357.645 "/>
<path fill="#35BCB1" d="M225.751,411.1l-8.711,5.814L200.7,441.342l6.935,4.64C216.052,436.432,221.813,423.98,225.751,411.1"/>
<path fill="#753C38" d="M243.92,376.726l-6.228,9.31c0.254,1.64,0.53,3.302,0.83,4.978l2.939-1.963L243.92,376.726z"/>
<polygon fill="#6C7B40" points="251.914,382.075 241.463,389.051 240.6,393.376 244.929,392.517 "/>
<path fill="#6C7B40" d="M227.258,405.828l-3.231,0.641l-6.988,10.445l8.711-5.814C226.287,409.35,226.789,407.59,227.258,405.828"/>
<path fill="#753737" d="M241.462,389.051l-2.94,1.963c0.16,0.888,0.326,1.78,0.499,2.676l1.579-0.313L241.462,389.051z"/>
<polygon fill="#B82E90" points="244.921,406.479 251.898,416.932 276.325,433.272 281.672,425.277 257.241,408.937 "/>
<polygon fill="#B82E90" points="192.628,365.717 187.28,373.71 211.712,390.052 224.034,392.51 217.059,382.058 "/>
<polygon fill="#BC3333" points="211.712,390.052 222.155,397.037 226.483,396.178 224.034,392.51 "/>
<polygon fill="#BC3333" points="246.799,401.951 242.472,402.811 244.921,406.479 257.241,408.936 "/>
<path fill="#773A37" d="M241.803,405.857c0.478,1.786,0.986,3.569,1.53,5.346l8.564,5.729l-6.977-10.453L241.803,405.857z"/>
<polygon fill="#753A37" points="217.059,382.058 224.034,392.51 228.361,393.372 227.501,389.044 "/>
<polygon fill="#753937" points="224.034,392.51 226.482,396.178 228.825,395.713 228.361,393.372 "/>
<path fill="#753937" d="M242.471,402.811l-1.383,0.274c0.229,0.924,0.469,1.849,0.715,2.772l3.118,0.621L242.471,402.811z"/>
<polygon fill="#F06D99" points="286.081,384.353 257.254,390.072 246.802,397.048 259.124,399.506 287.952,393.786 "/>
<polygon fill="#F06D99" points="209.827,399.482 209.827,399.482 181,405.201 182.873,414.634 211.703,408.914 222.15,401.939 "/>
<polygon fill="#F05C28" points="246.802,397.049 243.132,399.498 246.799,401.951 259.124,399.506 "/>
<polygon fill="#F05C28" points="222.155,397.037 222.155,397.037 209.827,399.482 222.151,401.939 225.821,399.49 "/>
<polygon fill="#EF4E23" points="222.15,401.94 222.15,401.94 211.703,408.913 224.027,406.468 226.479,402.804 "/>
<polygon fill="#EF4E23" points="257.254,390.072 244.929,392.517 242.476,396.186 246.802,397.048 "/>
<polygon fill="#EE4423" points="242.476,396.185 241.147,398.172 243.132,399.498 246.802,397.049 "/>
<polygon fill="#EE4423" points="225.821,399.489 225.821,399.489 222.151,401.94 226.479,402.804 227.807,400.817 "/>
<polygon fill="#744A39" points="244.929,392.517 240.6,393.376 240.133,395.719 242.476,396.186 "/>
<path fill="#744A39" d="M226.479,402.804L226.479,402.804l-2.452,3.664l3.232-0.64c0.242-0.91,0.477-1.819,0.704-2.729 L226.479,402.804z"/>
<path fill="#763237" d="M240.6,393.376l-1.58,0.313c0.122,0.625,0.245,1.253,0.373,1.881l0.74,0.148L240.6,393.376z"/>
<path fill="#744438" d="M227.807,400.817L227.807,400.817l-1.328,1.986l1.483,0.296c0.155-0.625,0.306-1.25,0.454-1.874 L227.807,400.817z"/>
<polygon fill="#744438" points="240.133,395.718 240.133,395.718 239.821,397.283 241.147,398.172 242.476,396.185 "/>
<path fill="#763337" d="M239.394,395.57c0.111,0.552,0.228,1.105,0.345,1.659l0.082,0.054l0.313-1.564L239.394,395.57z"/>
<polygon fill="#BC2A31" points="226.483,396.178 226.483,396.178 222.155,397.037 225.821,399.489 227.809,398.164 "/>
<polygon fill="#BC2A31" points="243.132,399.498 243.132,399.498 241.146,400.823 242.471,402.81 246.799,401.951 "/>
<polygon fill="#AB2B31" points="241.147,398.172 241.147,398.172 240.261,399.497 241.146,400.824 243.132,399.498 "/>
<polygon fill="#BC282E" points="227.809,398.164 227.809,398.164 225.821,399.488 227.807,400.817 228.694,399.491 "/>
<path fill="#753937" d="M241.146,400.824L241.146,400.824l-0.521,0.348c0.15,0.637,0.304,1.275,0.463,1.913l1.383-0.275 L241.146,400.824z"/>
<polygon fill="#763337" points="228.824,395.713 228.824,395.713 226.483,396.177 227.809,398.163 229.135,397.278 "/>
<path fill="#763337" d="M229.135,397.278L229.135,397.278l-1.326,0.886l0.886,1.326l0.186-0.277 c0.114-0.508,0.227-1.018,0.336-1.524L229.135,397.278z"/>
<path fill="#753937" d="M240.26,399.497l-0.018,0.026c0.125,0.549,0.251,1.099,0.381,1.648l0.521-0.349L240.26,399.497z"/>
<path fill="#663437" d="M228.694,399.491L228.694,399.491l-0.887,1.326l0.609,0.408c0.126-0.532,0.249-1.064,0.37-1.597 L228.694,399.491z"/>
<path fill="#663437" d="M239.821,397.283L239.821,397.283l-0.034,0.172c0.142,0.662,0.287,1.324,0.438,1.988l0.036,0.054 l0.887-1.325L239.821,397.283z"/>
<path fill="#663437" d="M239.739,397.229c0.016,0.076,0.032,0.15,0.048,0.227l0.034-0.172L239.739,397.229z"/>
<path fill="#4C3539" d="M228.88,399.214l-0.185,0.277l0.092,0.138C228.818,399.49,228.849,399.352,228.88,399.214"/>
<polygon fill="#4C3539" points="240.225,399.443 240.243,399.523 240.26,399.497 "/>
<path fill="#0092D0" d="M228.769,346.019l-9.433,1.871l5.72,28.831l6.287,9.419c0.941-6.077,1.574-11.868,1.996-17.086 L228.769,346.019z"/>
<path fill="#008D48" d="M225.057,376.72l2.444,12.324l3.021,2.02c0.297-1.658,0.571-3.301,0.823-4.923L225.057,376.72z"/>
<path fill="#2F3534" d="M227.501,389.044l0.86,4.328l1.668,0.333c0.171-0.883,0.335-1.765,0.493-2.642L227.501,389.044z"/>
<path fill="#303233" d="M228.36,393.373l0.464,2.34l0.84-0.167c0.125-0.616,0.246-1.229,0.365-1.841L228.36,393.373z"/>
<path fill="#313033" d="M229.665,395.546l-0.841,0.167l0.311,1.565l0.196-0.132C229.445,396.612,229.557,396.079,229.665,395.546"/>
<path fill="#322F33" d="M229.332,397.146l-0.197,0.131l0.082,0.411C229.255,397.508,229.293,397.327,229.332,397.146"/>
<path fill="#231F20" d="M316.316,361.898h-4.871v8.743h4.871c2.723,0,3.527-0.997,3.527-3.106v-2.607 C319.844,362.818,318.961,361.898,316.316,361.898 M306.613,357.641h9.971c5.906,0,8.092,2.416,8.092,6.903v3.49 c0,4.449-2.377,6.865-8.322,6.865h-4.908v8.283h-4.832V357.641z"/>
<path fill="#231F20" d="M332.448,373.709h7.056l-3.488-12.08L332.448,373.709z M340.732,377.889h-9.473l-1.611,5.292h-5.061 l8.053-25.54h6.748l8.055,25.54h-5.063L340.732,377.889z"/>
<rect x="374.949" y="357.641" fill="#231F20" width="4.832" height="25.541"/>
<path fill="#231F20" d="M392.032,383.565c-2.914,0-6.288-0.728-7.976-1.535l0.843-3.796c2.378,0.729,4.68,1.189,7.209,1.189 c3.491,0,4.066-0.729,4.066-3.182c0-2.838-0.078-3.069-4.68-4.066c-6.174-1.38-7.017-2.569-7.017-7.977 c0-4.64,2.108-6.941,8.59-6.941c2.224,0,4.908,0.268,7.439,0.844l-0.536,4.065c-2.109-0.461-4.604-0.768-6.827-0.768 c-3.259,0-3.835,0.691-3.835,2.915c0,2.915,0.076,2.992,4.487,4.066c6.863,1.649,7.21,2.761,7.21,7.862 C401.007,381.073,399.587,383.565,392.032,383.565"/>
<path fill="#231F20" d="M361.086,370.556h-0.971c-0.001,6.098,2.883,11.749,7.761,15.335l3.002-3.653 c-2.812-1.992-4.785-4.872-5.615-8.135c0.092-0.027,0.157-0.048,0.157-0.048c2.683-0.958,3.834-3.106,3.834-6.175v-3.336 c0-4.486-2.185-6.903-8.13-6.903h-10.47v25.541h4.833v-2.592v-12.44v-6.251h5.444c2.571,0,3.491,0.882,3.491,3.029v2.53 C364.423,369.561,363.603,370.517,361.086,370.556"/>
<path fill="#231F20" d="M317.146,404.014h-0.982c0,6.166,2.914,11.881,7.849,15.506l3.034-3.693 c-2.844-2.015-4.84-4.926-5.678-8.227c0.094-0.028,0.158-0.049,0.158-0.049c2.715-0.969,3.879-3.141,3.879-6.244v-3.373 c0-4.536-2.211-6.98-8.222-6.98h-10.586v25.828h4.885v-2.623V401.58v-6.322h5.508c2.598,0,3.529,0.892,3.529,3.062v2.56 C320.521,403.008,319.691,403.975,317.146,404.014"/>
<polygon fill="#231F20" points="331.332,391.056 347.087,391.056 347.087,395.344 336.197,395.344 336.197,401.561 346.239,401.561 346.239,405.847 336.197,405.847 336.197,412.488 347.087,412.488 347.087,416.775 331.332,416.775 "/>
<path fill="#231F20" d="M356.578,408.821c0,2.511,1.081,3.977,4.479,3.977c1.313,0,2.666-0.114,3.977-0.31v-7.8h4.597v11.314 c-2.703,0.772-5.907,1.159-8.611,1.159c-6.294,0-9.307-2.666-9.307-7.763v-10.968c0-5.29,3.089-7.763,9.769-7.763 c2.087,0,5.06,0.233,7.378,0.851l-0.541,4.248c-2.354-0.502-4.712-0.694-7.222-0.694c-3.398,0-4.519,1.39-4.519,4.015V408.821z"/>
<rect x="375.041" y="391.056" fill="#231F20" width="4.864" height="25.719"/>
<path fill="#231F20" d="M390.18,408.975c0,2.433,1.234,3.9,4.864,3.9c3.631,0,4.866-1.468,4.866-3.9v-10.119 c0-2.432-1.235-3.898-4.866-3.898c-3.63,0-4.864,1.467-4.864,3.898V408.975z M404.776,409.246c0,4.285-2.472,7.916-9.732,7.916 c-7.259,0-9.731-3.631-9.731-7.916v-10.66c0-4.286,2.473-7.917,9.731-7.917c7.261,0,9.732,3.631,9.732,7.917V409.246z"/>
<polygon fill="#231F20" points="414.742,397.274 414.742,416.775 409.992,416.775 409.992,391.056 416.48,391.056 426.25,410.597 426.25,391.056 431,391.056 431,416.775 424.511,416.775 "/>
</g>
</svg>
\ No newline at end of file
...@@ -10,21 +10,31 @@ ...@@ -10,21 +10,31 @@
<br /> <br />
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-lg-6">
<h3> <div class="row">
MONEYTRACK Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a> <div class="col-lg-4">
</h3> <img src="assets/img/logo_moneytrack.jpg" class="img-fluid rounded card-image"/>
<h5> </div>
A blockchain R&D Project to reinvent non fungible directed money systems with a smart-contract language. <div class="col-lg-8">
</h5> <h3>
MONEYTRACK Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a>
</h3>
A blockchain R&D Project to reinvent non fungible directed money systems with a smart-contract language.
</div>
</div>
In this collaborative three-year project, OCamlPro, in association with WizyPay, Fintech Entreprises, Keyrus, Inria Paris and ESILV, is helping other partners to design a platform to reinvent non fungible directed money systems. The main innovation of the platform is the application of state-of-the-art blockchain technologies such as Tezos, with formal verification technologies. OCamlPro’s work is partially funded by Region Ile-de-France. In this collaborative three-year project, OCamlPro, in association with WizyPay, Fintech Entreprises, Keyrus, Inria Paris and ESILV, is helping other partners to design a platform to reinvent non fungible directed money systems. The main innovation of the platform is the application of state-of-the-art blockchain technologies such as Tezos, with formal verification technologies. OCamlPro’s work is partially funded by Region Ile-de-France.
</div> </div>
<div class="col-lg-6"> <div class="col-lg-6">
<h3> <div class="row">
LCHIP Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a> <div class="col-lg-4">
</h3> <img src="assets/img/logo_clearsy.jpg" class="img-fluid rounded card-image" style="max-width:9.5em;"/>
<h5> </div>
A blockchain R&D Project to reinvent non fungible directed money systems with a smart-contract language. <div class="col-lg-8">
</h5> <h3>
LCHIP Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a>
</h3>
A blockchain R&D Project to reinvent non fungible directed money systems with a smart-contract language.
</div>
</div>
In this collaborative three-year project, OCamlPro is helping Clearsy to develop a development platform for embedded software, targeting cheap microcontrollers for the railways industry. The main innovation of the platform is that the code will be automatically proven using the SMT solver Alt-Ergo, developed and maintained by OCamlPro. OCamlPro’s work is partially funded by Region Ile-de-France. In this collaborative three-year project, OCamlPro is helping Clearsy to develop a development platform for embedded software, targeting cheap microcontrollers for the railways industry. The main innovation of the platform is that the code will be automatically proven using the SMT solver Alt-Ergo, developed and maintained by OCamlPro. OCamlPro’s work is partially funded by Region Ile-de-France.
</div> </div>
</div> </div>
...@@ -38,16 +48,30 @@ ...@@ -38,16 +48,30 @@
<br /> <br />
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-lg-6">
<h3> <div class="row">
Soprano Project <a href="https://anr.fr">[ANR]</a> <div class="col-lg-3">
</h3> <img src="assets/img/logo_altergo.png" class="img-fluid rounded card-image"/>
During this collaborative four years project funded by the French government, OCamlPro has added to Alt-Ergo the ability to verify floating-point computations. </div>
<div class="col-lg-9">
<h3>
Soprano Project <a href="https://anr.fr">[ANR]</a>
</h3>
During this collaborative four years project funded by the French government, OCamlPro has added to Alt-Ergo the ability to verify floating-point computations.
</div>
</div>
</div> </div>
<div class="col-lg-6"> <div class="col-lg-6">
<h3> <div class="row">
Vocal Project <a href="https://anr.fr">[ANR]</a> <div class="col-lg-3">
</h3> <img src="assets/img/logo_ocaml.svg" class="img-fluid rounded card-image"/>
During this collaborative four years project funded by the French government, OCamlPro designed and implemented an OCaml library of formally verified modules that may be used in static analyzers and theorem provers. </div>
<div class="col-lg-9">
<h3>
Vocal Project <a href="https://anr.fr">[ANR]</a>
</h3>
During this collaborative four years project funded by the French government, OCamlPro designed and implemented an OCaml library of formally verified modules that may be used in static analyzers and theorem provers.
</div>
</div>
</div> </div>
</div> </div>
<br /> <br />
...@@ -61,21 +85,31 @@ ...@@ -61,21 +85,31 @@
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-lg-6">
<h3> <div class="row">
SecurOCaml Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a> <div class="col-lg-4">
</h3> <img src="assets/img/logo_fui.jpg" class="img-fluid rounded card-image" style="max-width:7.5em"/>
<h5> </div>
Integrate security features in the OCaml language. <div class="col-lg-8">
</h5> <h3>
In this collaborative three-year project, OCamlPro works with CEA,INRIA, Lexifi, Trust-In-Soft and Safe River to build an environment for the development of security applications in OCaml, in particular auditing tools and static analysers, such as a detector for uncaught-exceptions. OCamlPro’s work is partially funded by the Conseil Général de l’Essonne. SecurOCaml Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a>
</h3>
Integrate security features in the OCaml language.
</div>
</div>
In this collaborative three-year project, OCamlPro works with CEA,INRIA, Lexifi, Trust-In-Soft and Safe River to build an environment for the development of security applications in OCaml, in particular auditing tools and static analysers, such as a detector for uncaught-exceptions. OCamlPro’s work is partially funded by the Conseil Général de l’Essonne.
</div> </div>
<div class="col-lg-6"> <div class="col-lg-6">
<h3> <div class="row">
UCF Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a> <div class="col-lg-3">
</h3> <img src="assets/img/logo_tryocaml.png" class="img-fluid rounded card-image" style="max-width:7em"/>
<h5> </div>
Developing the TryOCaml platform for OCaml coding in a browser. <div class="col-lg-9">
</h5> <h3>
UCF Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a>
</h3>
Developing the TryOCaml platform for OCaml coding in a browser.
</div>
</div>
In this collaborative three-year project, OCamlPro works with the startups Alterway and XWiki, and the academic research laboratories of University Pierre et Marie Curie, and Denis Diderot, to develop a DSL . It is also contributing to the design of MOOC Platforms, including the OCaml MOOC. OCamlPro’s work is partially funded by BPI France. In this collaborative three-year project, OCamlPro works with the startups Alterway and XWiki, and the academic research laboratories of University Pierre et Marie Curie, and Denis Diderot, to develop a DSL . It is also contributing to the design of MOOC Platforms, including the OCaml MOOC. OCamlPro’s work is partially funded by BPI France.
</div> </div>
</div> </div>
...@@ -83,21 +117,31 @@ ...@@ -83,21 +117,31 @@
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-lg-6">
<h3> <div class="row">
BWare Project <a href="https://anr.fr">[ANR]</a> <div class="col-lg-4">
</h3> <img src="assets/img/logo_bware.jpeg" class="img-fluid rounded card-image"/>
<h5> </div>
Proof-Based Mechanized platform for the Verification of B Proof Obligations Project. <div class="col-lg-8">
</h5> <h3>
Launch of the collaborative three-year project BWare with INRIA, the LRI Lab, the Clearsy Company, MERCE (Mitsubishi Electric R&D Centre Europe), CNAM’s CEDRIC lab. OCamlPro is improving the automatic theorem provers used by Atelier B, especially the Alt-Ergo SMT solver. This project is partially funded by the French National Research Agency. BWare Project <a href="https://anr.fr">[ANR]</a>
</h3>
Proof-Based Mechanized platform for the Verification of B Proof Obligations Project.
</div>
</div>
Launch of the collaborative three-year project BWare with INRIA, the LRI Lab, the Clearsy Company, MERCE (Mitsubishi Electric R&D Centre Europe), CNAM’s CEDRIC lab. OCamlPro is improving the automatic theorem provers used by Atelier B, especially the Alt-Ergo SMT solver. This project is partially funded by the French National Research Agency.
</div> </div>
<div class="col-lg-6"> <div class="col-lg-6">
<h3> <div class="row">
Dorm Project <a href="https://en.wikipedia.org/wiki/European_Regional_Development_Fund">[ERDF]</a> <div class="col-lg-3">
</h3> <img src="assets/img/logo_opam.png" class="img-fluid rounded card-image" style="max-width:7em"/>
<h5> </div>
Developing the TryOCaml platform for OCaml coding in a browser. <div class="col-lg-9">
</h5> <h3>
Dorm Project <a href="https://en.wikipedia.org/wiki/European_Regional_Development_Fund">[ERDF]</a>
</h3>
Developing the TryOCaml platform for OCaml coding in a browser.
</div>
</div>
The goal of this project was to design the next generation of package managers for Java and similar languages. For OCamlPro, the main outcome was the OPAM package manager, who has become the official package manager for the OCaml. The goal of this project was to design the next generation of package managers for Java and similar languages. For OCamlPro, the main outcome was the OPAM package manager, who has become the official package manager for the OCaml.
</div> </div>
</div> </div>
...@@ -105,14 +149,19 @@ ...@@ -105,14 +149,19 @@
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-lg-6">
<h3> <div class="row">
Project Richelieu <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a> <div class="col-lg-4">
</h3> <img src="assets/img/logo_scilab.png" class="img-fluid rounded card-image" style="max-width:9.5em"/>
<p><emph> </div>
<div class="col-lg-8">
<h3>
Project Richelieu <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a>
</h3>
</div>
</div>
This collaborative two-year R&D project aimed at industrializing and adapting VMKit (based on LLVM) to address the issues of scientific programming languages, particularly in terms of performance thanks to “JIT” compilation. With Scilab Entreprises, Université Pierre et Marie Curie (UPMC) LIP6 research lab, Dassault Aviation, Arcelor Mittal, CNES, Silkan and Inria Saclay as partners, OCamlPro was developing static analysis and partial typing for the Scilab language. OCamlPro’s work was partially funded by the Conseil Général de l’Essonne. This collaborative two-year R&D project aimed at industrializing and adapting VMKit (based on LLVM) to address the issues of scientific programming languages, particularly in terms of performance thanks to “JIT” compilation. With Scilab Entreprises, Université Pierre et Marie Curie (UPMC) LIP6 research lab, Dassault Aviation, Arcelor Mittal, CNES, Silkan and Inria Saclay as partners, OCamlPro was developing static analysis and partial typing for the Scilab language. OCamlPro’s work was partially funded by the Conseil Général de l’Essonne.
</emph></p> </div>
</div> </div>
</div>
<hr class="featurette-divider"> <hr class="featurette-divider">
...@@ -129,10 +178,10 @@ ...@@ -129,10 +178,10 @@
<p><a href="https://www.essonne.fr"><img src="assets/img/logo_essonne.svg" width="150"/></a></p> <p><a href="https://www.essonne.fr"><img src="assets/img/logo_essonne.svg" width="150"/></a></p>
</div> </div>
<div class="col-lg-2"> <div class="col-lg-2">
<p><a href="https://parisregion.eu"><img src="assets/img/logo_paris_region.svg" width="150"/></a></p> <p><a href="https://parisregion.eu"><img src="assets/img/logo_parisregion.png" style="max-width:8em"/></a></p>
</div> </div>
<div class="col-lg-2"> <div class="col-lg-2">
<p><a href="https://www.bpifrance.fr"><img src="assets/img/logo_bpi_france.svg" width="150"/></a></p> <p><a href="https://www.bpifrance.fr"><img src="assets/img/logo_bpi_france.svg" style="max-width:9em"/></a></p>
</div> </div>
<div class="col-lg-2"> <div class="col-lg-2">
<p><a href="https://anr.fr"><img src="assets/img/logo_anr.svg" width="150"/></a></p> <p><a href="https://anr.fr"><img src="assets/img/logo_anr.svg" width="150"/></a></p>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment