11th International Colloquium on Theoretical Aspects of Computing
17-19 September 2014, Bucharest, Romania

Program


Please note that the conference will be concentrated in three days (Day 1 - Day 3), 17-19 September 2014 (so, there are no activities on 20th of September 2014). Moreover, there are two affiliated events planned on 16th of September 2014 (Day 0): a workshop and a free tutorial by Jin-Song Dong.

The slides are provided in the list below after each title.

Day 0 - 16th of September 2014 affiliated events at Faculty of Mathematics and Computer Science, University of Bucharest - very close to the main conference venue (see directions)
09:00 - 17:00Workshop: Theory Day
17:00 - 19:00Tutorial by Jin-Song Dong: Pervasive Model Checking
Day 1 - 17th of September 2014
08:30 - 09:00Registration
09:00 - 09:45Opening of the conference including special guest Solomon Marcus (slides)
09:45 - 10:45Invited talk: Jin-Song Dong - Event Analytics
10:45 - 11:15Coffee break
11:15 - 12:45Chair: Cristian Calude
Gabriel Istrate and Mircea Marin. Learning cover context-free grammars from structural data (slides)
Stefano Aguzzoli, Denisa Diaconescu and Tommaso Flaminio. A logical descriptor for regular languages via Stone duality (slides)
Thomas Given-Wilson. Expressiveness via intensionality and concurrency (slides)
12:45 - 14:30Lunch break
14:30 - 16:00Chair: Jin Song Dong
Mauricio Toro-Bermudez, Anna Philippou, Christina Kassara and Spyros Sfendourakis. Synchronous parallel composition in a process calculus for ecological models (slides)
Hernan Ponce-De-Leon, Stefan Haar and Delphine Longuet. Distributed testing of concurrent systems: vector clocks to the rescue (slides)
Adilson Bonifacio and Arnaldo Moura. Partial models and weak equivalence (slides)
16:00 - 16:30Coffee break
16:30 - 18:00Chair: Lindsay Groves
Ugo Dal Lago and Sara Zuppiroli. Probabilistic recursion theory and implicit computational complexity (slides)
Paul Tarau. The arithmetic of recursively run-length compressed natural numbers (slides)
Marion Le Gonidec and Didier Caucal. Context-free sequences (slides)
18:30 - 20:00Welcome reception at Hotel Novotel (see directions)
Day 2 - 18th of September 2014
09:00 - 10:00Chair: Gabriel Ciobanu
Invited talk: Cristian Calude - Probabilistic solutions to undecidable problems (slides)
10:00 - 10:30Coffee break
10:30 - 13:00Chair: Dominique Mery
Liyi Li, Elsa Gunter and William Mansky. Symbolic analysis tools for CSP
Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat and Ivana Cerná. On Clock-aware LTL properties of timed automata (slides)
Pedro Ribeiro and Ana Cavalcanti. UTP Designs for binary multirelations (slides)
Bingtian Xue, Radu Mardare and Kim Guldstrand Larsen. A decidable recursive logic for weighted transition systems (slides)
Khushraj Madnani, Krishna S and Paritosh Pandya. On unary fragments of MTL and TPTL (slides)
13:00 - 14:30Lunch break
16:00 - 18:00Social event - Guided walking tour (starting at conference venue and ending at the restaurant for the conference dinner)
18:15 - 20:30Conference dinner at Restaurant "Terasa Doamnei" (see directions)
Day 3 - 19th of September 2014
09:00 - 10:00Chair: Florentin Ipate
Invited talk: Razvan Diaconescu - From universal logic to computer science, and back (slides)
10:00 - 10:30Coffee break
10:30 - 12:30Chair: Razvan Diaconescu
Carlos Gustavo Lopez Pombo, Pablo Castro, Nazareno Aguirre and Tom S.E. Maibaum. A heterogeneous characterisation of component-based system design in a categorical setting (slides)
Denisa Diaconescu, Luigia Petre, Kaisa Sere and Gheorghe Stefanescu. Refinement of structured interactive systems (slides)
Brijesh Dongol, John Derrick and Graeme Smith. Reasoning algebraically about refinement on TSO architectures (slides)
Uli Fahrenberg, Axel Legay and Louis-Marie Traonouez. Structural refinement for the modal nu-calculus
12:30 - 14:30Lunch break
14:30 - 16:00Chair: Anna Philippou
Manuel Geffken, Hannes Saffrich and Peter Thiemann. Precise interprocedural side-effect analysis (slides)
Benoit Delahaye, José Luiz Fiadeiro, Axel Legay and Antónia Lopes. Heterogeneous timed machines (slides)
Niels Bjørn Bugge Grathwohl, Fritz Henglein and Ulrik Terp Rasmussen. Optimally streaming greedy regular expression parsing (slides)
16:00 - 16:30Coffee break
16:30 - 18:30Chair: Alin Stefanescu
Benoît Valiron and Steve Zdancewic. Finite vector spaces as model of simply-typed lambda-calculi
Chiara Bodei, Pierpaolo Degano, Letterio Galletta and Francesco Salvatori. Linguistic mechanisms for context-aware security (slides)
Jinjiang Lei and Zongyan Qiu. Modular reasoning for message-passing programs (slides)
Luis Pino, Filippo Bonchi and Frank Valencia. A behavioral congruence for concurrent constraint programming with non-deterministic choice (slides)
18:30 - 19:00Closing the conference and details about ICTAC 2015