Games and Social Software
7th Augustus de Morgan Workshop
King's College London
November 4-7, 2005
Ludolf Bakhuizen, XVIIth century
List of Speakers.
- Samson Abramsky (Oxford): Socially aware, environmentally friendly logic
- Krzysztof Apt (Amsterdam/Singapore): The Many Faces of Rationalizability
- Stefano Borgo (Trento): Quantificational modal operators and their semantics
- Julian Bradfield (Edinburgh): Independence-friendly Modal and Temporal Logic
- Adam Brandenburger (New York NY): Can Hidden Variables Explain Correlation?
- Konrad Grabiszewski (New York NY): Type Space with Disintegrability
- Erich Grädel (Aachen): Positional Determinacy o$ Many Priorities
- Wilfrid Hodges (London): Fully abstract valuations for subgames
- Hykel Hosni (Manchester): Rationality as conformity
- Vladimir Komendantsky (Cork): On abstract game semantics and streams in logic
- Barteld Kooi (Groningen): Multi-Agent Deontic Logic
- Maxime Morge (Lille): Collective decision-making process to compose divergent interests and perspectives
- Eric Pacuit (Amsterdam): A Logic of Knowledge and Communications for Social Software
- Rohit Parikh (New York NY): Social Software, Old and New Results
- Andrés Perea (Maastricht): Epistemic foundations for backward induction: An overview
- Gabriella Pigozzi (London): Paradoxes of aggregation and belief merging
- Davi Romero de Vasconcelos (Rio de Janeiro): Reasoning about Games via Temporal Logic
- Olivier Roy (Amsterdam): Deliberative strategies for non-ideal agents
- Mehrnoosh Sadrzadeh (Montreal QC): Information Flow in Security Protocols: towards an action logic for authentication
- Brian Semmes (Amsterdam): A generalization of the Wadge and backtrack games
- Merlijn Sevenster (Amsterdam): The Complexity of Scotland Yard
- Tero Tulenheimo (Helsinki): A novel approach to Independence-friendly modal logic
- Jouko Väänänen (Helsinki): Dependence, team logic, and determinacy
- Robert van Rooij (Amsterdam): Semantics and Signaling Games
- Wiebe van der Hoek (Liverpool): Social Laws in Alternating-time Temporal Logic
- Jan van Eijck (Amsterdam): Checking Communication Protocols with Dynamic Epistemic Logic
- Philip Welch (Bristol): Circular definitions and Sigma03 Games
- Adam Wyner (London): A Prototype Implementation of a Multi-Agent Deontic Action Language