4th IEEE International Symposium on Theoretical Aspects of Software Engineering
August 24 - 27, 2010, Taipei, Taiwan, ROC

Call For Submission

The 4th Theoretical Aspects of Software Engineering Conference (TASE 2010), sponsored by IEEE Computer Society, will be held in Taipei, Taiwan, ROC in 2010.

The first three TASE conferences were held in Shanghai, China in June 2007; in Nanjing, China in June 2008; and in Tianjin, China in July 2009.

IEEE TASE 2010 aims to become a forum for the presentation and discussion of new fundamental ideas in software engineering of large-scale systems. Software engineering of such systems has usually been viewed as the study of principles, guidelines, and empirical rules. To manage the complexity of large-scale software projects, various theories have been proposed.



Topics of Interest

Such theories may include, but are not limited to, the following:

  • automata
  • logics
  • set theory
  • type theory
  • process algebrae
  • probability
  • game theory
  • theorem-proving
  • model-checking
  • simulation-checking
  • testing
  • simulation

Innovative applications of such theories to the following and other related aspects of software engineering are highly solicited to IEEE TASE 2010.

  • requirements engineering
  • specification
  • model-Driven Engineering
  • software architectures and synthesis
  • aspect and object orientation
  • embedded and real-time systems
  • software processes and workflows
  • component-based software engineering
  • software safety, security and reliability
  • reverse engineering and software maintenance
  • service-oriented computing
  • semantic web and web services
  • dependable concurrency
  • program analysis
  • software modeling
  • software simulation
  • software testing
  • software model checking

We, the organizing team of IEEE TASE 2010, will make our best effort toward a high-quality technical program and enjoyable atmosphere. We cordially invite practitioners and researchers in software engineering to join IEEE TASE 2010 in Taipei.


  All submissions should be in IEEE format and no more than 10 pages for regular papers and 4 pages for poster papers.


The proceedings is expected to be published by IEEE.


Every regular paper will be allocated 25 minutes for presentation. We suggest you to talk for 20 minutes, and leave 5 minutes for question-answering. Poster papers will be presented at the poster sessions on day 1 and day 2 . Every poster paper will be given an A1 size poster board. Authors of poster papers will need to prepare and print their poster (of A1 size) in advance. Please be at the presentation room 10 minutes before the session and contact your session chair. A student volunteer will help you to copy your slide into the laptop that is connected with the projector.

Important Dates

Regular Papers:

April 2 (strict), 2010: Title and abstract submission deadline (extended) 
April 9 (strict), 2010: Paper submission deadline (23:59, Apia Time, GMT-11
May 17, 2010: Acceptance/rejection notification  (Notification date postponed to May 24, 2010.)
June 4, 2010: Camera-ready version and signed IEEE copyright form due
August 24 - 27, 2010: TASE 2010

Poster Papers:

April 2 (strict), 2010: Poster proposal (extended abstract) submission deadline
May 17, 2010: Acceptance/rejection notification  (Notification date postponed to May 24, 2010.)
June 4, 2010: Camera-ready version and signed IEEE copyright form due
August 20, 2010: A1-Size Poster (for backup) Due
August 24 - 27, 2010: TASE 2010

Program Committee

Erika Abraham (RWTH Aachen Univ.)

Keijiro Araki ( Kyzushu Univ. )

Dirk Beyer (UC-Berkely)

Jonathan Bowen (King's College London)

Marius Bozga ( Univ. of Paris )


Jim Davies ( Oxford University)

Jin Song Dong ( Singapore Natl Univ.)

Zhenhua Duan (Xidian Univ.)

John Hatcliff (Kansas State Univ.)

Teruo Higashino ( Osaka Univ.)


Changjun Jiang ( Tongji Univ. )

Jie-Hong R. Jiang (Natl Taiwan Univ. )

Zhi Jin ( Beijing Univ. )

Kung-Kiu Lau ( Manchester Univ. )

Jonathan Lee (National Central Univ.)


Xuandong Li ( Nanjing Univ.)

Deron Liang (National Central Univ.)

Lin Liu ( Tsinghua Univ. )

Shaoying Liu ( Hosei Univ. )

Tun Lu ( Fudan Univ. )


Frederic Mallet (INRIA)

Hong Mei (Beijing Univ.)


Huaikou Miao ( Shanghai Univ.)

Doron A. Peled ( Bar-Ilan Univ.)

Geguang Pu (East China Normal Univ.)

Shengchao Qin ( Durham Univ.)

Zongyan Qiu ( Beijing Univ.)


Sriram Rajamani (Microsoft)

Volker Stolz (UNU/IIST)

Zhong Shao ( Yale Univ.)

Jing Sun ( University of Auckland)

Tetsuo Tamai ( Univ. of Tokyo)


Yih-Kuen Tsay (Natl Taiwan Univ. )

Margus Veanes (Microsoft)

Ji Wang (Changsha Inst. of Technology)

Linzhang Wang ( Nanjing Univ. )

Jim Woodcock ( Univ. of York )


Hsu-Chun Yen (National Taiwan Univ.)

Wang Yi ( Uppsala Univ. )

Shi Ying ( Wuhan Univ.)

Gianluigi Zavattaro (Univ. of Bologna)

Jian Zhang (Chinese Academy of Sc.)


Miaomiao Zhang (Tongji Univ.)

Jianjun Zhao (Shanghai Jiaotong Univ.)

Huibiao Zhu (East China Normal Univ.)


Sponsored by: