Visible to the public ICTAC 2016Conflict Detection Enabled

Submitted by Anonymous on Thu, 01/28/2016 - 2:25pm
Oct 24, 2016 7:00 am - Oct 31, 2016 7:00 pm CST

CALL FOR PAPERS

13th International Colloquium on Theoretical Aspects of Computing (ICTAC 2016)

ICTAC 2016 will be held in the Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan, ROC

Established in 2004, 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.

The topical areas of the conference include, but are not limited to

  • Automata theory and formal languages;
  • Principles and semantics of programming languages;
  • Theories of concurrency, mobility and reconfiguration;
  • Logics and their applications;
  • Software architectures and their models, refinement and verification;
  • Relationship between software requirements, models and code;
  • Program static and dynamic analysis and verification;
  • Software specification, refinement, verification and testing;
  • Model checking and theorem proving;
  • Models of object and component systems;
  • Coordination and feature interaction;
  • Integration of theories, formal methods and tools for engineering computing systems;
  • Service-oriented architectures: models and development methods;
  • Models of concurrency, security, and mobility;
  • Theory of distributed, grid and cloud computing;
  • Real-time, embedded, hybrid and cyber-physical systems;
  • Type and category theory in computer science;
  • Models for learning and education;
  • Case studies, theories, tools and experiments of verified systems;
  • Domain-specific modeling and technology: examples, frameworks and experience.
  • Challenges and foundations in the environmental modeling and monitoring, healthcare, and disaster management.

INVITED SPEAKERS

  • Hsu-Chun Yen, National Taiwan University (TW)
  • Leonardo de Moura, Microsoft (US)
  • Heike Wehrheim, Universitat Paderborn (DE)

ASSOCIATED EVENT

  • ICTAC Summer School on Formal Methods (29-31 October, 2016)

IMPORTANT DATES

  • Abstract submission: 23 April, 2016
  • Paper submission: 1 May, 2016
  • Author notification: 20 June, 2016
  • Camera ready: Monday, 15 July, 2015

PROCEEDINGS

As for the past editions, the plan is to publish the proceedings of ICTAC 2016 with Springer in the series Lecture Notes in Computer Science (LNCS).

SPECIAL ISSUE

Extended versions of selected papers from ICTAC 2015 will be invited to a special issue in a journal that will be announced later.

GENERAL CHAIR

  • Farn Wang, National Taiwan University (TW)

PROGRAMME COMMITTEE CHAIRS

  • Augusto Sampaio, Universidade Federal de Pernambuco (BR)
  • Farn Wang, National University of Taiwan (TW)

PROGRAMME COMMITTEE

  • TBA

STEERING COMMITTEE

  • Ana Cavalcanti, University of York (UK)
  • Martin Leucker, University of Luebeck (DE)
  • Zhiming Liu, Southwest University (CN)
  • Tobias Nipkow, Technical University Munich (DE)
  • Augusto Sampaio, Federal University of Pernambuco (BR)
  • Natarajan Shankar, SRI International (US)
Event Details
Location: 
Taipei, Taiwan, ROC
URL: 
http://cc.ee.ntu.edu.tw/~ictac2016