703904 Seminar 1

Wintersemester 2013/2014 | Stand: 07.09.2013 LV auf Merkliste setzen
703904
Seminar 1
SE 2
5
wöch.
semestral
Englisch

In the seminar we study current and interesting topics from logic, program analysis, term rewriting, and verification. For master students interested in these topics, the seminar provides an ideal preparation for a master project in the Computational Logic group. PhD students will acquire in-depth knowledge relevant for their doctorate thesis. All students will enhance their presentation skills.

Please consult the website for details and up to date information.

Please consult the website for details.

Please consult the website for details.

Please consult the website for details.

None.

02.10.2013
Gruppe 0
Datum Uhrzeit Ort
Mi 02.10.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 09.10.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 16.10.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 23.10.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 30.10.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 06.11.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 13.11.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 20.11.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 27.11.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 04.12.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 11.12.2013
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 08.01.2014
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 15.01.2014
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 22.01.2014
10.15 - 12.00 3W04 3W04 Barrierefrei
Mi 29.01.2014
10.15 - 12.00 3W04 3W04 Barrierefrei