Jahr 2021
13.01.2021 15:00 Uhr:
In the Distinguished Lecture Series of the Max Planck Institute for Softwaresystems in cooperation with the department of computer science,
Steve Zdancewi
is giving a talk on his work onVellVM: Verifying LLVM IR Code
14.01.2021 16:00 Uhr:
Within the Seminar Series on Scientific Computing we are pleased to announce a lecture by
PD Dr. Stefan Langer
is giving a talk on his work on