149 lines
4.1 KiB
HTML
149 lines
4.1 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta content="text/html; charset=utf-8" http-equiv="content-type">
|
|
<title>Vortrag: Beweisbar sichere Software | Saturday | Programm Datenspuren 2020
|
|
</title>
|
|
<link rel="stylesheet" media="screen" href="/2020/fahrplan/public_schedule.css">
|
|
<link rel="stylesheet" media="all" href="/2020/fahrplan/style.css">
|
|
<link rel="stylesheet" media="print" href="/2020/fahrplan/public_schedule_print.css">
|
|
</head>
|
|
<body>
|
|
<div id="wrapper">
|
|
<div id="banner"></div>
|
|
<div id="header">
|
|
<h1>Programm Datenspuren 2020</h1>
|
|
</div>
|
|
<div id="navigation">
|
|
<ul>
|
|
<li>
|
|
<a href="/2020/fahrplan/index.html">Übersicht</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2020/fahrplan/schedule/1.html">
|
|
Freitag
|
|
-
|
|
<span class="small-font">18.09.2020</span>
|
|
</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2020/fahrplan/schedule/2.html">
|
|
Samstag
|
|
-
|
|
<span class="small-font">19.09.2020</span>
|
|
</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2020/fahrplan/schedule/3.html">
|
|
Sonntag
|
|
-
|
|
<span class="small-font">20.09.2020</span>
|
|
</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2020/fahrplan/speakers.html">Referenten</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2020/fahrplan/events.html">Events</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2020/fahrplan/timeline.html">Zeitleiste</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2020/fahrplan/booklet.html">Buch</a>
|
|
</li>
|
|
<li>
|
|
<a href="/2020/fahrplan/qrcode.html">QR-Code</a>
|
|
</li>
|
|
</ul>
|
|
|
|
</div>
|
|
<div id="main-content">
|
|
<p class="release">Version 1.11</p>
|
|
<h2>Vortrag: Beweisbar sichere Software</h2>
|
|
<h3 class="title"></h3>
|
|
<div class="column left" id="basic">
|
|
<div class="image large"><img src="/2020/fahrplan/assets/event_large-4b8aa978adbb7c8e80151f5a83c6782a12e763374ae3a042a55e7e626a64d93b.png"></div>
|
|
<p class="abstract">Die Verifikation von Software, also das Beweisen von Eigenschaften auf Basis des Programmcodes hat in den vergangenen Jahren signifikante Fortschritte gemacht. Insbesondere die Automatisierung von Beweisen erlaubt mittlerweile eine Softwareverifikation ohne tiefgreifende Wissen in formalen Methoden.</p>
|
|
<p class="description">Die ist ein Übersichtsvortrag über das Spektrum von verifizierbaren Programmiersprachen und Theorembeweisern. Es wird versucht, Idris, F*, Coq, Lean, Why3, Liquid Haskell und weitere zu kategorisieren und anhand von Beispielen Stärken und Schwächen der Ansätze aufzuzeigen.</p>
|
|
</div>
|
|
<div class="column left" id="details">
|
|
<h3>Info</h3>
|
|
<p>
|
|
<b>Tag:</b>
|
|
<a href="/2020/fahrplan/schedule/2.html">19.09.2020</a>
|
|
<br>
|
|
<b>Anfangszeit:</b>
|
|
13:00
|
|
<br>
|
|
<b>Dauer:</b>
|
|
00:45
|
|
<br>
|
|
<b>Raum:</b>
|
|
Vortrag
|
|
<br>
|
|
<b>Track:</b>
|
|
<a href="/2020/fahrplan/events.html#technik">Technik</a>
|
|
<br>
|
|
<b>Sprache:</b>
|
|
de
|
|
</p>
|
|
<h3>Links:</h3>
|
|
<ul>
|
|
<li><a href="/2020/fahrplan/events/11315.ics">iCalendar</a></li>
|
|
</ul>
|
|
<div class="column left" id="concurrent_events">
|
|
<h3>Gleichzeitige Events</h3>
|
|
<dl class="dl-horizontal">
|
|
</dl>
|
|
</div>
|
|
</div>
|
|
<div class="column right" id="sidebar">
|
|
<h3>Referenten</h3>
|
|
<table class="list">
|
|
<tbody>
|
|
<tr>
|
|
<td><div class="image small"><img src="/2020/fahrplan/system/people/avatars/000/010/296/small/logo.png"></div></td>
|
|
<td><a href="/2020/fahrplan/speakers/10296.html">Marius Melzer</a></td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
<script type="application/ld+json">
|
|
{
|
|
"@context" : "http://schema.org",
|
|
"@type" : "Event",
|
|
"name" : "Beweisbar sichere Software",
|
|
"location" : {
|
|
"@type" : "Place",
|
|
"name" : "Vortrag",
|
|
"address" : "Datenspuren 2020"
|
|
},
|
|
"startDate" : "2020-09-19T13:00:00+0200",
|
|
"endDate" : "2020-09-19T13:45:00+0200",
|
|
"performer" : [{"name":"Marius Melzer","@type":"Person","sameAs":"/de/ds20/public/speakers/10296","image":"/system/people/avatars/000/010/296/small/logo.png?1594199575"}],
|
|
"inLanguage" : "de",
|
|
"superEvent" : {
|
|
"@type" : "Event",
|
|
"sameAs" : "/de/ds20/public/schedule",
|
|
"name" : "Datenspuren 2020",
|
|
"location" : {
|
|
"@type" : "Place",
|
|
"name" : "Datenspuren 2020",
|
|
"address" : "Datenspuren 2020"
|
|
},
|
|
"startDate" : "2020-09-19T10:00:00+0200"
|
|
}
|
|
}
|
|
|
|
</script>
|
|
|
|
<br class="clear">
|
|
</div>
|
|
</div>
|
|
<div id="footer">
|
|
<p>Dieses Programm wurde mit <a href="http://frab.github.io/frab/">frab</a> erstellt.</p>
|
|
</div>
|
|
</body>
|
|
</html>
|