From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.5 required=5.0 tests=DNS_FROM_SECURITYSAGE, HTML_MESSAGE,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 88436BB84 for ; Wed, 12 Nov 2008 22:38:24 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqABAEvbGkmB6ggUmWdsb2JhbACCSi+RPAEBAQEBCAsKBxG8SYJRgQY X-IronPort-AV: E=Sophos;i="4.33,592,1220220000"; d="scan'208,217";a="31396362" Received: from hermes1.dur.ac.uk ([129.234.8.20]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Nov 2008 22:38:23 +0100 Received: from EXDUR1.mds.ad.dur.ac.uk (exdurc1.dur.ac.uk [129.234.4.108]) by hermes1.dur.ac.uk (8.13.8/8.13.7) with ESMTP id mACLc10m017600 for ; Wed, 12 Nov 2008 21:38:06 GMT Received: from EXDUR3.mds.ad.dur.ac.uk ([129.234.8.22]) by EXDUR1.mds.ad.dur.ac.uk with Microsoft SMTPSVC(6.0.3790.3959); Wed, 12 Nov 2008 21:38:00 +0000 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C9450E.EEC2EF4E" Subject: First Call for Papers: TASE 2009 Date: Wed, 12 Nov 2008 21:37:59 -0000 Message-ID: <1C7F51B7A4A4F54389A69794AD79A24DCB82F2@EXDUR3.mds.ad.dur.ac.uk> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: First Call for Papers: TASE 2009 Thread-Index: AclFDu6+2OV5bAADSCCPEz2fve7ASg== From: "CRACIUN F." To: X-OriginalArrivalTime: 12 Nov 2008 21:38:00.0279 (UTC) FILETIME=[EF433E70:01C9450E] X-MailScanner-ID: mACLc10m017600 X-DurhamAcUk-MailScanner: Found to be clean X-Spam: no; 0.00; ifip:01 logics:01 model:01 tyng-ruey:01 chuang:01 sinica:01 iist:01 uppsala:01 ifip:01 logics:01 model:01 tyng-ruey:01 chuang:01 sinica:01 iist:01 This is a multi-part message in MIME format. ------_=_NextPart_001_01C9450E.EEC2EF4E Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable TASE 2009 - FIRST CALL FOR PAPERS ****************************************** * 3rd IEEE International Symposium on * Theoretical Aspects of Software Engineering * (TASE 2009) * 29-31 July 2009, Tianjin, China * http://www.dur.ac.uk/ieee.tase2009 * * For more information email: IEEE.TASE2009@durham.ac.uk ********************************************************** Large scale software systems and the Internet are of growing concern=20 to academia and industry. This poses new challenges to the various=20 aspects of software engineering, for instance, the reliability of=20 software development, web-oriented software architecture and aspect=20 and object-orientation techniques. As a result, new concepts and=20 methodologies are required to enhance the development of software=20 engineering from theoretical aspects. TASE 2009 is a forum for=20 researchers from academia, industry and government to present ideas,=20 results, and ongoing research on theoretical advances in software=20 engineering. TASE 2009 is the third in a series of conference, sponsored by IEEE CS=20 and IFIP. The first TASE conference was held in Shanghai, China, in=20 June 2007. The second TASE conference was held in Nanjing, China, in=20 June 2008. Topics of Interest: Authors are invited to submit high quality technical papers describing=20 original and unpublished work in all theoretical aspects of software=20 engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering=20 * 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=20 * Reverse Engineering and Software Maintenance * Service-Oriented Computing=20 * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Dependable Concurrency=20 * Software Model Checking Program Co-Chairs ----------------- Wei-Ngan Chin (National Univ. of Singapore, Singapore) Shengchao Qin (Durham University, UK) Program Committee ----------------- Bernhard Aichernig (Graz University of Technology, Austria) . Stefan Andrei (Lamar University, USA) Keijiro Araki (Kyushu University, Japan)=20 Farhad Arbab (CWI and Leiden University, Netherlands) Jonathan Bowen (King's College London, UK) Michael Butler (University of Southampton, UK) Juan Chen (Microsoft Research, USA) Tyng-Ruey Chuang (Academica Sinica, Taiwan) Jim Davies (University of Oxford, UK) Zhenhua Duan (Xidian University, China) Xinyu Feng (Toyota Technological Inst. at Chicago, USA) Dieter Gollmann (Hamburg University of Technology, Germany) Tetsuo Ida (University of Tsukuba, Japan) Radu Iosif (Verimag, CNRS, France) Xuandong Li (Nanjing University, China) Kung-Kiu Lau (University of Manchester, UK)=20 Shaoying Liu (Hosei University, Japan)=20 Dorel Lucanu (University of Iasi, Romania) Tom Maibaum (McMaster University, Canada) Darko Marinov (Univ. of Illinois at Urbana-Champaign, USA)=20 Huaikou Miao (Shanghai University, China) Peter Mueller (ETH Zurich, Switzerland) Viet Ha Nguyen (Vietnam National University, Vietnam) Sungwoo Park (Pohang Univ. of Science and Technology, Korea) Corneliu Popeea (MPI-SW, Germany) Geguang Pu (East China Normal University, China) Zongyan Qiu (Peking University, China) Volker Stolz (UNU/IIST, Macau) Jing Sun (University of Auckland, New Zealand) Jun Sun (National Univ. of Singapore, Singapore) Kenji Taguchi (National Institute of Informatics, Japan) Yih-Kuen Tsay (National Taiwan University, Taiwan)=20 Linzhang Wang (Nanjing University, China) Xianbing Wang (Wuhan University, China) Wang Yi (Uppsala University, Sweden)=20 Jim Woodcock (University of York, UK)=20 Hongyu Zhang (Tsinghua University, China)=20 Jian Zhang (Chinese Academy of Sciences, China)=20 Jianjun Zhao (Shanghai Jiao Tong University, China) Hong Zhu (Oxford Brookes University, UK) Huibiao Zhu (East China Normal University, China)=20 Important Dates: =09 Feburary 20, 2009: Title and abstract submission deadline Feburary 27, 2009: Paper submission deadline April 20, 2009: Acceptance/rejection notification=09 May 11, 2009: Camera-ready version due July 29 - 31, 2009: TASE 2009 ------_=_NextPart_001_01C9450E.EEC2EF4E Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable First Call for Papers: TASE 2009

TASE 2009 - FIRST CALL FOR PAPERS

******************************************
* 3rd IEEE International Symposium on
* Theoretical Aspects of Software Engineering
* (TASE 2009)
* 29-31 July 2009, Tianjin, China
* http://www.dur.ac.uk/ieee.tas= e2009
*
* For more information email: IEEE.TASE2009@durham.ac.uk
**********************************************************

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 2009 is a forum for
researchers from academia, industry and government to present ideas,
results, and ongoing research on theoretical advances in software
engineering.

TASE 2009 is the third in a series of conference, sponsored by IEEE = CS
and IFIP. The first TASE conference was held in Shanghai, China, in
June 2007.  The second TASE conference was held in Nanjing, China, = in
June 2008.

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

Program Co-Chairs
-----------------
Wei-Ngan Chin           = (National Univ. of Singapore, Singapore)
Shengchao Qin           = (Durham University, UK)

Program Committee
-----------------
Bernhard Aichernig      (Graz University of = Technology, Austria) .
Stefan Andrei           = (Lamar University, USA)
Keijiro Araki           = (Kyushu University, Japan)
Farhad Arbab    =         (CWI and Leiden University, = Netherlands)
Jonathan Bowen          (King's = College London, UK)
Michael Butler          = (University of Southampton, UK)
Juan Chen       =         (Microsoft Research, USA)
Tyng-Ruey Chuang        (Academica = Sinica, Taiwan)
Jim Davies      =         (University of Oxford, = UK)
Zhenhua Duan    =         (Xidian University, = China)
Xinyu Feng      =         (Toyota Technological Inst. = at Chicago, USA)
Dieter Gollmann         (Hamburg = University of Technology, Germany)
Tetsuo Ida      =         (University of Tsukuba, = Japan)
Radu Iosif      =         (Verimag, CNRS, France)
Xuandong Li     =         (Nanjing University, = China)
Kung-Kiu Lau    =         (University of Manchester, = UK)
Shaoying Liu    =         (Hosei University, Japan)
Dorel Lucanu    =         (University of Iasi, = Romania)
Tom Maibaum     =         (McMaster University, = Canada)
Darko Marinov           = (Univ. of Illinois at Urbana-Champaign, USA)
Huaikou Miao    =         (Shanghai University, = China)
Peter Mueller           = (ETH Zurich, Switzerland)
Viet Ha Nguyen          (Vietnam = National University, Vietnam)
Sungwoo Park    =         (Pohang Univ. of Science and = Technology, Korea)
Corneliu Popeea         (MPI-SW, = Germany)
Geguang Pu      =         (East China Normal = University, China)
Zongyan Qiu     =         (Peking University, = China)
Volker Stolz    =         (UNU/IIST, Macau)
Jing Sun        =         (University of Auckland, New = Zealand)
Jun Sun         =         (National Univ. of Singapore, = Singapore)
Kenji Taguchi           = (National Institute of Informatics, Japan)
Yih-Kuen Tsay           = (National Taiwan University, Taiwan)
Linzhang Wang           = (Nanjing University, China)
Xianbing Wang           = (Wuhan University, China)
Wang Yi         =         (Uppsala University, = Sweden)
Jim Woodcock    =         (University of York, UK)
Hongyu Zhang    =         (Tsinghua University, = China)
Jian Zhang      =         (Chinese Academy of Sciences, = China)
Jianjun Zhao    =         (Shanghai Jiao Tong = University, China)
Hong Zhu        =         (Oxford Brookes University, = UK)
Huibiao Zhu     =         (East China Normal = University, China)

Important Dates:       
        Feburary 20, 2009: =      Title and abstract submission deadline
        Feburary 27, 2009: =      Paper submission deadline
        April 20, 2009: =         Acceptance/rejection = notification      
        May 11, 2009:   =         Camera-ready version due
        July 29 - 31, 2009: =     TASE 2009

------_=_NextPart_001_01C9450E.EEC2EF4E--