resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



ICTAC 2020 : 17th International Colloquium on Theoretical Aspects of Computing

Macao
Event Date: Dec 02, 2020 - Dec 04, 2020
Abstract Submission Deadline: Jun 22, 2020
Submission Deadline: Jun 26, 2020
Notification of Acceptance: Sep 14, 2020
Camera Ready Version Due : Sep 30, 2020

About

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 countries. The proceedings will be published as a volume of Springer’s LNCS series.

Call For Paper

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

Hotel Deals

Booking.com

Check Other Conferences, Workshops, and Seminars

OTHER FORMAL METHODS EVENTS

ICAASE 2020 : The 4th International Conference on Advanced Aspects of Software Engineering
Constantine, Algeria
Nov 28, 2020
SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
Nov 25, 2020
iFM 2020 : 16th International Conference on integrated Formal Methods
Lugano, Switzerland
Nov 16, 2020
PSSV 2020 : XI Workshop Program Semantics, Specification and Verification
Moscow, Russia
Nov 03, 2020
FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems
L'Aquila, Italy
Sep 14, 2020

OTHER COMPUTER SCIENCE EVENTS

ICSIM 2021 : 4th International Conference on Software Engineering and Information Management
Yokohama, Japan
Jan 16, 2021
ICBDSC 2021 : 4th International Conference on Big Data and Smart Computing
Yokohama, Japan
Jan 16, 2021
COMPSE 2020 : 4th EAI International Conference on Computer Science and Engineering in Health Services
N/A, Cyberspace
Nov 26, 2020
EMSA 2020 : 9th International Conference on Embedded Systems and Applications
London, United Kingdom
Jul 25, 2020
ICSCA 2021 : 10th International Conference on Software and Computer Applications
Kuala Lumpur, Malaysia
Feb 23, 2021

OTHER SOFTWARE TESTING EVENTS

UYMS 2020 : 14. Turkish National Software Engineering Symposium
Istanbul, Turkey
Oct 07, 2020
SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
Nov 25, 2020
SEA 2020 : 9th International Conference on Software Engineering and Applications
London, United Kingdom
Jul 25, 2020
SOFT 2020 : 6th International Conference on Software Engineering
Toronto, Canada
Jul 11, 2020
ICSEA 2020 : The Fifteenth International Conference on Software Engineering Advances
Porto, Portugal
Oct 18, 2020

OTHER EMBEDDED SYSTEMS EVENTS

EMSA 2020 : 9th International Conference on Embedded Systems and Applications
London, United Kingdom
Jul 25, 2020
ESTC 2020 : 18th Embedded Systems Technical Conference
Chengdu,China
Oct 17, 2020
CiViE 2020 : 4th International Conference on Civil Engineering
Dubai, UAE
Jun 20, 2020
ICHST 2020 : 2nd International Conference on Hardware Security and Trust
Nanjing, China
Oct 23, 2020
Computing Journal SI 2021 : Recent Advances in Autonomous Vehicle Solutions in the Digital Continuum