21 Sep 2010
Amsterdam, The Netherlands
Many Faces of Protocols and Knowledge Amsterdam, 21 September 2010 Time: 15:00 - 18:00 Venue: Doelenzaal at UB (University Library of UvA) http://homepages.cwi.nl/~yanjing/files/workshop.html ================= Preliminary Program: ================= 14:30-15:00 Coffee and tea 15:00-15:30 Johan van Benthem: Logic, Plans and Protocols 15:30-16:00 Eric Pacuit: Reasoning with Protocols under Imperfect Information 16:00-16:30 Sujata Ghosh: Changing Protocols and More ... 16:30-17:00 Break 17:00-17:30 Mohammad Dashti: Formalizing the failure detectors abstraction in set theory 17:30-18:00 Anton Wijs: TBA