WS22/23 (Synchronous Languages)
The purpose of this seminar is to independently and scientifically work on a topic on synchronous languages and related areas. The goal is to summarize the topic in an oral presentation and a written elaboration in form of a paper. Another purpose of this seminar is to practice working in structured and time-driven workflows (e.g. for conferences or workshops). Moreover, both of these aspects are a good preparation for working on your thesis. We have many theses regarding these topics available; contact us if you are interested in that.
This seminar is a bachelor and master module at the same time. Compared to the bachelor seminar, we expect that master students include more related work and therefore write a longer paper and hold a longer presentation (see below).
Prerequisites
This seminar is build upon the contents of the "Synchronous Languages" lecture. All participants that did not yet attend this lecture are recommended to read the following introduction paper, at least parts I and II:
Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," Proceedings of the IEEE , vol.91, no.1, pp.64,83, Jan 2003 (pdf).
Moreover, we recommend the attendance of the lecture "Scientific Working for Seminars and Thesis" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by Prof. Peters.
Lecturers
Reinhard von Hanxleden (rvh@informatik.uni-kiel.de)
Jette Petzold (jep@informatik.uni-kiel.de)
Alexander Schulz-Rosengarten (als@informatik.uni-kiel.de)