max planck institut
informatik
informatik
Vorbesprechung: Dienstag, 23. Oktober 2007, 13.00 Uhr s.t.
Die Vorbesprechung findet in Raum 021, Gebäude E1.4 (Max-Planck-Institut für Informatik) statt. Alle Themen werden dabei von uns vorgestellt. Sie erhalten dann die Möglichkeit, sich ein Vortragsthema auszusuchen und mit Ihrem Betreuer in Kontakt zu treten.
Vorläufiger Zeiplan
Kenntnisse in theoretischer Informatik, insbesondere Logik sind nützlich aber keine Zulassungsvoraussetzung. Wir werden eine Einführung in SAT geben. Sie müssen englische Fachaufsätze lesen können. Die Vorträge können in deutscher Sprache gehalten werden, wir begrüssen es jedoch wenn der Vortrag auf englisch gehalten wird.
Die Literaturliste der Seminarthemen befindet sich hier.
Einige Hinweise zum Vortragsstil können Sie hier [deutsch] finden.
Bitte melden sie sich auf unserer Registrierungsseite an. Bitte vergessen sie nicht, sich auch bei HISPOS an, da wir die Prüfungsanmeldung nicht automatisch vornehmen können.
Die Benotung erfolgt Aufgrund des mündlichen Vortrags, sowie einer kurzen (maximal 5 Seiten langen) Ausarbeitung, die in englischer Sprache verfasst wird. Abgabe der schriftlichen Ausarbeitung: Montag, 31 März 2008, 23:59 Uhr
TeX4PPT ist ein nützliches, kostenloses Tool zum Erstellen von math. Formeln in Powerpoint.
Präsentationsvorlagen: LaTeX (basierend auf dem 'Seminar'-Package), PowerPoint