[logic-ml] Call for Participation, ICTAC 2014, 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!