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
6/03
7/03
8/03
9/03
10/03
11/03
12/03
13/03
14/03
15/03
16/03
17/03
18/03
Sun
Mon
Tue
Wed
Thu
Fri
Sat
Sun
Mon
Tue
Wed
Thu
Fri
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