Theoretical Aspects of Computing
Gabriel Ciobanu · Scientific Annals of Computer Science · 2014
The International Colloquium on Theoretical Aspects of Computing was founded in 2004.In 2014, the 11th International Colloquium on Theoretical Aspects of Computing was for the first time organized in Europe, namely in Bucharest, Romania.Since its early days, the study of computer science in Romania has had a strong theoretical component, owing in part to the mathematical orientation of some of its most notable pioneers, such as Grigore Moisil.In modern times, this legacy is carried on by some strong research institutions, such as Romanian Academy and main universities in Iaşi, Bucharest and Timişoara.The 11th International Colloquium on Theoretical Aspects of Computing (ICTAC) aimed to bring together practitioners and researchers from academia, industry and government, with the purpose of encouraging the presentation of novel research directions, through the exchange of both ideas and experience, related to current theoretical challenges in computing, as well as practical applications of existing theoretical results.ICTAC 2014 welcomed submissions from the following areas: automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and code; static and dynamic program analysis and verification; software specification, refinement, verification and testing; model checking and theorem proving; models of object and component systems; coordination and feature interaction; integration of theories, formal methods and tools for engineering computing systems; service-oriented architectures: models and development methods; models of