(Pro-)Seminar: Methods for Analysis and Quality Assurance in Computer Aided Engineering (CAE) - Wintersemester 2020/21

Übersicht

Beschreibung

Es soll sowohl in diese Themen eingeführt werden (Proseminar), als auch Themen tiefergehend behandelt werden (Seminar).

Die Studierenden lernen, eigenständig wissenschaftliche Literatur effektiv zu recherchieren und zu strukturieren, im Rahmen einer Ausarbeitung kurze wissenschaftliche Texte zu schreiben und die Arbeit im Vortrag zu präsentieren.

Am 13. Januar wird um 15.00 Uhr die Zwischenpräsentation stattfinden.

Link für Online Meetings: https://tfmeet1.informatik.uni-freiburg.de/b/tob-wfq-maz-uks

Für die Tabelle bitte nach unten scrollen (Fehler in unserem Webseiten-Tool):

Datum	Thema	Dauer
02.-11. November	Belegungsphase
04. November, 13:00	Vorbesprechung	30m
11. November, 12:00	Zuteilung der Seminare
22. November, 23.59	Topic Bidding Ends
25. November, 13.00	Kickoff, Themenverteilung	30m
13. Januar, 15.00	Halbzeitpräsentation	2-3 Stunden
31. Januar	Paper Deadline
31. Januar	Review Paper Bidding Ends
14. Februar	Review Deadline
21. Februar	Revised Paper Deadline
08. + 09. Februar, 14.00 Uhr	Abschlusspräsentation	2 x 2 Stunden

Kommentar

Dieses (Pro-)Seminar befasst sich mit aktuellen Forschungsthemen im Bereich CAE. Schwerpunkte werden „Formale Methoden (IC3/PDR, POMDPs und MaxSAT) und Lernverfahren (Machine Learning Techniken mit Anwendung in der Mustererkennung von Time-Series Data) sein.