ICTAC: International Colloquium on Theoretical Aspects of Computing



Past:   Proceedings on DBLP

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


All CFPs on WikiCFP

Event When Where Deadline
ICTAC 2018 15th International Colloquium on Theoretical Aspects of Computing
Oct 16, 2018 - Oct 19, 2018 Stellenbosch, South Africa May 11, 2018 (May 4, 2018)
ICTAC 2017 International Colloquium on Theoretical Aspects of Computing
Oct 23, 2017 - Oct 27, 2017 Hanoi, Vietnam Apr 22, 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 : 2018


15th International Colloquium on Theoretical Aspects of Computing
ICTAC 2018
Stellenbosch, South Africa, 16-19 October 2018

* ICTAC tutorials, 12-14 October 2018
* ICTAC workshop(s), 15 October 2018
* 14th African Conference on Research in Computer Science and Applied
Mathematics / 14eme Colloque Africain sur la Recherche en Informatique
et en Mathematiques Appliquees, CARI 2018, 14-16 October 2018

* Abstracts 4 May 2018
* Papers 11 May 2018
* Notification 6 July 2018
* Camera-ready 3 August 2018


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 researchers and
practitioners from academia, industry and government to present
research and exchange ideas and experience addressing challenges in
both theoretical aspects of computing and the exploitation of theory
through methods and tools for system development. ICTAC also aims to
promote research cooperation between developing and industrial


The topics of the conference include, but are not limited to:

* Languages and automata
* Semantics of programming languages
* Logic in computer science
* Lambda calculus, type theory and category theory
* Domain-specific languages
* Theories of concurrency and mobility
* Theories of distributed, grid and cloud computing
* Models of objects and components
* Coordination models
* Models of software architectures
* Timed, hybrid, embedded and cyber-physical systems
* Static analysis
* Software verification
* Software testing
* Program generation and transformation
* Model checking and automated theorem proving
* Interactive theorem proving
* Verified software, formalized programming theory


We solicit full-length research papers reporting original research
contributions. Submissions must adhere to the LNCS format and must
not exceed 18 pages (excluding bibliography of maximum 2 pages).

Submissions must not have been published or be under consideration 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.

Submission is through Easychair: https://easychair.org/conferences/?conf=ictac2018

One author of each accepted paper must attend the conference to present
it, having paid the regular registration fee.


The proceedings will be published by Springer in the Lecture Notes in
Computer Science series.


Springer is sponsoring a best paper award.


After the conference, authors of the best contributions are invited to
submit a revised and extended version to a special issue, to be
published in Elsevier's Theoretical Computer Science.


Bernd Fischer (Stellenbosch University, ZA)


Bernd Fischer (Stellenbosch University, ZA)
Tarmo Uustalu (Reykjavik University, IS)


June Andronick (Data61, AU)
√Čric Badouel (IRISA, FR)
Eduardo Bonelli (Universidad Nacional de Quilmes, AR)
Ana Cavalcanti (University of York, UK)
Uli Fahrenberg (LIX, FR)
Anna Lisa Ferrara (University of Southampton, UK)
Adrian Francalanza (University of Malta, MT)
Edward Hermann Haeusler (Pontificia Universidade Catolica do Rio de Janeiro, BR)
Ross Horne (Nanyang Technological University, SG)
Dang Van Hung (VNU University of Engineering and Technology, VN)
Atsushi Igarashi (Kyoto University, JP)
Jan Kretinsky (Technische Universitaet Muenchen, DE)
Martin Leucker (Universitaet zu Luebeck, DE)
Zhiming Liu (Southwest University, CN)
Radu Mardare (Aalborg Universitet, DK)
Tobias Nipkow (Technische Universitaet Muenchen, DE)
Maciej Pirog (Wroclaw University, PL)
Sanjiva Prasad (IIT Delhi, IN)
Camilo Rueda (Pontificia Universidad Javeriana Cali, CO)
Murali Krishna Ramanathan (Uber, US)
Augusto Sampaio (Universidade Federal de Pernambuco, BR)
Ina Schaefer (Technische Universitaet Braunschweig, DE)
Natarajan Shankar (SRI International, US)
Georg Struth (University of Sheffield, UK)
Cong Tian (Xidian University, CN)
Lynette van Zijl (Stellenbosch University, ZA)


Ana Cavalcanti (University of York, UK)
Martin Leucker (Universitaet zu Luebeck, DE)
Zhiming Liu (Southwest University, CN)
Tobias Nipkow (Technische Universitaet Muenchen, DE)
Augusto Sampaio (Universidade Federal de Pernambuco, BR)
Natarajan Shankar (SRI International, US)


The conference will be hosted by the Division of Computer Science of
Stellenbosch University.

The city of Stellenbosch, founded 1685, is the second oldest European
settlement in South Africa after Cape Town. It is situated about 50 km
to the east of Cape Town. It is the place to admire Cape Dutch
architecture and the heart of the Cape Winelands, South Africa's prime
wine region. Stellenbosch University is one of the leading universities
in Africa.


Please contact Bernd Fischer, bfischer(at)cs.sun.ac.za.

Related Resources

CGDEIJ 2018   Computer Game Development and Education
BCTCS 2018   British Colloquium for Theoretical Computer Science
CAIJ 2018   Computer Applications: An International Journal
STACS 2018   Symposium on Theoretical Aspects of Computer Science
IJPLA 2018   International Journal of Programming Languages and Applications
CHI 2019   The ACM CHI Conference on Human Factors in Computing Systems
FACS 2018   15th International Conference on Formal Aspects of Component Software
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
APLAS 2018   16th Asian Symposium on Programming Languages and Systems
CSPA 2018   14th IEEE Colloquium on Signal Processing and its Applications (CSPA 2018)