Allgemeines |
Time Machine
Proseminar (5 CP)
Sommersemester 2013
Bernd Finkbeiner
Peter Faymonville
Michael Gerke
Felix Klein
Andrey Kupriyanov
Leander Tentrup
Hazem Torfah
News
- Sie können sich bis zum 01.05.2013 zum Proseminar anmelden, auch wenn sie die Vorbesprechung verpasst haben.
- Die Folien der Vorbesprechung sind online
- Zur Anmeldung senden Sie bitte eine E-Mail an time-machine@react.cs.uni-saarland.de
- Die Vorbesprechung findet am Mittwoch, den 24.4.13, um 14 Uhr in Raum 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
Die Anmeldung wird nach der Vorbesprechung für einige Tage möglich sein.
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: 24.04.2013, 14 Uhr. Raum 528 Gebäude E1.3.
- Verbindliche Anmeldung per E-Mail zwischen dem 24.04.2013 und 01.05.13
- Einführungsveranstaltung: TBA
- Probevorträge: TBA
- Hauptvorträge: TBA (Ende August, kurz nach der Klausurenzeit)
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.