Community events
1. Présentation
Le Séminaire de fiabilité informatique est un lieu d’échange – entre ingénieurs et chercheurs, l’informatique et les autres disciplines, le secteur spatial et d’autres secteurs à systèmes critiques – autour de quatre exposés invités couvrant quatre thématiques : l’incertitude de localisation, l’arithmétique virgule flottante, les outils de recherche de failles de cybersécurité et les modes de défaillance liés à la programmation.
2. Programme
10h00 - 10h30 | Accueil-café à la salle de Vinci (CNES Paris-Daumesnil) |
10h30 - 10h45 | Ouverture du séminaire par DTS/D (à confirmer) |
10h45 - 11h45 | Exposé de Philippe Miramont (CNES DTN) "Kassav1 – Localization for Safety" et discussion |
11h45 - 12h45 | Exposé de Jean-Michel Muller (CNRS) "Apporter de la confiance aux calculs en arithmétique virgule flottante" et discussion |
12h45 - 14h00 | Pause déjeuner : cantine Daumesnil + café servi dans la salle de Vinci |
14h00 - 15h00 | Exposé de Sébastien Bardin (CEA List) "(titre à confirmer)" et discussion |
15h00 - 16h00 | Exposé de Jens Gustedt "Program failure seen from C" (ICube, Université de Strasbourg & INRIA) et discussion |
3. Logistique
Événement à Paris-Daumesnil le 26 sept. 2024, la salle Vinci a été réservée pour cette date, sa capacité est de 96 personnes.
Un duplex sera organisé avec le CST (salle CréaLab).
Register
Add to your diary
26-09-2024 10:00
26-09-2024 16:00
<h1>1. Présentation</h1>
<p>Le Séminaire de fiabilité informatique est un lieu d’échange – entre ingénieurs et chercheurs, l’informatique et les autres disciplines, le secteur spatial et d’autres secteurs à systèmes critiques – autour de quatre exposés invités couvrant quatre thématiques : l’incertitude de localisation, l’arithmétique virgule flottante, les outils de recherche de failles de cybersécurité et les modes de défaillance liés à la programmation.</p>
<h1>2. Programme</h1>
<table>
<tbody>
<tr>
<td>10h00 - 10h30</td>
<td><em>Accueil-café à la salle de Vinci (CNES Paris-Daumesnil)</em></td>
</tr>
<tr>
<td>10h30 - 10h45</td>
<td><strong>Ouverture du séminaire par DTS/D <em>(à confirmer)</em></strong></td>
</tr>
<tr>
<td>10h45 - 11h45</td>
<td><strong>Exposé de Philippe Miramont (CNES DTN) "Kassav1 – Localization for Safety<em>"</em> et discussion</strong></td>
</tr>
<tr>
<td>11h45 - 12h45</td>
<td><strong>Exposé de Jean-Michel Muller (CNRS) <em>"</em>Apporter de la confiance aux calculs en arithmétique virgule flottante<em>"</em> et discussion</strong></td>
</tr>
<tr>
<td>12h45 - 14h00</td>
<td><em>Pause déjeuner : cantine Daumesnil + café servi dans la salle de Vinci</em></td>
</tr>
<tr>
<td>14h00 - 15h00</td>
<td><strong>Exposé de Sébastien Bardin (CEA List) "<em>(titre à confirmer)"</em> et discussion</strong></td>
</tr>
<tr>
<td>15h00 - 16h00</td>
<td><strong>Exposé de Jens Gustedt "Program failure seen from C" (ICube, Université de Strasbourg & INRIA) et discussion</strong></td>
</tr>
</tbody>
</table>
<h1>3. Logistique</h1>
<p>Événement à Paris-Daumesnil le 26 sept. 2024, la salle Vinci a été réservée pour cette date, sa capacité est de 96 personnes.</p>
<p>Un duplex sera organisé avec le CST (salle CréaLab).</p>
Daumesnil - salle Vinci, PARIS, France
CNES Toulouse - Créalab, Toulouse, France
CNES Toulouse - Créalab, Toulouse, France
To take part in this event, you must register.