WITH APOLOGIES FOR MULTIPLE POSTINGS |-------------------------------------------------------| | Symposium on | | | | LOGIC in GAMES and MULTIAGENT SYSTEMS | | | | University of Liverpool, UK | | 16 & 17 December, 2002 | | | | http://www.csc.liv.ac.uk/~pauly/logamas.html | | | | | | Call for Registration | | | | Deadline: November 16 | | | |-------------------------------------------------------| ORGANISING COMMITTEE Mike Ball (game theory, ballm@liv.ac.uk) Marc Pauly (logic, pauly@csc.liv.ac.uk) Mike Wooldridge (multiagent systems, mjw@csc.liv.ac.uk) KEYNOTE SPEAKERS Johan van Benthem (logic) Martin van Hees (social choice theory) Sarit Kraus (multiagent systems) Hamid Sabourian (game theory) PRELIMINARY LIST OF PRESENTATIONS - Abramsky: Polymorphism and Games - Agotnes & Walicki: A Logic for Reasoning about Explicit Knowledge in Finite Agents - Ball: What is a Coalition? - Baltag: A Hoare Logic for Epistemic Programs - Bordini & Moreira: Proving BDI Properties of an Agent-Oriented Logic Programming Language - Hansen & Pauly: Axiomatising Nash-Consistent Coalition Logic - Harding, Ryan & Schobbens: Symbolic synthesis for ATL* - Hosni: Rational constraints on BDI logics - Lomuscio: Nash equilibria and correct specifications in Multi-Agent systems - McBurney & Parsons: Towards a Game Semantics for Logics of Practical Reasoning - Pauly & Wooldridge: Formal Mechanism Verification - A Manifesto - Schobbens: Realizing KAOS agents - Shilov: What good is Game Semantics for Propositional Program Logics? MORE INFORMATION regarding registration, travel details, etc. can be found at http://www.csc.liv.ac.uk/~pauly/logamas.html --------------------------------------------------------------- Marc Pauly mailto:pauly@csc.liv.ac.uk Department of Computer Science http://www.csc.liv.ac.uk/~pauly University of Liverpool tel (+44 151) 794 6799 Liverpool L69 7ZF, United Kingdom fax (+44 151) 794 3715 **************************************************************** Dr Peter McBurney Department of Computer Science University of Liverpool Liverpool L69 7ZF U. K. Tel: + 44 151 794 6760 Email: P.J.McBurney@csc.liv.ac.uk Web page: www.csc.liv.ac.uk/~peter/ ****************************************************************