Computational Aspects of Game Theory (CAGT)
Trust in Anonymity Networks (TAN)
Information Integration (II)
Model Checking: From Finite-state to Infinite-state Systems (MCFIS)
2011 |
|
|
|
|
|
|
|
|
|
|
|
|
|
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
08.00-09.00 | breakfast | ||||||||||||
09.00-11.00 | CAGT | TAN | CAGT | TAN | CAGT | II | MCFIS | II | MCFIS | II | |||
11.00-11.30 | coffee break | coffee break | |||||||||||
11.30-13.30 | TAN | CAGT | TAN | CAGT | TAN | MCFIS | II | MCFIS | II | MCFIS | |||
13.30-15.00 | lunch | ||||||||||||
15.00-16.00 | CAGT | TAN | CAGT | TAN | CAGT | II | MCFIS | II | MCFIS | II | |||
16.00-17.00 | TAN | CAGT | TAN | CAGT | TAN | MCFIS | II | MCFIS | II | MCFIS | |||
17.00-17.30 | arrive | tea break | tea break | depart | |||||||||
17.30-18.30 | recitation | recitation |