2nd EATCS YOUNG RESEARCHERS SCHOOL & 
SCHOOL
Understanding COMPLEXITY and CONCURRENCY through TOPOLOGY of DATA
Camerino, Italy - July 13-22, 2015
| I Week | |||||
| Monday 13 July |
Tuesday 14 July | Wednesday 15 July | Thursday 16 July | Friday 17 July | |
| 9:00-9:45 |
Algebraic and Computational Topology for Data Analytics |
Topology and Geometry of Data Analysis |
Advanced Applied Topology |
Introduction to Process Algebras and SOS |
Behavioural Equivalences |
| 10:00-10:45 |
Information Geometry |
||||
| Coffee Break | |||||
|
11:15-12:00
|
Topology and Geometry of Data Analysis |
Categorial Underpinning of Computation |
Coinduction for Automata |
Categorial Underpinning of Computation |
Categorial Underpinning of Computation |
|
12:15-13:00
|
|||||
| Lunch | |||||
| 15:00-15:45 |
Formal Languages and Equivalences |
Formal Languages and Equivalences |
Behavioural modelling |
Behavioural Types |
From automata theory to process theory |
| 16:00-16:45 |
Detecting Causality in Event Data: a Coalgebraic Model |
HDA and CHU space |
turist tour |
||
| 17:00-19:00 | Free Lab | Free Lab | Free Lab | Free Lab | Free Lab |
| II Week | ||
| Monday 20 July |
Tuesday 21 July | |
| 9:00-9:45 | ||
| 10:00-10:45 |
Information Processing during Tipping Point |
|
| Coffee Break | ||
| 11:15-12:00 |
HDA and Other Models of Concurrency |
Behavioral Equivalences and Preorders |
| 12:15-13:00 |
A Topological view of behavioural equivalences |
|
| Lunch | ||
| 15:00-15:45 |
Information Processing during Tipping Point |
Poster Session 10 minutes talk |
| 16:00-16:45 | ||
| 17:00-19:00 | Free Lab | Free Lab |
Topics T1-5: Fundamentals A1-5 Advanced
Social Events Monday 13th at 19:00 - Welcome Party at Palazzo Battibocca Terrace (SI-VILLAFORNARI) From Tuesday to Friday 14th - 17th at 19:00 - Wine/beer PARTY at Battibocca Terrace Saturday 18th at 20:00 - Social Dinner at Borgo Lanciano Social Dinner at Rocca del Borgia Monday 20th at 19:00 - Wine Party at Etoile Wednesday 22th at 8:00 - Social Dinner at Villa Fornari
Sponsored by:
