Wednesday 22 July


9:00-9:50


Respecting Safety and Liveness Properties of Concurrent Systems

Van Glabbeek, Invited speaker


9:50-10:40


Information Geometry and Algebraic Statistics on a finite state space

Giovanni Pistone, Invited Speaker

Coffee Break

11:00-11:50


Multidimensional Persistence and Noise


Martina Scolamiero, Invited Speaker


11:50-12:25


Geometric Entropy Revealing Complex Network structures

Domenico Felice, TOPDRIM Speaker

12:25-13:00


Open Discussion

Lunch

15:00-15:30


Graphical homology

Reza Rezazadegan, TOPDRIM Speaker

15:30-16:00


A new Stochastic context-free grammar for topological RNA structures

Fenix Huang, TOPDRIM Speaker
Coffee Break

16:15-16:45


Boons and banes of topological tools: too much or too little information?

Giovanni Petri, TOPDRIM Speaker

16:45-17:15


Topological characterization of complex systems

Matteo Rucco, TOPDRIM Speaker

17:15-17:45


Adaptability checking in complex systems

Luca Tesei, TOPDRIM Speaker

17:45
Closing

Social Events
Wednesday 22nd at 20:00 - Social Dinner at Villa Fornari


Topdrim European Association for Theoretical Computer Science


Sponsored by:


FP7 Logo EU Flag FET Logo