148 lines
4.0 KiB
HTML
148 lines
4.0 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta content="text/html; charset=utf-8" http-equiv="content-type">
|
|
<title>Schedule Datenspuren 2018</title>
|
|
<link rel="stylesheet" media="screen" href="/2018/fahrplan/public_schedule.css">
|
|
<link rel="stylesheet" media="all" href="/2018/fahrplan/style.css">
|
|
<link rel="stylesheet" media="print" href="/2018/fahrplan/public_schedule_print.css">
|
|
</head>
|
|
<body>
|
|
<div id="wrapper">
|
|
<div id="banner"></div>
|
|
<div id="header">
|
|
<h1>Schedule Datenspuren 2018</h1>
|
|
</div>
|
|
<div id="navigation">
|
|
<ul>
|
|
<li>
|
|
<a href="/2018/fahrplan/index.html">Overview</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2018/fahrplan/schedule/1.html">
|
|
Saturday
|
|
-
|
|
<span class="small-font">2018-09-22</span>
|
|
</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2018/fahrplan/schedule/2.html">
|
|
Sunday
|
|
-
|
|
<span class="small-font">2018-09-23</span>
|
|
</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2018/fahrplan/speakers.html">Speakers</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2018/fahrplan/events.html">Events</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2018/fahrplan/timeline.html">timeline</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2018/fahrplan/booklet.html">book</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2018/fahrplan/qrcode.html">QR-Code</a>
|
|
</li>
|
|
</ul>
|
|
|
|
</div>
|
|
<div id="main-content">
|
|
<p class="release">Version 20180922</p>
|
|
<h2>Lecture: Program verification with SPARK</h2>
|
|
<h3 class="title">When your code must not fail</h3>
|
|
<div class="column left" id="basic">
|
|
<div class="image large"><img src="/2018/fahrplan/assets/event_large-4b8aa978adbb7c8e80151f5a83c6782a12e763374ae3a042a55e7e626a64d93b.png" alt="Event large"></div>
|
|
<p class="abstract">An introduction on SPARK, a programming language specifically designed for high reliability and used in safety critical areas such as avionics or railway signaling or in high security applications such as the Muen micro kernel or the WooKey, a secure USB mass storage device.</p>
|
|
<p class="description"></p>
|
|
</div>
|
|
<div class="column left" id="details">
|
|
<h3>Info</h3>
|
|
<p>
|
|
<b>Day:</b>
|
|
<a href="/2018/fahrplan/schedule/1.html">2018-09-22</a>
|
|
<br>
|
|
<b>Start time:</b>
|
|
15:00
|
|
<br>
|
|
<b>Duration:</b>
|
|
00:30
|
|
<br>
|
|
<b>Room:</b>
|
|
Großer Saal
|
|
<br>
|
|
<b>Track:</b>
|
|
<a href="/2018/fahrplan/events.html#alles">Alles</a>
|
|
<br>
|
|
<b>Language:</b>
|
|
en
|
|
</p>
|
|
<h3>Links:</h3>
|
|
<ul>
|
|
<li><a href="/2018/fahrplan/events/9332.ics">iCalendar</a></li>
|
|
<li><a href="https://www.adacore.com/about-spark">About SPARK - Adacore</a></li>
|
|
</ul>
|
|
<h3>Feedback</h3>
|
|
<p>
|
|
<a href="https://frab.cccv.de/de/DS2018/public/events/9332/feedback/new">Click here to let us know how you liked this event.</a>
|
|
</p>
|
|
<div class="column left" id="concurrent_events">
|
|
<h3>Concurrent Events</h3>
|
|
<dl class="dl-horizontal">
|
|
</dl>
|
|
</div>
|
|
</div>
|
|
<div class="column right" id="sidebar">
|
|
<h3>Speakers</h3>
|
|
<table class="list">
|
|
<tbody>
|
|
<tr>
|
|
<td><div class="image small"><img src="/2018/fahrplan/assets/person_small-6becbdd9bedc5ac3962dfb66f90e5ebb8fdbb97c287002e97bba3762a122a2bf.png" alt="Person small"></div></td>
|
|
<td><a href="/2018/fahrplan/speakers/8090.html">Johannes Kliemann</a></td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
<div class="span16">
|
|
</div>
|
|
<script type="application/ld+json">
|
|
{
|
|
"@context" : "http://schema.org",
|
|
"@type" : "Event",
|
|
"name" : "Program verification with SPARK",
|
|
"location" : {
|
|
"@type" : "Place",
|
|
"name" : "Großer Saal",
|
|
"address" : "Datenspuren 2018"
|
|
},
|
|
"startDate" : "2018-09-22T15:00:00+0200",
|
|
"endDate" : "2018-09-22T15:30:00+0200",
|
|
"performer" : [{"name":"Johannes Kliemann","@type":"Person","sameAs":"/de/DS2018/public/speakers/8090","image":"/assets/person_small-6becbdd9bedc5ac3962dfb66f90e5ebb8fdbb97c287002e97bba3762a122a2bf.png"}],
|
|
"inLanguage" : "en",
|
|
"superEvent" : {
|
|
"@type" : "Event",
|
|
"sameAs" : "/de/DS2018/public/schedule",
|
|
"name" : "Datenspuren 2018",
|
|
"location" : {
|
|
"@type" : "Place",
|
|
"name" : "Datenspuren 2018",
|
|
"address" : "Datenspuren 2018"
|
|
},
|
|
"startDate" : "2018-09-22T10:30:00+0200"
|
|
}
|
|
}
|
|
|
|
</script>
|
|
|
|
<br class="clear">
|
|
</div>
|
|
</div>
|
|
<div id="footer">
|
|
<p>This schedule was generated with <a href="http://frab.github.io/frab/">frab</a>.</p>
|
|
</div>
|
|
</body>
|
|
</html>
|