Martin Vechev: Lehrveranstaltungen im Herbstsemester 2019

NameHerr Prof. Dr. Martin Vechev
LehrgebietInformatik
Adresse
Inst. Programmiersprachen u. -syst
ETH Zürich, CAB H 69.1
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telefon+41 44 632 98 48
E-Mailmartin.vechev@inf.ethz.ch
URLhttp://www.srl.inf.ethz.ch/
DepartementInformatik
BeziehungOrdentlicher Professor

NummerTitelECTSUmfangDozierende
263-2100-00LResearch Topics in Software Engineering Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 22.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
2 KP2S
263-2100-00 SResearch Topics in Software Engineering2 Std.
Di13:15-15:00CHN G 46 »
P. Müller, M. Püschel, Z. Su, M. Vechev
263-2400-00LReliable and Interpretable Artificial Intelligence Information 5 KP2V + 1U + 1A
263-2400-00 VReliable and Interpretable Artificial Intelligence2 Std.
Mi15:15-17:00HG G 3 »
M. Vechev
263-2400-00 UReliable and Interpretable Artificial Intelligence
No exercise session in the first semester week. Exercise session will start in the second week of the semester.
1 Std.
Mo13:15-14:00LFW C 4 »
Mi11:15-12:00CAB G 59 »
M. Vechev
263-2400-00 AReliable and Interpretable Artificial Intelligence1 Std.M. Vechev