Klaipeda im Juli 2017

Im Sommer 2017 habe ich auf der Baltic Summer School (BaSoTI) in Klaipėda, Litauen eine Vorlesung über Runtime Verification gehalten. Hier einige Impressionen aus Klaipėda, dem Lithuanian Sea Museum und dem Klaipėda Sea Festival, das zeitleich stattgefunden hat.