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

Speakers

 

TUTORIAL SPEAKERS

Wolfgang Thomas

Title: Logic and Automata

slides-1 slides-2 slides-3


Peter Grünwald

Title: Universal Prediction

slides-1 slides-2 slides-3

 

INVITED SPEAKERS

Lev Beklemishev

Title: Positive modal logic and its uses in the study of provability in arithmetic

slides


Alessandra Carbone

Title: Conservation and co-evolution : from sequence analysis to protein-protein interactions

slides


Maribel Fernandez

Title: Visual modelling of complex systems: Towards an abstract machine for PORGY

slides


Przemyslaw Prusinkiewicz

Title: Metric-Driven Grammars and Morphogenesis


Eva Tardos

Title: Games, Learning, and the Price of Anarchy

slides


Albert Visser

Title: Sequential Theories

slides