ICE-TCS Lectures Series - Francois Laroussinie - Extensions of alternating-time temporal logic

On Thursday the 4th of June Francois Laroussinie (University Paris Diderot, France) delivers an ICE-TCS seminar.

The talk, which is entitled Extensions of alternating-time temporal logic, will be held at 10:00 in room K5 at Reykjavik University (Kringlan 1). Note the nonstandard time!

The abstract for the talk is available here.