Welcome to TASE 2010

August 24 - 27, 2010
Taipei, Taiwan
http://www.iis.sinica.edu.tw/tase2010

For more information e-mail: tase2010 (at) iis.sinica.edu.tw

News announcements

• Hotel information and speaker information is updated. ( July 19, 2010)
• Registration payment through bank transfer is now available. (June 14, 2010)

• A paper accepted by IEEE TASE 2010 without an author registration by June 20, 2010 will not be included in the proceedings of IEEE TASE 2010.(June 7, 2010)

• Registration ready. (June 7, 2010)
• Final version submission page is open now! (May 27, 2010)
• The deadline of final versions and copyright forms of accepted papers is: 4 JUNE 2010. (May 27, 2010)
• Acceptance/Rejection notification date postponed to May 24, 2010.(May 19, 2010)
• Prof. Jean-Raymond Abrial will deliver an invited speech at TASE2010, Taiwan. He will speak on "Constructing a prover devoted to set theoretic proofs."(May 11, 2010)
• Prof. Michael Gerard Hinchey will deliver an invited speech at TASE2010, Taiwan. (May 11, 2010)
• The sponsorship of IEEE TASE 2010 by IEEE Computer Society has been approved on Saturday 24 April 2010.
• The submission easychair page will be left open until April 9, 2010. (April 4, 2010)
• 4-page limits for poster papers will be included in the symposium proceedings published by IEEE. (March 23, 2010)
• Submission deadline extension to April 2, 2010 for abstract of regular papers. (March 23, 2010)
• Submission deadline extension to April 2, 2010 for poster papers. (March 23, 2010)
• Submission website ready https://www.easychair.org/login.cgi?conf=tase2010 (March 7, 2010)

About TASE

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 June 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.

Areas 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.