Logic List Mailing Archive

Dec 16-17, 2002: Logic in Games and Multiagent Systems (Liverpool)

- December 16 & 17, 2002; Logic in Games and Multiagent Systems,

Symposium on   Logic in Games and Multiagent Systems, Liverpool; CALL FOR
REGISTRATION !!

LOGIC in GAMES and MULTIAGENT SYSTEMS 

 Call for Registration;  Deadline: November 16 

 http://www.csc.liv.ac.uk/~pauly/logamas.html 

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 
- 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 
- 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