https://ictac2020.github.io/ Recent content on ICTAC 2020 Hugo -- gohugo.io en-us ICTAC 2020 Thu, 29 Oct 2020 00:00:00 +0000 https://ictac2020.github.io/rvlec/ Thu, 29 Oct 2020 00:00:00 +0000 https://ictac2020.github.io/rvlec/ RV Lectures @ ICTAC, Monday Nov. 30 / Tuesday Dec. 1 (afternoons, Central European Time) Supported by the Norwegian Research Council FORSTERK-project COEMS Training Network. Program Monday, 30 November 2020 1400-1415 Welcome 14:15-15:00 Qualitative and Quantitative Specification-based Monitoring of Cyber-Physical Systems Ezio Bartocci (Technische Universität Wien) 15:00-15:15 Coffee break 15:15-16:00 Monitoring with Data Giles Reger (The University of Manchester) 16:00-16:15 Coffee break 16:15-17:00 Runtime Verification of Streams with TeSSLa https://ictac2020.github.io/keynotes/ Tue, 01 Sep 2020 00:00:00 +0000 https://ictac2020.github.io/keynotes/ Klaus Havelund (Jet Propulsion Laboratory, California Institute of Technology, USA) A Flight Rule Checker for the LADEE Lunar Spacecraft As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e. https://ictac2020.github.io/about/ Sun, 24 May 2020 00:00:00 +0000 https://ictac2020.github.io/about/ Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST, currently known as the United Nations University Institute in Macau), 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 countries. https://ictac2020.github.io/sponsor/ Sat, 14 Mar 2020 00:00:00 +0000 https://ictac2020.github.io/sponsor/ Organised by         Sponsored by         https://ictac2020.github.io/home/ Sun, 02 Feb 2020 00:00:00 +0000 https://ictac2020.github.io/home/ Virtual Conference. Due to the COVID-pandemic, the organisation committee decided that ICTAC 2020 will be held virtually only. Accepted papers will be published as a LNCS proceedings as planned, and have to be presented at the virtual conference. Welcome to ICTAC 2020 The 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) will take place in Macau S.A.R., China on 30 Nov - 4 Dec, 2020. News Online conference proceedings are available for a month. https://ictac2020.github.io/accepted/ Mon, 01 Jan 0001 00:00:00 +0000 https://ictac2020.github.io/accepted/ Proof-theoretic Conservative Extension of HOL with Ad-hoc Overloading. Arve Gengelbach and Tjark Weber A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. Frits Vaandrager and Abhisek Midya Qsimulation V2.0: an Optimized Quantum Simulator. (Tool paper) Hua Wu, Yuxin Deng, Ming Xu and Wenjie Du CiMPG+F: A Proof Generator & Fixer-upper for CafeOBJ Specifications. Adrián Riesco and Kazuhiro Ogata Statistical Analysis of Non-Deterministic Fork-Join Processes. https://ictac2020.github.io/registration/ Thu, 22 Oct 2020 00:00:00 +0000 https://ictac2020.github.io/registration/ Please register with the online registration form (switch to English in the top-right corner). Registration for ICTAC 2020 is free through support from Springer and the Norwegian Research Council. At least one author per accepted paper must register to the conference by Monday, 18th November. The conference and the RV lectures will be implemented using Zoom. 2 x 1⁄2 day RV Lectures on 30th Nov – 1st Dec is for free, please indicate in the registration page about your interest. https://ictac2020.github.io/contact/ Tue, 24 Mar 2020 00:00:00 +0000 https://ictac2020.github.io/contact/ General inquiries about ICTAC 2020 can be addressed to: [email protected]. https://ictac2020.github.io/cfp/ Sun, 02 Feb 2020 00:00:00 +0000 https://ictac2020.github.io/cfp/ Virtual Conference. Due to the COVID-pandemic, the organisation committee decided that ICTAC 2020 will be held virtually only. Accepted papers will be published as a LNCS proceedings as planned, and have to be presented at the virtual conference. We are pleased to invite you to submit papers for the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020), which will take place in Macao S.A.R., China on 30 November- 4 December, 2020. https://ictac2020.github.io/committees/ Sun, 02 Feb 2020 00:00:00 +0000 https://ictac2020.github.io/committees/ Program Committee Chairs Violet Ka I Pun (Western Norway University of Applied Sciences, University of Oslo, NO) Adenilso da Silva Simão (University of São Paulo, BR) Volker Stolz (Western Norway University of Applied Sciences, NO) Workshop/Tutorial Chairs Antonio Cerone (Nazarbayev University, KZ) Einar Broch Johnsen (University of Oslo, NO) Local Organisation Chairs Xiaoshan Li (University of Macau, MO) Ignacio Marcovecchio (UNU-CS, MO) Joseph Chi Man Pun (University of Macau, MO) https://ictac2020.github.io/dates/ Thu, 14 Mar 2019 00:00:00 +0000 https://ictac2020.github.io/dates/ Abstract submission:    Monday, 22 June 2020   Friday, 10 July 2020 (extended) Paper submission: Friday, 26 June 2020   Friday, 17 July 2020 (extended) Notification: Monday, 14 September 2020    Friday, 18 September 2020 (extended) Camera-ready: Wednesday, 30 September 2020    Friday, 2 October 2020 (extended) Satellite events: 30 November - 1 December 2020 Main Conference: 2-4 December 2020 https://ictac2020.github.io/venue/ Thu, 14 Feb 2019 00:00:00 +0000 https://ictac2020.github.io/venue/ ICTAC 2020 will take place in the University of Macau. You can easily reach the campus from either the city centre by public transport.