SNR Program
| I0 | Saturday |
|---|
| 8:30 | Registration & Coffee | |
|---|---|---|
| 9:00 | Can We Change the Game? Reasoning about Dynamic Multi-Agent Systems | |
| 10:00 | Coffee Break | |
| 10:30 |
SNR Workshop Session 1 | |
| 12:00 | Lunch | |
| 13:30 | ||
| 14:30 | Coffee Break | |
| 15:00 | ||
| 16:00 | ||
Saturday
| 8:30 |
Registration & Coffee |
|---|---|
| 9:00 | |
| 10:00 |
Coffee Break |
| 10:30 |
SNR Workshop Session 1 Venkata Harshavardhan Chinta, Sven Schewe, Qiyi Tang, Shufang Zhu Filip Cano, Thomas A. Henzinger, Konstantin Kueffner Can Baskent, Andrew Lewis-Smith |
| 12:00 |
Lunch |
| 13:30 | |
| 14:30 |
Coffee Break |
| 15:00 | |
| 16:00 |
Caption
SNR