Organisation - Terminplanung
Bitte denken Sie rechtzeitig daran, Ihre Vortragsfolien und die schriftliche Ausarbeitung 2 Wochen vor dem Vortragstermin per Mail zu schicken!
Wichtig:
Themen mit ** können zu zweit bearbeitet werden.
Dauer der Vorträge
- Einzelvortrag: Dauer ca.60 Min, Ausarbeitung ca. 10 Seiten
- Doppelvortrag: Dauer 90 Min, Ausarbeitung ca. 15 Seiten
Liebe Studenten, Themenvereinbarung ist abgeschlossen!
| Datum/Uhrzeit Raum |
Thema | Vortragende(r) | Folien Ausarbeitungen |
|---|---|---|---|
| 18.10.2013 | Vorbesprechung | Lilit Hakobyan | |
| 24.02.2014 | |||
| 10:00-11:00 Uhr | Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages | Manuel Thomassen |
|
| 11:15-12:15 Uhr | Information Hiding Interfaces for Aspect-Oriented Design | Thomas Weißgerber | |
| 13:00-14:30 Uhr | **GMeta: A Generic Formal Metatheory Framework for First-Order Representations | Thomas BenndorfBjörn Gradowski | |
| 25.02.2014 | |||
| 09:30-10:30 Uhr | SIGNAL: A Declarative Language for Synchronous Programming of Real-Time Systems |
Ahmad Hasan | |
| 10:45-11:45 Uhr | **Pretty-Big-Step Semantics |
Fabian Nack | |
| 12:30-13:30 Uhr | From Small-step Semantics to Big-step Semantics, Automatically |
Hanin Halawani | |
| 13:45-14:45 Uhr | Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant | Roman Naumann | |
