at 13.00, Hans van Ditmarsch will give a talk on "refinement modal logic" at the Technical University of Denmark (building 305, room 053). His visit is hosted by Thomas Bolander, Technical University of Denmark, and the trip is sponsored by the HYLOCORE project. Please see the attached pdf file for abstract and details.
talk_hans_van_ditmarsch_jun2012.pdf |