Personal tools
You are here: Home Events Lab Lunch by Karoliina Lehtinen

Lab Lunch by Karoliina Lehtinen

— filed under:

Eliminating complexity in modal mu calculus & a brief survey of folk dancing in Edinburgh and elsewhere.

What
  • Lab Lunch
When Apr 21, 2015
from 01:00 PM to 02:00 PM
Add event to calendar vCal
iCal

I will talk about some of the things I have been doing in the past two years -- namely, studying the modal mu calculus and dancing. In the first part of the talk will present some recently submitted work on how to obtain simple formulas out of complexo ones to ease verification. Faithful to the spirit of Lab Lunch, I'll then swiftly move on to talk about folk dancing and how I ended up dancing the fandango in Derbyshire.

Document Actions