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.