en | de

Department of Computer Science
University of Innsbruck
Home Research Teaching Members Events News
Teaching
lectures bachelor projects master projects software
SAT/SMT Solving
overview content feedback

SAT/SMT Solving

bachelor program

VU3  WS 2022/2023  703147

Lecturer

room consultation hours
PS Sarah Winkler 3M03 Wednesday13:00 – 15:00

Time & Place

VU Friday14:15 – 17:00 SR12 Sarah Winkler

Registration

Online registration is required