Home » Seminar über Programmiersprachen WS12/13

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

Datum/Uhrzeit Raum	Thema	Vortragende(r)	Folien Ausarbeitungen
17.07.2012	Vorbesprechung	Lilit Hakobyan
25.02.13 SR 053
11:15 - 12:45 Uhr	3. **The ESTEREL synchronous programming language: design, semantics, implementation (Abschn. 1- 8)	Samuel Eickelberg Johannes Dahlke	Folien Ausarbeitung
13:00 - 14:00 Uhr	4. SIGNAL: A Declarative Language for Synchronous Programming of Real-Time Systems	Florian Freudenberg	Folien Ausarbeitung
14:30 - 15:30Uhr	5. Giotto: A Time-Triggered Language for Embedded Programming	Robert Fehrmann	Folien Ausarbeitung
15:45 - 16:45 Uhr	8. An Overview of the Signal Clock Calculus	Alexander Steen	Folien Ausarbeitung
26.02.13 SR 053
10:00 - 11:30 Uhr	7. **Eine funktionale, synchrone Programmiersprache für eingebettete Echtzeitsysteme	Michael Wittig Marco Ziener	Folien Ausarbeitung
11:45 - 13:15 Uhr	9. **Embedding Imperative Synchronous Languages in Interactive Theorem Provers	Christian Tietz Jan Sydow	Folien Ausarbeitung
13:45 -14:45 Uhr	11. A New Method for Compiling Schizophrenic Synchronous Programs	Christian Dohnert	Folien Ausarbeitung
15:00 - 16:00 Uhr	13. The Synchronous Languages 12 Years Later	Siripanya Tawatchai	Folien Ausarbeitung