CLIMA XII 2011:
Logics for Games and Social Choice
: Applications of Logic in Social Choice Theory - (Invited Talk).
Tiago De Lima
: Alternating-Time Temporal Announcement Logic.
, Dmitry Shkatov
: Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information.
Norms and Normative Multi-agent Systems
: Probabilistic Action and Deontic Logic - (Invited Talk).