SR PROGRAM
Days: Saturday, July 7th Sunday, July 8th
Saturday, July 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 23M: SR Invited tutorial: Edith Elkind
Chair:
Location: Maths Seminar C3
09:00 | Strategic behavior in social choice - Part 1 (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 26N: SR Invited tutorial: Edith Elkind
Chair:
Location: Maths Seminar C3
11:00 | Strategic behavior in social choice - Part 2 (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 28L: Determinacy, compositionality
Chair:
Location: Maths Seminar C3
14:00 | Compositional Game Theory (abstract) |
14:40 | Concurrent games and semi-random determinacy (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 31P: Multiple-player games
Chair:
Location: Maths Seminar C3
16:00 | Verification of Multi-agent Systems with Imperfect Information and Public Actions (abstract) |
16:40 | Local Equilibria in Logic-Based Multi-Player Games (abstract) |
17:20 | Beyond admissibility: Dominance between chains of strategies (abstract) |
19:45-22:00 Workshops dinner at Balliol College
Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).
Location: Balliol College
Sunday, July 8th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 34M: SR Invited tutorial: Marcin Jurdziński
Chair:
Location: Maths Seminar C3
09:00 | Parity Games - Part 1 (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 38P: SR Invited tutorial: Marcin Jurdziński
Chair:
Location: Maths Seminar C3
11:00 | Parity Games - Part 2 (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 40Q: Two-player games
Chair:
Location: Maths Seminar C3
14:00 | Infinite-Duration Richman Bidding Games (abstract) |
14:40 | Solving Parity Games: Explicit vs Symbolic (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 42Q: Strategy Logic
Chair:
Location: Maths Seminar C3
16:00 | Quantifying Bounds in Strategy Logic (abstract) |
16:40 | Strategy Logic with Imperfect Information (abstract) |
17:20 | Dependences in Strategy Logic (abstract) |