Did you know that you can navigate the posts by swiping left and right?

14 Jul 2015

VSL 2014: Vienna Summer of Logic

Vienna, Austria

The first conference that I could attend in my PhD was the Vienna Summer of Logic. Next to the conference itself, I also attended the Fun With Formal Methods (FWFM) workshop, where my colleagues’ paper Introducing Formal Verification with Lego.

External link