Conference Information
ICTAC 2015 : International Colloquium on Theoretical Aspects of Computing
Submission Date:
Notification Date:
Conference Date:
Cali, Colombia
QUALIS: b3   Viewed: 2738   Tracked: 0   Attend: 0

Conference Location
Call For Papers
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.
Last updated by Dou Sun in 2015-02-01
Related Publications
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1ISITInternational Symposium on Information Theory2015-01-242015-03-312015-06-14
cb3UBICOMMInternational Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies 2013-06-172013-09-29
cb2ISPDCInternational Symposium on Parallel and Distributed Computing2015-02-222015-03-152015-06-29
bb1I-SPANInternational Symposium on Pervasive Systems, Algorithms, and Networks2014-09-302014-10-302014-12-19
bb1SOFSEMInternational Conference on Current Trends in Theory and Practice of Computer Science2014-08-012014-09-222015-01-24
ITC'International Teletraffic Congress2015-03-152015-05-292015-09-08
3DVInternational Conference on 3D Vision2015-05-292015-08-082015-10-19
MobiSPCInternational Conference on Mobile Systems and Pervasive Computing  2015-08-17
SIPPInternational Conference on Signal, Image Processing and Pattern Recognition2013-11-252013-12-252014-02-21
bb2DLTInternational Conference on Developments in Language Theory2015-03-232015-04-272015-07-27
Related Journals
comments powered by Disqus