[We
apologise for multiple copies.]
***********************************************************************
TASE 2007
1st IEEE & IFIP International Symposium on
Theoretical Aspects of Software Engineering
June 6-8, 2007, Shanghai, China
http://www.sei.ecnu.edu.cn/TASE2007/
Call For Papers
Submission Deadline: January 28, 2007 (New)
For more
information e-mail: tase2007@xxxxxxxxxxxxxxx
The 1st IEEE & IFIP Theoretical Aspects of
Software Engineering
Conference (TASE 2007), sponsored by IFIP and IEEE,
will be held in
Shanghai, China June 2007.
Large scale software systems and 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
& Object-orientation techniques. As a result, new
concepts and
methodologies are required to enhance the development
of software
engineering from theoretical aspects. TASE 2007 is a
forum for
researchers from academia, industry and government to
present ideas,
results, and ongoing research on theoretical advances
in Software
Engineering.
Topics of Interest:
Authors are invited to submit manuscripts of original
unpublished
research in all theoretical areas of software
engineering
(Requirements, Specification, Testing, Workflows,
Architectures,
Verification, Languages, and Logics). The topics of
interest
include, but are not limited to:
* Requirements Engineering
* Specification and Validation
* Software Testing
* Component-based Development
* Model Checking for Software
* Software Processes and Workflows
* Software Frameworks and Middleware
* Software Architectures and Design
* Software safety and reliability
* Reverse Engineering and Software Maintenance
* Aspect and Objected –orientation Techniques
* Embedded and Real-time Software
* Service-oriented Computing and Web Services
* Model-driven Development
* Coordination and Feature Interaction
* Parallel and Distributed Computing
* Logics of Programs
* Program Analysis
* Semantics and Design of Programming Languages
* Type Theory
Submission Guidelines:
Authors should submit and register their paper through
our
web-interface at: http://www.sei.ecnu.edu.cn/TASE2007/
by
January 28, 2007. Submissions must not have been
published or be
concurrently considered for publication elsewhere. All
submissions
will be reviewed by at least three members of the
program committee.
They will be judged on the basis of originality,
contribution to the
field, technical and presentation quality, and
relevance to the
conference. The proceedings of the conference will be
published by
the IEEE Computer Society Press. Papers must be
written in English
and not exceed 10 pages in IEEE format. Instructions
for authors are
available at http://computer.org/cspress/instruct.htm.
Latex
document classes can be downloaded from the website at
ftp://pubftp.computer.org/Press/Outgoing/proceedings/.
Organization:
General
Chair:
Michael Hinchey, NASA, USA
Program
Co-chairs: Jifeng
He, East China Normal University, China
Jeff Sanders, Oxford University, UK
Steering Committee
chair: Michael Hinchey, NASA, USA
Publicity
Chair(Asia): Naixiao Zhang, Peking
University, China
Publicity Chair(Europe,USA): Meng
Sun, CWI, The Netherlands
Local Organization
Chair: Geguang Pu, East China Normal University, China
Program Committee:
Bernhard Aichernig (Graz University of
Technology, Austria)
Keijiro Araki (Kyzushu University,
Japan)
Farhad Arbab (CWI and Leiden University,
The Netherlands)
Jonathan Bowen (Museophile Limited, UK)
Michael Butler (University of
Southampton, UK)
Ana Cavalcanti (University of York, UK)
Jim Davies (Oxford University, UK)
Geoff Dromey (Griffith University,
Australia)
Jin Song Dong (National University of
Singapore, Singapore)
Zhenhua Duan (Xi'dian University, China)
Colin Fidge (Queensland University of
Technology, Australia)
Dieter Gollmann (Hamburg University of
Technology, Germany)
Ning Gu (Fudan University, China)
Xuandong Li (Nanjing University, China)
Jing Liu (East China Normal University,
China)
Kung-Kiu Lau (Manchester
University, UK)
Shaoying Liu (Hosei University,
Japan)
Zhiming Liu (UNU/IIST, Macau, China)
Tom Maibaum (McMaster University, Canada)
Annabelle McIver (Macquarie University,
Australia)
Hong Mei (Peking University, China)
Huaikou Miao (Shanghai University, China)
Shankar Natarajan (SRI International,
USA)
Nimal Nissanke (London South Bank
University, UK)
Shengchao Qin (Durham University, UK)
Zongyan Qiu (Peking University, China)
Joseph Sifakis (Verimag, France)
Zhong Shao (Yale University, USA)
Margus Veanes (Microsoft, USA)
Sergiy Vilkomir (University of Limerick,
Ireland)
Farn Wang (National Taiwan University,
Taiwan)
Ji Wang (Changsha Institute of
Technology, China)
Jim Webber (ThoughtWorks, Australia)
Heike Wehrheim (University of Paderborn,
Germany)
Jim Woodcock (University of York, UK)
Wang Yi (Uppsala University, Sweden)
Gianluigi Zavattaro (University of
Bologna, Italy)
Jian Zhang (Institute of Software, China)
Huibiao Zhu (East China Normal
University, China)
Steering Program Committee:
Keijiro Araki,
Japan Michael
Hinchey (Chair), USA
Jifeng
He,
China Zhiming
Liu, Macau
Mike
Reed,
Macau Huibiao
Zhu, China
Keynote Speakers:
Jeannette M. Wing (Carnegie Mellon
University, USA)
Bertrand Meyer (ETH Zurich,
Switzerland)
Mathai Joseph (Tata Consultancy
Services, India)
Tutorial Speaker:
Patrick Cousot (Ecole Normale
Superieure-Paris, France)
