Skip to content
Snippets Groups Projects
Commit 73a8bc7a authored by Philippe Krief's avatar Philippe Krief
Browse files

Update after the end of the event


Signed-off-by: default avatarPhilippe Krief <philippe.krief@eclipse-foundation.org>
parent 544d4afc
No related branches found
No related tags found
No related merge requests found
......@@ -22,9 +22,11 @@ Through a selection of state-of-the-art project presentations and demonstrations
{{< grid/section-container id="about" class="featured-section-row featured-section-row-lighter-bg" >}}
{{< grid/section-container class="featured-section-row text-center">}}
<h2>Upcoming Event: <a href="2022/january"> January 18, 2022</h2></a>
<h2>Upcoming Event: <a href="2022/may"> May 3, 2022</h2></a>
<!--
<a href="https://eclipse.org/steady" target="_blank"><img src="2022/january/images/steady.png" width="200" alt="Steady"></a>
<a href="https://www.sat4j.org/" target="_blank"><img src="2022/january/images/sat4j.png" width="200" alt="Sat4j"></a>
-->
{{</ grid/section-container >}}
{{</ grid/section-container >}}
......@@ -34,6 +36,8 @@ Through a selection of state-of-the-art project presentations and demonstrations
{{< grid/section-container id="about" class="featured-section-row featured-section-row-lighter-bg" >}}
{{< grid/section-container class="featured-section-row text-center">}}
<h2>Presented projects<h2>
<a href="2022/january"><img src="2022/january/images/sat4j.png" width="100" alt="Sat4j"></a>
<a href="2022/january"><img src="2022/january/images/steady.png" width="100" alt="Steady"></a>
<a href="2021/september"><img src="2021/september/images/activeeon.png" width="100" alt="ActiveEon"></a>
<a href="2021/june"><img src="2021/june/images/basyx.png" width="100" alt="BaSyx"></a>
<a href="2021/september"><img src="2021/september/images/capra.png" width="100" alt="capra"></a>
......
complete: false
complete: true
types:
items:
......@@ -9,7 +9,8 @@ items:
- name: "On-going research to fuel and enhance Eclipse Steady"
presenter: <a href="speakers/#serena_ponta">Serena Ponta</a>
type: session
time: 16:15 - 16:35 (CET)
vod: https://www.youtube.com/watch?v=H7keVdJ3M_Y&t=434s
slides:
abstract: |
<p>Eclipse Steady offers a code-based approach to detect the presence of open-source code subject to known
vulnerabilities, to assess the severity of findings and to propose mitigations. Its code-centricity allows
......@@ -24,7 +25,8 @@ items:
- name: "Sat4j, from the lab to OW2 with and for Eclipse"
presenter: <a href="speakers/#daniel_le_berre">Daniel Le Berre</a>
type: session
time: 16:35 - 16:55 (CET)
vod: https://www.youtube.com/watch?v=H7keVdJ3M_Y&t=2332s
slides:
abstract: |
<p>Sat4j is a library of tools in Java to solve combinatorial problems with Boolean variables. One of such
problem is the canonical SATisfiability problem, one of the simplest hard problems in theoretical computer science.
......
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