TITLE: Strategies in multi-agent systems

SPEAKER: Sujata Ghosh

ABSTRACT: In this talk, we focus on various logical frameworks 
talking about strategies explicitly within the language, viz. 
alternating-time temporal logic, coalition logic, game logic, 
propositional dynamic logic and others. We 
try to present a coherent story about the expressiveness of 
these logics. Then we discuss about possible 
inroads that can be made in the direction of future research in this area.