Conference announcements

Call for Papers -
6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'2012)

From: "Huibiao Zhu" <hbzhu@sei.ecnu.edu.cn>
To: <seworld@sigsoft.org>
Subject: [SEWORLD] Call for Papers (TASE 2012)
Date: Fri, 21 Oct 2011 23:20:01 +0800

TASE 2012 - PRELIMINARY CALL FOR PAPERS

***********************************************************
The Sixth IEEE International Symposium on
Theoretical Aspects of Software Engineering
(TASE 2012)
4-6 July 2012, Beijing, China
http://selab.bjut.edu.cn/tase2012
For more information email: tase2012@bjut.edu.cn
***********************************************************

Large scale software systems and the Internet are of growing concern
to academia and industry. This poses new challenges to the various
aspects of software engineering, for instance, the reliability of
software development, Web-oriented software architecture and aspect
and object-orientation techniques.

As a result, new concepts and methodologies are required to enhance the
development of software engineering from theoretical aspects. TASE 2012
is a forum for researchers from academia, industry and government to
present ideas, results, and ongoing research on theoretical advances
in software engineering.

TASE 2012 is the sixth in a series of symposiums, sponsored by IEEE
CS and IFIP.

The first TASE symposium was held in Shanghai, China, in June 2007. The
second TASE symposium was held in Nanjing, China, in June 2008. The
third TASE symposium was held in Tianjin, China, in July 2009. The
fourth TASE symposium was held in Taipei, in August 2010, and the
fifth TASE symposium was held in Xi'an, China, in August 2011.

Topics of Interest:

Authors are invited to submit high quality technical papers describing
original and unpublished work in all theoretical aspects of software
engineering. Topics of interest include, but are not limited to:

* Requirements Engineering
* Specification and Verification
* Program Analysis
* Software Testing
* Model-Driven Engineering
* Software Architectures and Design
* 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
* Type System and Theory
* Program Logics and Calculus
* Dependable Concurrency
* Software Model Checking
* Probability and Randomization

The proceedings will be published by IEEE Computer Society Press. It is
envisaged to invite the best tool-related contributions to a Special
Section of STTT, Springer Verlag's Intern.  Journal on Software Tools
for Technology Transfer.

General Co-Chairs:
Jifeng He    (East China Normal University, China)
Baocai Yin   (Beijing University of Technology, China)

Program Co-Chairs:
Tiziana Margaria  (University Potsdam, Germany)
Zongyan Qiu     (Peking University, China)
Hongli Yang     (Beijing University of Technology, China)

Organizing Chair:
Husheng Liao    (Beijing University of Technology, China)

Local Arrangement Chair:
Dan Wang       (Beijing University of Technology, China)

Important Dates:
         January 13, 2012:    Title and abstract submission deadline
         January 20, 2012:    Paper submission deadline
         March 23, 2012:      Acceptance/rejection notification
         April 13, 2012:          Camera-ready version due
         July 4-6, 2012:          TASE 2012

To the Ada-Belgium home page.

Last update: 2011/12/08.