News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

26 November 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Marc Pauly

Speaker: Marc Pauly (Liverpool)
Title: Towards the Formal Verification of Social Mechanisms
Date: Tuesday 26 November 2002
Time: 14:15 - 16:00 uur
Location: TU Eindhoven, HG 6.96

Game theory and logic can provide the tools for a more formal analysis of the social mechanisms we are involved in, such as voting procedures, auctions, and negotiation. After spending some time to motivate this research program in general, I will focus on a particular technical example, an extension of the WHILE-language for programming game-theoretic mechanisms involving multiple agents. A structured operational semantics is provided in terms of extensive games of almost perfect information. Hoare-style partial correctness assertions are proposed to reason about the correctness of these mechanisms, where correctness is interpreted as the existence of a subgame perfect equilibrium. Using an extensional approach to pre- and postconditions, we show that an extension of Hoare's original calculus is sound and complete for reasoning about subgame perfect equilibria in game-theoretic mechanisms.

For more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne ().

Please note that this newsitem has been archived, and may contain outdated information or links.