<!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.3199" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT size=2>(Apologies if you have already received this
message.)<BR>
<BR>
TASE 2008<BR>2nd IEEE&IFIP Symposium on Theoretical Aspects of Software
Engineering
<DIV> </DIV>
<DIV><FONT
size=2>
Nanjing,
China<BR>
June 17-19,
2008<BR>
<A
href="http://seg.nju.edu.cn/tase08">http://seg.nju.edu.cn/tase08</A></FONT></DIV>
<DIV> </DIV>
<DIV><FONT size=2>Large scale software systems and Internet are of growing
concern to academia and industry. This poses new challenges to the</FONT></DIV>
<DIV><FONT size=2>various aspects of software engineering, for instance, the
reliability of software development, web-oriented software </FONT></DIV>
<DIV><FONT size=2>architecture and aspect & object-orientation techniques.
As a result, new concepts and methodologies are required to enhance
</FONT></DIV>
<DIV><FONT size=2>the development of software engineering from theoretical
aspects. TASE 2008 is a forum for researchers from academia, </FONT></DIV>
<DIV><FONT size=2>industry and government to present ideas, results, and ongoing
research on theoretical advances in software engineering.</FONT></DIV>
<DIV><FONT size=2>TASE 2008 is the second in a series of conference, sponsored
by IEEE CS and IFIP. The first TASE conference was held in </FONT></DIV>
<DIV><FONT size=2>Shanghai, China, in June 2007. </FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Topics of Interest: </FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Authors are invited to submit high quality technical papers
describing original and unpublished work in all theoretical </FONT></DIV>
<DIV><FONT size=2>aspects of software engineering. Topics of interest include,
but are not limited to: </FONT></DIV>
<DIV> </DIV>
<DIV><FONT size=2>* 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</FONT></DIV>
<DIV> </DIV>
<DIV><FONT size=2>Submission Guidelines:</FONT></DIV>
<DIV> </DIV>
<DIV><FONT size=2>Authors should submit and register their paper through our
web-interface at:<BR><A
href="http://seg.nju.edu.cn/tase08/submit">http://seg.nju.edu.cn/tase08/submit</A>
by January 28, 2008. <BR>Submissions must not have been published or be
concurrently considered for publication elsewhere. All submissions will be
</FONT></DIV>
<DIV><FONT size=2>reviewed by at least three members of the program committee.
They will be judged on the basis of originality, contribution to </FONT></DIV>
<DIV><FONT size=2>the field, technical and presentation quality, and relevance
to the conference. The proceedings of the conference will be </FONT></DIV>
<DIV><FONT size=2>published by the IEEE Computer Society Press. Papers must be
written in English and not exceed 10 pages in IEEE format. </FONT></DIV>
<DIV><FONT size=2>Instructions for authors are available at <A
href="http://computer.org/cspress/instruct.htm">http://computer.org/cspress/instruct.htm</A>.
Latex document classes can be downloaded </FONT></DIV>
<DIV><FONT size=2>from the website at <BR><A
href="ftp://pubftp.computer.org/Press/Outgoing/proceedings/">ftp://pubftp.computer.org/Press/Outgoing/proceedings/</A>.</FONT></DIV>
<DIV> </DIV><FONT size=2>
<DIV><BR>Important Dates: </DIV>
<DIV> </DIV>
<DIV>* January 21, 2008: Title and abstract submission deadline<BR>* January 28,
2008: Paper submission deadline<BR>* March 10, 2008: Acceptance/rejection
notification<BR>* March 23, 2008: Camera-ready version due<BR>* June 17-19,
2008: TASE 2008</DIV>
<DIV> </DIV>
<DIV>Organization:</DIV>
<DIV> </DIV>
<DIV>General Co-Chairs: Jifeng He, East China Normal University,
China<BR>
Jian Lu, Nanjing University, China<BR>Program Co-chairs: Jim Davies,
Oxford University, UK<BR>ĦĦĦĦĦĦĦĦĦĦĦĦĦĦĦĦĦĦ Xuandong Li, Nanjing University,
China</DIV>
<DIV> </DIV>
<DIV>Local Organization Chair: Linzhang Wang, Nanjing University,
China</DIV>
<DIV> </DIV>
<DIV>Program Committee:</DIV>
<DIV> </DIV>
<DIV>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>Kung-Kiu Lau (Manchester University,
UK)<BR>Jing Liu (East China Normal University, China)<BR>Shaoying Liu
(Hosei University, Japan)<BR>Zhiming Liu (UNU/IIST, Macau, China)<BR>Annabelle
Mclver (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>Geguang Pu((East China Normal University, China))<BR>Shengchao Qin
(Durham University, UK)<BR>Zongyan Qiu (Peking University, China)<BR>Zhong Shao
(Yale University, USA)<BR>Joseph Sifakis (Verimag, France)<BR>Zhengdong Su
(University of California at Davis, 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>Linzhang Wang(Nanjing University, China)<BR>Heike Wehrheim (University
of Paderborn, Germany)<BR>Jim Woodcock (University of York, UK)<BR>Dianxiang
Xu(North Dakota State University, USA)<BR>Wang Yi (Uppsala University,
Sweden)<BR>Gianluigi Zavattaro (University of Bologna, Italy)<BR>Jian Zhang
(Institute of Software, China)<BR>Jianhua Zhao (Nanjing University,
China)<BR>Huibiao Zhu (East China Normal University, China) </DIV>
<DIV> </DIV>
<DIV>Steering Program Committee</DIV>
<DIV> </DIV>
<DIV>Michael Hinchey(Chair), USA <BR>Keijiro
Araki,
Japan
<BR>Jifeng
He,
China
<BR>Zhiming
Liu,
Macau<BR>Mike
Reed,
Macau
<BR>Huibiao
Zhu,
China</DIV>
<DIV> </DIV>
<DIV>Keynote Speakers</DIV>
<DIV> </DIV>
<DIV>Edmund M. Clarke (Carnegie Mellon University)<BR>Joost-Pieter Katoen (RWTH
Aachen University)</DIV>
<DIV></FONT> </DIV></FONT></DIV></BODY></HTML>