Conference Information
ICTAC 2014 : International Colloquium on Theoretical Aspects of Computing
http://fmi.unibuc.ro/ictac2014/
Submission Date:
2014-03-16
Notification Date:
2014-05-30
Conference Date:
2014-09-17
Location:
Bucharest, Romania
Years:
11
Viewed: 2020   Tracked: 0   Attend: 0

Conference Location
Advertisment
Call For Papers
ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing aiming to bring 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. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.
Themes and Topics of Papers

ICTAC 2014 calls for regular research papers on theories of computation and programming, foundations of software engineering, and on formal techniques in software design and verification; short papers on recent work or proposals of challenges in new programming paradigms and papers about tools that support formal techniques for software modeling, system design and verification.
The topical areas of the conference include, but 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.

Submission and Publication

As for the past editions, proceedings of ICTAC 2014 will be published by Springer in the series Lecture Notes in Computer Science (LNCS) and will be available at the colloquium. A special issue of a journal with extended version of selected papers from ICTAC 2014 is under negotiation. 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, and relevance to the conference.

Submissions should not exceed 18 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details) and be written in English. Papers must be submitted at http://www.easychair.org/conferences/?conf=ictac2014. Any queries should be sent to the e-mail address ictac2014@fmi.unibuc.ro. 
Last updated by Dou Sun in 2014-01-25
Related Publications
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
2010792329.1%
20041113430.6%
Related Conferences
ShortFull NameSubmissionNotificationConference
ISITInternational Symposium on Information Theory2014-01-242014-03-302014-06-29
ADVCOMPInternational Conference on Advanced Engineering Computing and Applications in Sciences 2013-06-172013-09-29
HotParUSENIX Workshop on Hot Topics in Parallelism 2013-04-172013-06-24
I-SPANInternational Symposium on Pervasive Systems, Algorithms, and Networks2014-08-102014-09-202014-12-19
SPIREInternational Symposium on String Processing and Information Retrieval2014-05-052014-06-282014-10-07
ICCKEInternational eConference on Computer and Knowledge Engineering2013-07-282013-09-162013-10-31
SBBDBrazilian Symposium on Databases2014-06-072014-07-012014-10-06
FAWInternational Frontiers of Algorithmics Workshop 2013-04-032013-06-26
Hot InterconnectsSymposium on High-Performance Interconnects2014-04-282014-06-232014-08-19
SCCInternational Conference on Service Computing2014-02-162014-03-152014-06-27
Related Journals
Full NameImpact FactorPublisherISSN
Theoretical Computer Science0.838ELSEVIER0304-3975
IEEE Transactions on Services Computing IEEE1939-1374
Electronic Notes in Theoretical Computer Science ELSEVIER1571-0661
International Journal of Control Theory and Computer Modeling AIRCC2319-4138
Cluster Computing2.773Springer1386-7857
International Journal on Web Service Computing AIRCC2230-7702
IEEE Transactions on Cloud Computing IEEE2168-7161
Journal of Cloud Computing Springer2192-113X
Applied Mathematics and Computation1.349ELSEVIER0096-3003
Communications in Mobile Computing Springer2192-1121
Advertisment
Comments
comments powered by Disqus