Home

ICTAC 2017 – CALL FOR PARTICIPATION

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.

ICTAC 2017 PROGRAMME

The programme of ICTAC 2017 contains three keynote talks, four tutorials and 17 regular paper presentations, and is available in the conference website at http://fit.uet.vnu.edu.vn/ictac2017/programme/.

The proceedings of ICTAC 2017 will be published as the volume 10580 in the Springer LNCS series. Online access to the proceedings is now available at https://link.springer.com/book/10.1007/978-3-319-67729-3

lncs

The tutorials will take place at the main campus of the Vietnam National University, 144 Xuan Thuy, Cau Giay, Hanoi. The main conference will take place at the historical building of the Vietnam National University, located in the City Center, 19 Le Thanh Tong, Hanoi.

REGISTRATION

Registration is now open for ICTAC 2017. The early registration deadline is 31 August 2017.  For more information, including a link to the registration site, please visit the conference website
http://fit.uet.vnu.edu.vn/ictac2017/

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

* K. Rustan M. Leino, Amazon Web Services, USA
http://research.microsoft.com/en-us/um/people/leino/

TUTORIALS

There will be four tutorial lectures given by:

* 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

* K. Rustan M. Leino, Amazon Web Services, USA
http://research.microsoft.com/en-us/um/people/leino/

* Zhiming Liu, Southwest University, China
http://computer.swu.edu.cn/zhimingliu

CONTACTS

Ngoc-Hung Pham
Department of Software Engineering
Faculty of Information Technology
University of Engineering and Technology, VNU Hanoi
321-E3, 144 Xuan Thuy, Cau Giay, Hanoi, Vietnam
Email: hungpn@vnu.edu.vn
Tel: +84 24 37549016