Proseminar, Sommersemester 2020
News
- 27.07.2020: Die Evaluierungsergebnisse sind verfügbar.
- 24.03.2020: Das Proseminar wird bis auf weiteres ohne Präsenzveranstaltungen in elektronischer Form organisiert. Das erste Material wird spätestens am 14. April zugänglich gemacht.
- 20.01.2020: Wir sind online!
Einführung und Themenvergabe
- Slidecast zur Einführung
- Folien zur Einführung
- Foodle-Umfrage zur Themenvergabe
- Schulung in Literaturrecherche
Termine
| 17.04.2020 | Frist für Themenauswahl |
| 11.05.2020 | Letzte Rücktrittsmöglichkeit |
| 18.05.2020 | Vorlage der detaillierten Inhaltsübersicht |
| 08.06.2020 | Vollständige Fassung der Ausarbeitung |
| 06.07.2020 | Vollständige Fassung der Vortragsfolien |
| 15./16.07.2020 | Seminarvorträge |
Beachten Sie, dass die vollständigen Fassungen von Ausarbeitung und Vortragsfolien Ihre finale Einreichung darstellen und sich von der endgültigen Version nur durch kleinere Anpassungen unterscheiden sollen, die nach Rücksprache mit der betreuenden Person erfolgen. Es ist aber möglich (und empfohlen), vor den jeweiligen Fristen Entwurfsversionen Ihrer Dokumente einzureichen.
Inhalt
Das Gebiet der Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computersoftware. Die Anwendungen solcher Methoden sind sehr vielfältig und reichen von von der Unterstützung des Programmverständnisses über optimierende Compiler und Interpreter bis hin zum Nachweis von Korrektheitseigenschaften von Software. Entsprechend vielseitig sind auch die formalen Modelle, auf denen solche Analysen basieren, sowie die darauf operierenden Algorithmen. Das Ziel dieses Proseminars besteht darin, einen Überblick über grundlegende Modelle für Softwaresysteme, Logiken zur formalen Spezifikation ihrer Eigenschaften sowie Verfahren zur automatischen Überprüfung solcher Eigenschaften zu geben.
Zeitplan
| Zeit | Mittwoch, 15. Juli | Donnerstag, 16. Juli |
| 09:00-10:20 | Georg Albrecht, Jennifer Sue Berendt, Adrian Holt, Jannis Feldmann | Felix Wöhner, Tabea Hegewaldt, Florian Sprünken, Jordan Rosenstein |
| 10:30-11:10/11:30 | Matthis Franzgrote, Christian Andreas Heuer | Eren Yalcin, Dominik Nguyen, Niklas Molczanski |
| 13:00-14:00 | Benjamin Faust, Giang Lai, Haiyan Saadi | Amelie Rath, Antoine Origer, Leon Barth |
| 14:15-14:55/15:15 | Mohamed-Wassim Deghdagh, Amelie Dittmann | Alexander Ferber, Gian Luca Spitzer, Hannes Pieper |
Themen
Anmeldung
Die Anmeldung erfolgt über eine zentrale Seite der Fachgruppe Informatik. Nachträgliche Anmeldungen sind nicht möglich.
Weitere Informationen
- Vorlage zur Ausarbeitung
- Vorlage zu den Vortragsfolien
- Hinweise zur Anfertigung der Ausarbeitung
- How to give presentations
- Ethische Richtlinien für das Verfassen wissenschaftlicher Arbeiten