Algorithms for the web and for social networks (AWSN)
Software Verification and Interactive Theorem Proving (SVITP)
Regularization methods for high dimensional learning (RML)
2012 |
|
|
|
|
|
|
---|---|---|---|---|---|---|
|
|
|
|
|
|
|
08.00-09.00 | breakfast | |||||
09.00-11.00 | AWSN | SVITP | RML | AWSN | SVITP | |
11.00-11.30 | coffee break | |||||
11.30-13.30 | SVITP | RML | AWSN | SVITP | RML | |
13.30-15.00 | lunch | |||||
15.00-16.00 | RML | AWSN | SVITP | RML | AWSN | |
16.00-17.00 | RML | AWSN | SVITP | RML | SVITP | |
17.00-17.30 | tea break | |||||
17.30-18.30 | arrival | AWSN | SVITP | RML | AWSN | RML |
18.30-19.30 | AWSN | SVITP | RML | AWSN | departure |