Lorentz Center - Games, action and social software from 30 Oct 2006 through 3 Nov 2006
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Games, action and social software
    from 30 Oct 2006 through 3 Nov 2006

 
Monday Oct 30

Monday October 30

 

10.00-11.00       Rohit Parikh: Why Social Software?

11.00-11.30       Coffee and Tea break

11.30-12.00       John-Jules Meyer: Robot Companions and Virtual Characters in Games as 'BDI+' Agents

12.00-12.30       Bart Verheij: Argumentation Engines

12.30-14.00       Lunch

14.00-15.00       Discussion

15.00-15.45       Eric Pacuit: Comparing Dynamic Epistemic Logic and Epistemic Temporal Logic

15.45-16.15       Tea and Coffee break

16.15-17.00       Johan van Benthem: DEL, ETL en belief revision

17.00                  Wine & Cheese party

 

 

Tuesday October 31

 

10.00-11.00       Dov Samet: On Deriving Knowledge from Belief

11.00-11.30       Coffee and Tea break

11.30-12.00       Rene Jorna: Does cognition matter in crowd behavior and riot control? (cooperation with Nanda Wijermans, Wander Jager, Tony van Vliet & Martin Helmhout)

12.00-12.30       Barteld Kooi: Two Kinds of Common Knowledge (joint work with Boudewijn de Bruin)

12.30-14.00       Lunch

14.00-15.00       Discussion

15.00-15.30       Allard Tamminga: Moral conflicts between groups of agents (joint work with Barteld Kooi)

15.30-16.00       Tea and Coffee break

16.00-17.00       Martin van Hees & Keith Dowding: Measuring Rights and Freedoms

 

 

Wednesday November 1

 

10.00-11.00       Wiebe van der Hoek: On the Logic of Cooperation and Coalitions (joint work with Thomas Agotnes & Michael Wooldridge)

11.00-11.30       Coffee and Tea break

11.30-12.00       Jan van Eijck: Perception and Knowledge Update

12.00-12.30       Francien Dechesne & Yanjing Wang: Security of Multi-party Protocols: Epistemics and Verification

12.30-14.00       Lunch

14.00-15.00       Discussion

15.00-15.30       Ji Ruan: Action Emulation

15.30-16.00       Tea and Coffee break

16.00.17.00       Alexandru Baltag: Unsafe Beliefs and Unsafe Learning: the dangers of knowing too much

 

 

Thursday November 2

 

10.00-11.00       Krzysztof Apt: The Many Faces of Rationalizability

11.00-11.30       Coffee and Tea break

11.30-12.00       Frank Dignum: Interest Based Negotiation

12.00-12.30       Han la Poutre: Adaptive Agents in Socio-Economic Games

12.30-14.00       Lunch

14.00-15.00       Discussion

15.00-15.30       Wouter Teepe: Protocols for private List Intersection, or: how to fly to the US and remain unnoticed

15.30-16.00       Tea and Coffee break

16.00-17.00       Steven Brams: Voting Systems That Combine Approval and Preference (joint work with M. Remzi Sanver)

19.00-22.00       Workshop Dinner at NIAS

 

 

Friday November3

 

10.00-10.30       Steven Brams: Better Ways to Cut a Cake (joint work with Michael A. Jones & Christian Klamler)

10.30-11.00       Dennis Reidsma: Location Based Games

11.00-11.30       Coffee and Tea break

11.30-12.00       Kecheng Liu: Social Affordances in Modelling and Facilitating Interactions

12.30-14.00       Lunch

14.00-14.30       Ideas for Proceedings

14.30-15.00       Krister Segerberg: Iterated belief revision in DDL

15.00-15.30       Tea and Coffee break

15.30-16.30       Jouko Väänänen: Dependence logic

 

 



   [Back]