Praktikum SAT/SMT-Solving

SAT-Solver sind universelle Problemlöser für kombinatorische Entscheidungsprobleme. SMT-Solver erweitern diese um sogenannte Theorien (wie z.B. Arithmetik) und finden unter anderem in der Programmverifikation Anwendung. In diesem Praktikum sollen aktuelle Verfahren des SAT/SMT-Solvings in prototypischen Implementierungen umgesetzt und evaluiert werden.

Allgemeine Informationen

Wichtige Informationen
Am Dienstag, den 28.04., 17:30 Uhr, wird eine Einführungsveranstaltung per Skype abgehalten, bei der auch das Thema des aktuellen Semesters bekanntgegeben wird. Der Skype-Link wird rechtzeitig in ILIAS bekanntgegeben.

Eine Anmeldung zum Praktikum über das Campus-System wird empfohlen.

Veranstaltungsdaten

Abschluß
Master
Start
22. Apr 2020
Veranstaltungsart
Praktikum
Ort
Online
Termin
Di. 17:30-19:00

Allgemein

Sprache
Deutsch

Lizenz und Nachnutzung

Lizenz
All rights reserved

Verfügbarkeit

Zugriff
Unbegrenzt – wenn online geschaltet
Aufnahmeverfahren
Sie müssen einen Aufnahmeantrag stellen, um in den Kurs aufgenommen zu werden. Beschreiben Sie im Feld Nachricht, warum Sie beitreten möchten. Sobald Ihr Antrag angenommen oder abgelehnt wurde, erhalten Sie eine Benachrichtigung.
Zeitraum für Beitritte
Bis: 15. Mai 2020, 00:00

Für Kursadministration freigegebene Daten

Daten des Persönlichen Profils
Anmeldename
Vorname
Nachname
E-Mail
Matrikelnummer

Zusätzliche Informationen

Objekt-ID
1544576