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