Lorentz Centre Workshop: Formal Methods for the Informal World

I am pleased to announce that an application in which I am an organiser has been successful, lead by Virginia Dignum.

Details will be at: http://www.lorentzcenter.nl/lc/web/2013/531/info.php3?wsid=531&venue=Oort

Formal Methods for the Informal World
from 4 Mar 2013 through 8 Mar 2013

Venue: Lorentz Center@Oort

This workshop is in preparation

Scientific organizers:
Francien Dechesne (Delft, Netherlands)
Frank Dignum (Utrecht, Netherlands)
Virginia Dignum (Delft, Netherlands)
Bruce Edmonds (Manchester, United Kingdom)
Liz Sonenberg (Melbourne, Australia)