ICTAC: International Colloquium on Theoretical Aspects of Computing

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ICTAC 2017 International Colloquium on Theoretical Aspects of Computing
Oct 23, 2017 - Oct 27, 2017 Hanoi, Vietnam Apr 12, 2017
ICTAC 2016 13th International Colloquium on Theoretical Aspects of Computing
Oct 24, 2016 - Oct 31, 2016 Taipei, Taiwan, ROC May 1, 2016 (Apr 23, 2016)
ICTAC 2015 12th International Colloquium on Theoretical Aspects of Computing
Oct 29, 2015 - Oct 31, 2015 Cali, Colombia Jun 19, 2015 (Jun 16, 2015)
ICTAC 2014 11th International Colloquium on Theoretical Aspects of Computing
Sep 17, 2014 - Sep 20, 2014 Bucharest, Romania Mar 23, 2014 (Mar 16, 2014)
ICTAC 2013 10th International Colloquium on Theoretical Aspects of Computing
Sep 4, 2013 - Sep 6, 2013 Shanghai, China Mar 8, 2013
ICTAC 2010 7th International Colloquium on Theoretical Aspects of Computing
Sep 1, 2010 - Sep 3, 2010 Natal, Brazil Mar 8, 2010
ICTAC 2009 6th International Colloquium on Theoretical Aspects of Computing
Aug 16, 2009 - Aug 20, 2009 University Kebangsaan Malaysia Apr 10, 2009 (Apr 6, 2009)
 
 

Present CFP : 2017



FIRST CALL FOR PAPERS – ICTAC 2017

14th International Colloquium on Theoretical Aspects of Computing
23-27 October 2017, Hanoi, Vietnam
=====================

ICTAC 2017 will be held in the Department of Software Engineering, University of Engineering and Technology, Vietnam National University (VNU-UET), Hanoi, Vietnam, during 23–27 October, 2017.

Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), 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. The proceedings of the ICTAC conference series are published by Springer in the LNCS series.

THEMES AND TOPICS OF PAPERS

ICTAC 2017 will have a technical program for five days including two days for tutorials and three days for a conference.

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 system modeling, 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;
* Theory of distributed, grid and cloud computing;
* Software architectures and their models, refinement and verification;
* Models of concurrency, security, and mobility;
* Real-time, embedded, hybrid and cyber-physical systems;
* Program static and dynamic analysis and verification;
* Software specification, refinement, verification and testing;
* Logics and their applications;
* Automated and Interactive Theorem Proving; SAT and SMT solving;
* Model checking;
* Coordination and feature interaction;
* Service-oriented architectures: models and development methods;
* Domain-specific modeling and technology: examples, frameworks and experience.
* Case studies, theories, tools and experiments of verified systems.

SUBMISSION AND PUBLICATION

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

Submissions to the conference 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 workshop.

Submissions should adhere to the LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Regular papers should not exceed 18 pages. Short and tool papers should not exceed 10 pages.

The proceedings will be published by Springer in the Lecture Notes in Computer Science series (www.springeronline.com/lncs) by Springer-Verlag.

SUBMISSION LINK

https://easychair.org/conferences/?conf=ictac2017

IMPORTANT DATES

April 12, 2017: Paper submission deadline
June 8, 2017: Paper acceptance/rejection notification
July 12, 2017: Camera-ready copy deadline
October 23-27, 2017: Main conference & Tutorials

INVITED SPEAKERS

* Joose-Pieter Katoen, RWTH Aachen University, Germany,
http://www-i2.informatik.rwth-aachen.de/~katoen/

* June Andronick, UNSW, Australia,
http://ssrg.nicta.com.au/people/?cn=June+Andronick

* TBA

STEERING COMMITTEE

Ana Cavalcanti, University of York (UK)
John Fitzgerald, Newcastle University (UK)
Martin Leucker, University of Luebeck (DE)
Zhiming Liu, Birmingham City University (UK)
Tobias Nipkow, Technical University Munich (DE)
Augusto Sampaio, Federal University of Pernambuco (BR)
Natarajan Shankar, SRI International (US)

GENERAL CHAIR

Viet-Ha Nguyen, Rector of VNU-UET

PROGRAM CO-CHAIRS

Dang Van Hung (VNU-UET)
Deepak Kapur (University of New Mexico)

PROGRAM COMMITTEE

Bernhard K. Aichernig (Austria)
Farhad Arbab (Hollands)
Ana Cavalcanti (UK)
Wei-Ngan Chin (Singapore)
Hung Dang-Van (Vietnam, Co-chair)
Martin Fränzle (Germany)
Marcelo Frias (Argentina)
Dimitar P Guelev (Bulgaria)
Deepak Kapur (US, Co-chair)
Kim Guldstrand Larsen (Denmark)
Martin Leucker (Germany)
Xuandong Li (China)
Xiaoshan Li (Macao)
Zhiming Liu (UK)
Dominique Mery (France)
Mohammadreza Mousavi (Sweden)
Thanh-Binh Nguyen (Vietnam)
Mizuhito Ogawa (Japan)
AugJose Oliveira (Portugal)
Catuscia Palamidessi (France)
Minh-Dung Phan (Thailand)
Sanjiva Prasad (India)
Thanh-Tho Quan (Vietnam)
António Ravara (Portugal)
Augusto Sampaio (Brasil)
Emil Sekerinski (Canada)
Hiroyuki Seki (Japan)
Deepak D’Souza (India)
Hoang Truong-Anh (Vietnam)
Kazunori Ueda (Japan)
Farn Wang (Taiwan)
Jim Woodcock (UK)
Hsu-Chun Yen (Taiwan)
Naijun Zhan (China)
Huibiao Zhu (China)
Abdullah Mohd Zin (Malaysia)

ORGANIZING COMMITTEE

Pham Bao Son (Co-chair)
Ngoc-Hung Pham (Co-chair)
Truong Anh Hoang
Vo Dinh Hieu
To Van Khanh
Dang Duc Hanh
Vu Dieu Huong
 

Related Resources

ICTAC 2016   13th International Colloquium on Theoretical Aspects of Computing
STACS 2017   34th International Symposium on Theoretical Aspects of Computer Science
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
Computation SI 2017   Special Issue in Computational Aspects Related to Unconventional, Bioinspired and Quantum Methods
UbiComp 2017   2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing
CSPA 2017   2017 IEEE 13th International Colloquium on Signal Processing & Its Applications
LACL 2016   Logical Aspects of Computational Linguistics
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ParCo 2017   Parallel Computing Conference
PACT 2017   International Conference on Parallel Architectures and Compilation Techniques