posted by user: ndisp || 8744 views || tracked by 14 users: [display]

ICTAC 2015 : 12th International Colloquium on Theoretical Aspects of Computing

FacebookTwitterLinkedInGoogle


Conference Series : International Colloquium on Theoretical Aspects of Computing
 
Link: http://www.ictac2015.co/
 
When Oct 29, 2015 - Oct 31, 2015
Where Cali, Colombia
Abstract Registration Due Jun 1, 2015
Submission Deadline Jun 5, 2015
Notification Due Jul 20, 2015
Final Version Due Aug 3, 2015
Categories    theoretical computer science   programming languages   formal methods   software engineering
 

Call For Papers

*** Extended Deadlines: Abstract submission: June 16. Paper submission: June 19. ***

The 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015) will take place in Cali (Colombia), on October 29-31, 2015. It will be organized at the Pontificia Universidad Javeriana Cali.

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government 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.

ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

In 2015, ICTAC will be preceded by a summer school (October 25-27) and workshops (October 28).
Organizing Institutions:

Pontificia Universidad Javeriana Cali
Universidad del Valle

Supporting Institutions:

CNRS (France)
INRIA Saclay (France)
LIX - Ecole Polytechnique (France)
University of Groningen (The Netherlands)
University of Oxford - Computer Science Department (UK)

Sponsors:

Microsoft Research
Sociedad Colombiana de Computación / Colombian Computer Society
Centro Latinoamericano de Estudios en Informática (CLEI)



Themes and Topics of Papers

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for software modeling, system design and verification.

The topical areas of the conference include, but are not limited to

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;
Program static and dynamic 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 concurrency, security, and mobility;
Theory of distributed, grid and cloud computing;
Real-time, embedded, hybrid and cyber-physical systems;
Type and category theory in computer science;
Models for learning and education;
Case studies, theories, tools and experiments of verified systems;
Domain-specific modeling and technology: examples, frameworks and experience.
Challenges and foundations in the environmental modeling and monitoring, healthcare, and disaster management.

Paper Categories and Format

We call for submissions, related to the above areas and topics, according to the following three categories:

Regular papers, with original research contributions;
Short papers, on recent work or proposals of emerging challenges;
Tool papers, on tools that support formal techniques for software modeling, system design and verification.

Submissions should adhere to the LNCS format. Regular papers should not exceed 18 pages. Short and tool papers should not exceed 10 pages.

Submissions to the colloquium must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, as well as their relevance to the conference.
Submission Link

Papers must be submitted using EasyChair.
Proceedings

As in previous editions of ICTAC, the proceedings of ICTAC 2015 will be published by Springer in the series Lecture Notes in Computer Science (LNCS).
Special Issue

Extended versions of selected papers from ICTAC 2015 will be invited to a special issue of Mathematical Structures in Computer Science.
Further Information

Any queries should be sent to the programme chairs.

Related Resources

ICTAC 2024   International Colloquium on Theoretical Aspects of Computing
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
STACS 2024   Symposium on Theoretical Aspects of Computer Science
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
ICBICC 2024   2024 International Conference on Big Data, IoT, and Cloud Computing (ICBICC 2024)
COMSCI 2024   3rd International Conference on Computer Science and Information Technology