Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017)
25 August 2017, Stockholm (affiliated with CSL 2017)
Schedule
9.00 - 9.50 |
invited talk 1 |
9.50 - 10.40 |
2 talks |
10.40 - 11:00 |
coffee break |
11:00 - 12.40 |
4 talks |
12.40 - 14.10 |
lunch break |
14.10 - 15.00 |
invited talk 2 |
15.00 - 15.50 |
2 talks |
15.50 - 16:10 |
coffee break |
16:10 - 17.50 |
4 talks |
After workshop dinner:
please email Valentin Goranko by the 21st of August if you would like to join. The estimated cost of the dinner is about 500-600kr pp, including drinks.
Programme
- 09.00 - 09.50: invited talk 1: Wojtek Jamroga, How to Save Democracy
or
Towards Model Checking of E-Voting Protocols in Alternating-time
Temporal Logic
- 09:50 - 10.15: Sonja Smets and Fernando R. Velázquez-Quesada. A logical study of agents' distances in social network creations
- 10:15 - 10.40: Truls Pedersen and Marija Slavkovik. Formal Models of Social Influence and Conflict
- 10.40 - 11:00: coffee break
- 11:00 - 11.25: Wojtek Jamroga, Vadim Malvone and Aniello Murano. Natural Strategic Ability
- 11:25 - 11.50: Stephane Le Roux and Arno Pauly. Extending Finite Memory Determinacy to Multiplayer Games
- 11:50 - 12.15: Edvin Lundberg and Dilian Gurov. A Subset Construction for Epistemic Reasoning over Multi-Agent Games
- 12:15 - 12.40: Natasha Alechina, Mehdi Dastani and Brian Logan. Uniform Strategies under Bounded Resources
- 12.40 - 14.10: lunch break
- 14.10 - 15.00: invited talk 2: Hans van Ditmarsch, Asynchronous announcements
- 15:00 - 15.25: Ren-June Wang. Multi-agent timed Modal Epistemic Logic with Common Knowledge
- 15:25 - 15.50: Rustam Galimullin. Epistemic Quantification and Quantified Announcements
- 15.50 - 16:10: coffee break
- 16:10 - 16.35: Rasmus K. Rendsvig and Dominik Klein. Dynamical Multi-Agent Systems in Dynamic Epistemic Logic
- 16:35 - 17.00: Claes Strannegård. Interacting Agents in Artificial Ecosystems
- 17:00 - 17.25: Michael Kirsten and Almut Demel. Formal Fairness Properties in Network Routing Based on a Resource Allocation Model
- 17:25 - 17.50: Raine Rönnholm, Valentin Goranko and Antti Kuusisto. Coordination without communication
This file is maintained by Natasha Alechina
Last updated 23 August 2017