[ecoop-info] CfP: ICTAC'2027 Vietnam

Martin Leucker leucker at isp.uni-luebeck.de
Mon Mar 13 08:54:21 CET 2017


Please accept our apology if you receive multiple copy of this message!

A GENTLE REMINDER: ICTAC 2017 submission deadline is one month from now!


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
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.


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
* Case studies, theories, tools and experiments of verified systems.


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.




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


* Joose-Pieter Katoen, RWTH Aachen University, Germany,

* June Andronick, UNSW, Australia,

* Rustan M. Leino, Microsoft Research, Redmond, USA


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)


Viet-Ha Nguyen, Rector of VNU-UET


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


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 (Brazil)
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)


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

| Martin Leucker                                                       |
| Institute for Software Engineering and Programming Languages         |
| University of Luebeck                                                |
| Germany                                                              |
| NEW NUMBER:                   | Email: leucker at isp.uni-luebeck.de    |
| Tel.: +49/451/3101 6500       | Web:   http://www.isp.uni-luebeck.de |

More information about the ecoop-info mailing list