703904 Seminar 1
Wintersemester 2013/2014 | Stand: 07.09.2013 | LV auf Merkliste setzen703904
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
- Fakultät für Mathematik, Informatik und Physik
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 |