CALL FOR PARTICIPATION -- ICTAC 2014

11th International Colloquium on Theoretical Aspects of Computing 17-20 September 2014, Bucharest, Romania http://fmi.unibuc.ro/ictac2014 **********************************************************************

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing aiming to bring together practitioners and researchers from academia and industry to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. In 2014, ICTAC colloquium will be held in Romania, a nice place to visit which also has a strong research community in theoretical computer science.

INVITED TALKS: **************

* Jin-Song Dong (National University of Singapore) Event Analytics: The PAT Approach

* Cristian Calude (University of Auckland, New Zealand) Probabilistic Solutions to Undecidable Problems

* Razvan Diaconescu (Institute of Mathematics, Romanian Academy) From Universal Logic to Computer Science, and Back

******************************************************************

Preliminary Program: http://fmi.unibuc.ro/ictac2014/program.html

******************************************************************

On 16th September, 2014:

- Free Tutorial by Jin-Song Dong (NUS): "Pervasive Model Checking"

- Workshop "Theory Day in Computer Science" http://apaun0.wix.com/theoryday

VENUE & REGISTRATION: *********************

Central University Library of Bucharest, "King Carol I" Hall. http://fmi.unibuc.ro/ictac2014/venue.html

Registration on line through http://fmi.unibuc.ro/ictac2014/registration.html

See You in Bucharest, at ICTAC 2014!