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 | |