URL: cie2014.inf.elte.hu/?Programme___Thursday_June_26

Thursday June 26

Home

9:00-10.00

Tutorial

Peter Gr├╝nwald

Universal Prediction

10.00-10.30 Coffee break
10.30-11.30

Invited talk

Maribel Fernandez

Visual modelling of complex systems: Towards and abstract machine for PORGY

11.30-13.00 Lunch
13.00-16.00 Sightseeing tour or free time
16.00-17.00

Invited talk

Lev Beklemishev

Positive modal logic and its use in the study of provability in arithmetic

17.00-18.00

Invited talk

Przemyslaw Prusinkiewicz

Metric-Driven Grammars and Morphogenesis

18.00-19.00 Association General Meeting