...
[vergeben] Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon. 2018. Reactive chatbot programming. In Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2018)
...
Guillaume Baudart, Timothy Bourke, and Marc Pouzet. Soundness of the Quasi-Synchronous Abstraction. In International Conference on Formal Methods in Computer-Aided Design (FMCAD), Mountain View, California, USA, October, 3-6 2016
Brandt, J.; Schneider, K.; Passive code in synchronous programs, ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67.
...
Partha S. Roop, Hammond A. Pearce, Keyan Monadjem, Synchronous neural networks for cyber-physical systems, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden, Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018
...
Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., Constructive Polychronous Systems, Logical Foundations of Computer Science. vol. 7734, 2013.
Spencer P. Florence, Shu-Hung You, Jesse A. Tov, and Robert Bruce Findler. 2019. A Calculus for Esterel: “If can, can. If no can, no can.” —Hawaiian pidgin proverb. Proc. ACM Program. Lang.3, POPL,Article 61 (January 2019),
...
Thomas Carle, Manel Djemal, Daniela Genius, Franc ̧ois Pêcheux, Dumitru Potop Butucaru, Robert de Simone, Franck Wajsbürt, Zhen Zhang, Reconciling performance and predictability on a many-core through off-line mapping, 2014 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)
Termine
...
| Datum | Meilenstein | |
|---|---|---|
| Mi, 10.04., 23:59 Uhr | Ende der Frist für die Themenauswahl (per Email an Alexander) | |
| Mi, 10.04., 9:45 Uhr | Vorbesprechung/Kick-Off, Latex/EasyChair Kurzeinführung, CAP 4, R. 1115 | |
| Di, 30.04., 8:00 Uhr | Abgabe Ausarbeitungsgerüst in EasyChair. Dies umfasst einen ersten Abstract und eine Einleitung, sowie eine Gliederung mit Stichworten zum Inhalt der Kapitel. Weiterhin auch eine Bibliographie Liste zur Übersicht über verwandte Arbeiten. | |
| Di, 30.04. indiviuell | Individualtermine, CAP 4, R. 1110 | |
| Di, 21.05., 8:00 Uhr | Abgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in EasyChair) | |
| Di, 21.05. indiviuell | Individualtermine, CAP 4, R. 1110 | |
| Di, 04.06., 8:00 Uhr | Abgabe der Review-Version der Ausarbeitung (Submission-Update in EasyChair) und Beitritt zum Program Committee (Einladung zuvor per Mail) | |
| anschließend | Zuordnung Ausarbeitungen/Reviewer (per Email) | |
| Di, 11.06., 8:00 Uhr | Abgabe der Reviews (in EasyChair) | |
| tba | evtl. Mi. 12.06., 16:00 Uhr | Vortrag zur Gestaltung einer guten Präsentation, CAP 4, R. 1011 |
| Di, 25.06. indiviuell | Individualtermine zur Besprechung der Vortragsfolien, CAP 4, R. 1110. Die Folien müssen zum Besprechungstermin entweder auf dem eigenen Rechner mitgebracht oder vorher als PDF per Mail geschickt werden. | |
| Fr, 05.07., 8:00 Uhr | Abgabe der Endversionen der Ausarbeitungen und anschließender Druck der Proceedings (Submission-Update in EasyChair) | |
| Sa, 06.07. | Ganztägiges Blockseminar mit Vorträgen. |
Agenda des Blockseminars (Vorläufig)
Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme an beiden Seminartagen am Seminartag ist Pflicht.
...
View file
...
name agenda-short.pdf height 250
Ausarbeitung, Vortrag, Review
...
Die Ausarbeitung soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einer fortgeschrittenen Bachelor-Informatik-Person gut verstanden werden kann. Die Ausarbeitung soll 6 (Master) bzw. 4 (Bachelor) Seiten umfassen, nicht mehr und nicht weniger, und den ACM LaTeX-Style verwenden (dazu mehr Details weiter unten). Generell empfehlenswert ist ein Blick in die Hinweise für die Anfertigung einer Abschlussarbeit.
Vortrag
Der Vortrag soll 35-40 Minuten (Master) bzw. 20-25 Minuten (Bachelor) lang sein, woran sich 5 Minuten Zeit für Fragen anschließen. Zu dem Vortrag sollen Folien erstellt werden. Die Vortragsfolien sollten Seitennummern enthalten. Sollte das Thema auch eine konkrete Implementierung behandeln, ist eine entsprechende kurze Tool-Demo im Rahmen des Vortrages großartig. Die Arbeitsgruppe bietet jeder vortragenden Person an, eine Videoaufnahme des Vortrags zu erstellen und zur Verfügung zu stellen.
...
- Generelle Anmerkungen (was gefällt Ihnen / gefällt Ihnen nicht zu Inhalt, Gliederung und Lesbarkeit) sowie generelle Verbesserungsvorschläge
- Detailliertere Korrekturen
Vom Umfang sollte das Review (1. Teil) mindestens einer halben A4 Seite entsprechen. In dem Review-Fomular von EasyCair können keine Dateien angehängt werden, es kann also kein annotiertes pdf als Detail-Korrektur angehängt werden.
Die Zuordnung von Papern zu Reviewenden geschieht kurzfristig nach dem Abgabetermin für die Review-Versionen der Ausarbeitungen, basierend auf den dann abgegebenen Ausarbeitungen.
...