[TYPES/announce] ICTAC 2014 / Call for Participation, 16-19 Sept, Bucharest

[Gabriel Ciobanu]

               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!