Papers

Time Machine

Proseminar (5 CP)
Wintersemester 2013/2014

Bernd Finkbeiner
Hazem Torfah
Michael Gerke
Felix Klein
Andrey Kupriyanov
Markus N. Rabe
Leander Tentrup

News

Die Probe- und Hauptvorträge finden im Seminarraum 528 im Gebäude E1.3 statt.

Folien-Abgabetermin: 20. Dezember 23:59. Als PDF Datei an den Betreuer.

Die Einführungsveranstaltung findet am Donnerstag 28.11. von 14 bis 16 Uhr statt.

Die Vorbesprechung findet am 22.10.2013 um 14 Uhr st im E1.3 R.528 statt.

Inhalt

In diesem Proseminar werden Sie lernen wissenschaftliche Vorträge zu halten. Sie werden sich selbstständig in ein fachliches Gebiet einarbeiten und eine Präsentation dazu ausarbeiten. Der zweistufige Seminaraufbau dient dazu, dass Sie im Laufe der Veranstaltung Rückmeldung bekommen und sich daraufhin verbessern können. Thematisch beschäftigen wir uns mit den Grundlagen der Modellierung von Zeit in formalen Modellen. Die Literatur ist nur auf Englisch verfügbar, der Vortrag darf jedoch in Deutsch gehalten werden.

Anmeldung

Zur Anmeldung senden Sie bitte eine E-Mail an time-machine@react.uni-saarland.de
Wie üblich werden Sie sich sowohl bei uns als auch über das Prüfungssystem anmelden müssen.

Format

Das Proseminar wird in drei Blöcken (je 1 Tag, siehe unten) stattfinden.
Im ersten Block werden Sie eine Einführung in das Thema, sowie Tipps zum Präsentationsentwurf und zur Vortragsweise bekommen.
Bis zum zweiten Block werden Sie sich in Ihr Thema einarbeiten sowie eine kurze Präsentation vorbereiten.
Nach dem Probevortrag erhalten Sie Rückmeldung von Ihrem Betreuer sowie von Ihren Kommilitonen, welche Sie für den Hauptvortrag berücksichtigen sollen.

Termine

Vorbesprechung: 22.10.2013. 14 Uhr, E1.3 R.528.
Einführungsveranstaltung: 28.10.2013. 14:00. E1.7 R. 008.
Folien: 20.12.2013. 23:59.
Probevorträge: 10.01.2014 9:00 – 18:00. E1.3 R.528
Hauptvorträge: 24.01.2014 8:30 – 18:30. E1.3 R.528

Voraussetzungen

Wir erwarten, dass Sie Programmieren 1 bereits bestanden haben. Darüber hinaus sind Vorlesungen wie Theoretische Informatik und Grundzüge von Algorithmen und Datenstrukturen hilfreich, aber nicht notwendig um der Veranstaltung zu folgen. Sie müssen (einfache) englischsprachige Fachliteratur lesen können und flüssig Deutsch sprechen können. Wir begrüßen es, wenn Sie Ihren Vortrag auf Englisch halten, es besteht allerdings kein Zwang.

Benotung

Die Benotung erfolgt aufgrund Ihres Hauptvortrags und ihrer Zusammenfassung.
Bei guter Beteiligung an den Diskussionen geben wir einen Bonus auf die Endnote.