<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">=============================</div>
<div class=""><br class="">
</div>
<div class="">ICTAC 2020</div>
<div class=""><br class="">
</div>
<div class="">Call for (Virtual) Participation</div>
<div class=""><br class="">
</div>
<div class="">17th International Colloquium on</div>
<div class="">Theoretical  Aspects of Computing</div>
<div class=""><br class="">
</div>
<div class="">Macau, S.A.R. China, 30 Nov - 4 Dec, 2020</div>
<div class=""><br class="">
</div>
<div class=""><a href="https://ictac2020.github.io/" class="">https://ictac2020.github.io/</a></div>
<div class=""><br class="">
</div>
<div class="">=============================</div>
<div class=""><br class="">
</div>
<div class="">
<div class="">The ICTAC 2020 conference will be organised *virtually* by live</div>
<div class="">presentations using Zoom. </div>
<div class=""><br class="">
</div>
<div class="">Keynotes: <a href="https://ictac2020.github.io/keynotes/" class="">
https://ictac2020.github.io/keynotes/</a> </div>
<div class="">List of accepted papers: <a href="https://ictac2020.github.io/accepted/" class="">
https://ictac2020.github.io/accepted/</a>  </div>
<div class=""><br class="">
</div>
<div class="">Participation is *free* but registration</div>
<div class="">(<a href="https://ictac2020.github.io/registration/" class="">https://ictac2020.github.io/registration/</a>) is required in order to</div>
<div class="">receive the information for the virtual conference.</div>
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">****** ABOUT ICTAC 2020 ******</div>
<div class=""><br class="">
</div>
<div class="">The aim of the colloquium is to bring together practitioners and</div>
<div class="">researchers from academia, industry and government to present research</div>
<div class="">results, and exchange experience, ideas, and solutions for their</div>
<div class="">problems in theoretical aspects of computing.  ICTAC also aims to</div>
<div class="">promote research cooperation between developing and industrial</div>
<div class="">countries. </div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">****** OBJECTIVES and SCOPE ******</div>
<div class=""><br class="">
</div>
<div class="">Established in 2004 by the International Institute for Software</div>
<div class="">Technology of the United Nations University (UNU-IIST, currently known</div>
<div class="">as the United Nations University Institute in Macau), the ICTAC</div>
<div class="">conference series aims at bringing together researchers and</div>
<div class="">practitioners from academia, industry and government to present</div>
<div class="">research and exchange ideas and experience addressing challenges in</div>
<div class="">both theoretical aspects of computing and the exploitation of theory</div>
<div class="">through methods and tools for system development. ICTAC also aims to</div>
<div class="">promote research cooperation between developing and industrial</div>
<div class="">countries.</div>
<div class=""><br class="">
</div>
<div class="">The topics of the conference include, but are not limited to:</div>
<div class=""><br class="">
</div>
<div class="">- Languages and automata</div>
<div class="">- Semantics of programming languages</div>
<div class="">- Logic in computer science</div>
<div class="">- Lambda calculus, type theory and category theory</div>
<div class="">- Domain-specific languages</div>
<div class="">- Theories of concurrency and mobility</div>
<div class="">- Theories of distributed, grid and cloud computing</div>
<div class="">- Models of objects and components</div>
<div class="">- Coordination models Models of software architectures</div>
<div class="">- Timed, hybrid, embedded and cyber-physical systems</div>
<div class="">- Static analysis</div>
<div class="">- Software verification</div>
<div class="">- Software testing</div>
<div class="">- Program generation and transformation</div>
<div class="">- Model checking and automated theorem proving</div>
<div class="">- Interactive theorem proving</div>
<div class="">- Verified software, formalized programming theory</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">*** Program Committee Chairs ***</div>
<div class="">Violet Ka I Pun (Western Norway University of Applied Sciences, NO)</div>
<div class="">Adenilso da Silva Simão (University of São Paulo, BR)</div>
<div class="">Volker Stolz (Western Norway University of Applied Sciences, NO)</div>
<div class=""><br class="">
</div>
<div class="">*** Program Committee ***</div>
<div class="">Erika Ábrahám (RWTH Aachen University, DE)</div>
<div class="">Kamel Barkaoui (CNAM, FR)</div>
<div class="">Frédéric Blanqui (INRIA, FR)</div>
<div class="">Simon Bliudze (INRIA, FR)</div>
<div class="">Benedikt Bollig (LSV, ENS Cachan, CNRS, FR)</div>
<div class="">Eduardo Bonelli (Stevens Institute of Technology, US)</div>
<div class="">Ana Cavalcanti (University of York, UK)</div>
<div class="">Antonio Cerone (Nazarbayev University, KZ)</div>
<div class="">Yu-Fang Chen (National Taiwan University, TW)</div>
<div class="">Uli Fahrenberg (LIX, FR)</div>
<div class="">Bernd Fischer (Stellenbosch University, ZA)</div>
<div class="">Paola Giannini (Università del Piemonte Orientale, Alessandria, IT)</div>
<div class="">Edward Hermann Haeusler (Pontifícia Universidade Católica do Rio de Janeiro, BR)</div>
<div class="">Thomas Troels Hildebrandt (University of Copenhagen, DK)</div>
<div class="">Ross Horne (University of Luxembourg, LU)</div>
<div class="">Reiner Hähnle (Technische Universität Darmstadt, DE)</div>
<div class="">Eun-Young Kang (University of Southern Denmark, DK)</div>
<div class="">Jan Křetínský (Technische Universität München, DE)</div>
<div class="">Lars Michael Kristensen (Western Norway University of Applied Sciences, NO)</div>
<div class="">Martin Leucker (University of Lübeck, DE)</div>
<div class="">Michael Lienhardt (ONERA, FR; University of Turin, IT)</div>
<div class="">Dominique Méry (LORIA, FR)</div>
<div class="">Mohammad Reza Mousavi (University of Leicester, UK)</div>
<div class="">Maciej Piróg (Wroclaw University, PL)</div>
<div class="">Sanjiva Prasad (IIT Delhi, IN)</div>
<div class="">Riadh Robbana (INSAT, TN)</div>
<div class="">Kristin Yvonne Rozier (Iowa State University, US)</div>
<div class="">Augusto Sampaio (Universidade Federal de Pernambuco, BR)</div>
<div class="">César Sánchez (IMDEA Software Institute, ES)</div>
<div class="">Marjan Sirjani (Mälardalen University, SE; Reykjavik University, IS)</div>
<div class="">Georg Struth (University of Sheffield, UK)</div>
<div class="">Jing Sun (University of Auckland, NZ)</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">--<br class="">
Violet Ka I Pun</div>
<div class=""><a href="http://foldr.org/~violet/" class="">http://foldr.org/~violet/</a><br class="">
<br class="">
</div>
</div>
</div>
<br class="">
</div>
</div>
</div>
</body>
</html>