Paphos / Southampton / Barcelona / Tallinn / Warsaw / Budapest / Oxford / Berlin / Cambridge / Amsterdam / Vienna / Calgary / Lisbon / London / /
Company
Czech Republic Abstract Solutions / Concurrent Timed Systems / /
Country
Cyprus / Czech Republic / / /
Facility
Czech Technical University of Prague / /
IndustryTerm
state-based dynamical systems / transition systems / dynamical systems / control systems / algebraic systems / /
Organization
Organising Committee / Institut f¨ / Programme Committee of CMCS’10 / Czech Technical University / Ministry of Education / Germany Faculty of Electrical Engineering / /
Person
A. Silva Editors / Calvin Elgot / Stefan Miliusa Ji / James Worrell / Marina Lenisa (Udine) / Bart Jacobs / Jos van der Werf / Alexandra Silva / Dusko Pavlovic / Milad Niqui / John Power (Edinburgh) / Hiroshi Watanabe (Osaka) / Bruno Courcelle / Andrea Corradini (Pisa) / Vincenzo Ciancia / Lutz Schroeder (Bremen) / Stefan Milius (Braunschweig) / Larry Moss (Bloomington) / Neil Ghani (Glasgow) / Furio Honsell / Luis Barbosa (Braga) / Robin Cockett / Alexander Kurz (Leicester) / Davide Sangiorgi / Peter Aczel / Jan Rutten / Ichiro Hasuo Categorifying / Horst Reichel (Dresden) / Alexander Kurz / Adriana Balan / Dirk Pattinson / Hendrik Tews (Nijmegen) / Ugo Montanari / Clemens Kupke / Alexandra Silva Centrum Wiskunde / Marcello Bonsangue / Tarmo Uustalu / Stefan Milius / Peter Gumm (Marburg) / Grigore Rosu / Ana Sokolova / Baltasar Tranco / Michael Hauhs / Jan Rutten Centrum Wiskunde / Milad Niqui Centrum Wiskunde / / /