In the Distinguished Lecture Series of the Max Planck Institute for Softwaresystems in cooperation with the department of computer science,

Steve Zdancewi

VellVM: Verifying LLVM IR Code

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

"On boundary value problems for RANS equations and two-equation turbulence models – Talk 1"