征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science.

TASE 2018 will be held in Guangzhou, China on August 29-31, 2018, sponsored by College of Information Science and Technology, Jinan University. Being one of the most prosperous cities in China, Guangzhou is the capital of Guangdong province, located at the north of the Pearl River Delta, the area subsumes Hong Kong and Macau. Historically, Guangzhou is both the start of the Maritime Silk Road and the center of Lingnan Culture.

With the first known settlement in the area back to 1100BC (Cf. wikipedia), Guangzhou has the longest history among the international trade port cities in the world. The China Import and Export Fair (Canton Fair) has been held twice a year in the city since 1957.

Guangzhou ranks first in the number of restaurants and tea-houses in the country. As one of the four major food styles of China, Cantonese cuisine is good in color, fragrance, taste and presentation, and is the most widely served style of Chinese cuisine in the world. Yum cha, or dim sum, being one of the most well known light brunch Chinese food, has been welcomed and enjoyed by people all around the world.

征稿信息

重要日期

2018-03-09
摘要截稿日期
2018-03-16
初稿截稿日期
2018-05-06
初稿录用日期
2018-06-06
终稿截稿日期

征稿范围

Now on its 12th edition, TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interests in the theoretical aspects of software engineering. We invite submissions of research papers on topics covering all theoretical aspects of software engineering, including, but not limited to, the following:

Abstract interpretation
Algebraic and co-algebraic specifications
Aspect oriented software
Component-based systems
Cyber-physical systems
Deductive verification
Distributed and concurrent systems
Embedded and real-time systems
Feature-oriented software
Formal verification and program semantics
Integration of formal methods
Language design
Model checking and theorem proving

Object-oriented systems
Program logics and calculi
Quantum computation
Run-time verification and monitoring
Service-oriented and cloud computing
Software architecture
Software testing and quality assurance
Software security and reliability
Static analysis of programs
Type systems and
behavioural typing
Tools exploiting theoretical results

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    08月29日

    2018

    08月31日

    2018

  • 03月09日 2018

    摘要截稿日期

  • 03月16日 2018

    初稿截稿日期

  • 05月06日 2018

    初稿录用通知日期

  • 06月06日 2018

    终稿截稿日期

  • 08月31日 2018

    注册截止日期

历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询