On November 16th Prof. Dr. Martin Hofmann from LMU München will give a talk titled "From Type Systems to Program Logic".

The talk takes place at 16:30 in the lecture hall AH1. The invitation to the talk can be found here.