Monthly Archives: July 2012

Workshop on Logics for System Analysis 2012

My former colleague Philipp Rümmer co-organised a workshop on topics broadly concerned with applying logic to determine properties of various kinds of systems. I only managed to attend the morning session of the workshop, so the report below is very incomplete. The … Continue reading

Posted in Uncategorized | Leave a comment