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 |
|