Speaker: Valentin Goranko
Title: Logics for multi-agent systems
Date:
Location: Science Park 904, Amsterdam
Times and rooms of the three lectures:
- Friday 12 October: 15-17h, room B0.203
- Monday 15 October: 15-17h, room B0.206
- Thursday 18 October: 13:30-15:30, room B0.206
For an outline of each lecture of the course, see http://sites.google.com/site/logicicproject/logicic-seminar
Please note that Valentin Goranko will also give a talk (separate from this tutorial) within the joint LogiCIC/LIRa seminar session on Wednesday, October 17th.