<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7651.14">
<TITLE>TASE 2009 - CALL FOR PAPERS</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/plain format -->

<P><FONT SIZE=2>TASE 2009 - Final CALL FOR PAPERS<BR>
<BR>
******************************************<BR>
* 3rd IEEE International Symposium on<BR>
* Theoretical Aspects of Software Engineering<BR>
* (TASE 2009)<BR>
* 29-31 July 2009, Tianjin, China<BR>
* <A HREF="http://www.dur.ac.uk/ieee.tase2009">http://www.dur.ac.uk/ieee.tase2009</A><BR>
*<BR>
* For more information email: [email protected]<BR>
**********************************************************<BR>
<BR>
Large scale software systems and the Internet are of growing concern<BR>
to 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>
and 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 2009 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.<BR>
<BR>
TASE 2009 is the third in a series of conference, sponsored by IEEE CS<BR>
and IFIP. The first TASE conference was held in Shanghai, China, in<BR>
June 2007.&nbsp; The second TASE conference was held in Nanjing, China, in<BR>
June 2008.<BR>
<BR>
Topics of Interest:<BR>
<BR>
Authors are invited to submit high quality technical papers describing<BR>
original and unpublished work in all theoretical aspects of software<BR>
engineering. Topics of interest include, but are not limited to:<BR>
<BR>
* Requirements Engineering<BR>
* Specification and Verification<BR>
* Program Analysis<BR>
* Software Testing<BR>
* Model-Driven Engineering<BR>
* Software Architectures and Design<BR>
* Aspect and Object Orientation<BR>
* Embedded and Real-Time Systems<BR>
* Software Processes and Workflows<BR>
* Component-Based Software Engineering<BR>
* Software Safety, Security and Reliability<BR>
* Reverse Engineering and Software Maintenance<BR>
* Service-Oriented Computing<BR>
* Semantic Web and Web Services<BR>
* Type System and Theory<BR>
* Program Logics and Calculus<BR>
* Dependable Concurrency<BR>
* Software Model Checking<BR>
<BR>
Program Co-Chairs<BR>
-----------------<BR>
Wei-Ngan Chin&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (National Univ. of Singapore, Singapore)<BR>
Shengchao Qin&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Durham University, UK)<BR>
<BR>
Program Committee<BR>
-----------------<BR>
Bernhard Aichernig&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Graz University of Technology, Austria)<BR>
Stefan Andrei&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Lamar University, USA)<BR>
Keijiro Araki&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Kyushu University, Japan)<BR>
Farhad Arbab&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (CWI and Leiden University, Netherlands)<BR>
Jonathan Bowen&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (King's College London, UK)<BR>
Michael Butler&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (University of Southampton, UK)<BR>
Juan Chen&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Microsoft Research, USA)<BR>
Tyng-Ruey Chuang&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Academica Sinica, Taiwan)<BR>
Jim Davies&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (University of Oxford, UK)<BR>
Zhenhua Duan&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Xidian University, China)<BR>
Xinyu Feng&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Toyota Technological Inst. at Chicago, USA)<BR>
Dieter Gollmann &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Hamburg University of Technology, Germany)<BR>
Tetsuo Ida&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (University of Tsukuba, Japan)<BR>
Radu Iosif&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Verimag, CNRS, France)<BR>
Xuandong Li&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Nanjing University, China)<BR>
Kung-Kiu Lau&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (University of Manchester, UK)<BR>
Shaoying Liu&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Hosei University, Japan)<BR>
Dorel Lucanu&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (University of Iasi, Romania)<BR>
Tom Maibaum&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (McMaster University, Canada)<BR>
Darko Marinov&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Univ. of Illinois at Urbana-Champaign, USA)<BR>
Hong Mei&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Peking University, China)<BR>
Huaikou Miao&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Shanghai University, China)<BR>
Peter Mueller&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (ETH Zurich, Switzerland)<BR>
Viet Ha Nguyen&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Vietnam National University, Vietnam)<BR>
Sungwoo Park&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Pohang Univ. of Science and Technology, Korea)<BR>
Corneliu Popeea &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (MPI-SWS, Germany)<BR>
Geguang Pu&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (East China Normal University, China)<BR>
Zongyan Qiu&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Peking University, China)<BR>
Volker Stolz&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (UNU/IIST, Macau)<BR>
Jing Sun&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (University of Auckland, New Zealand)<BR>
Jun Sun &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (National Univ. of Singapore, Singapore)<BR>
Kenji Taguchi&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (National Institute of Informatics, Japan)<BR>
Yih-Kuen Tsay&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (National Taiwan University, Taiwan)<BR>
Elizabeth Vidal &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (San Agustin National University, Peru)<BR>
Ji Wang &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (National University of Defense Technology, China)<BR>
Linzhang Wang&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Nanjing University, China)<BR>
Xianbing Wang&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Wuhan University, China)<BR>
Wang Yi &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Uppsala University, Sweden)<BR>
Jim Woodcock&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (University of York, UK)<BR>
Hongyu Zhang&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Tsinghua University, China)<BR>
Jian Zhang&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Chinese Academy of Sciences, China)<BR>
Jianjun Zhao&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Shanghai Jiao Tong University, China)<BR>
Hong Zhu&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Oxford Brookes University, UK)<BR>
Huibiao Zhu&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (East China Normal University, China)<BR>
<BR>
Important Dates:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; February 20, 2009: &nbsp;&nbsp;&nbsp;&nbsp; Title and abstract submission deadline<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; February 27, 2009: &nbsp;&nbsp;&nbsp;&nbsp; Paper submission deadline<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; April 20, 2009: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Acceptance/rejection notification&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; May 11, 2009: &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Camera-ready version due<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; July 29 - 31, 2009: &nbsp;&nbsp;&nbsp; TASE 2009<BR>
<BR>
</FONT>
</P>

</BODY>
</HTML>