The Coq mailing list

["tase08" <tase08 AT seg.nju.edu.cn>]

(Apologies if you have already received this message.)

                      TASE 2008
2nd IEEE Symposium on Theoretical Aspects of Software Engineering

                      Nanjing, China
                      June 17-19, 2008
                http://cs.nju.edu.cn/tase08/index.html

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

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

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 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 ¨Corientation 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.easychair.org/conferences/?conf=TASE2008 by January 28, 2008.
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 8 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/.

Important Dates:

* January 21, 2008: Title and abstract submission deadline
* January 28, 2008: Paper submission deadline
* March 10, 2008: Acceptance/rejection notification
* March 23, 2008: Camera-ready version due
* June 17-19, 2008: TASE 2008

Organization:

General Co-Chairs:   Jifeng He, East China Normal University, China
                     Jian Lu, Nanjing University, China
Program Co-chairs:   Jim Davies, Oxford University, UK
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡   Xuandong Li, Nanjing University, China

Local Organization Chair:  Linzhang Wang, Nanjing 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 (King's College London, 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)
Kung-Kiu  Lau (Manchester University, UK)
Jing Liu (East China Normal University, China)
Shaoying Liu  (Hosei University, Japan)
Zhiming Liu (UNU/IIST, Macau, China)
Annabelle Mclver (Macquarie University, Australia)
Hong Mei (Peking University, China)
Huaikou Miao (Shanghai University, China)
Masoud Mohammadian(University of Canberra, Australia)
Shankar Natarajan (SRI International, USA)
Nimal  Nissanke (London South Bank University, UK)
Geguang Pu(East China Normal University, China)
Shengchao Qin (Durham University, UK)
Zongyan Qiu (Peking University, China)
Zhong Shao (Yale University, USA)
Joseph Sifakis (Verimag, France)
Zhengdong Su (University of California at Davis, USA)
Margus Veanes (Microsoft, USA)
Sergiy Vilkomir (University of Limerick, Ireland)
Farn Wang (National Taiwan University, Taiwan)
Ji Wang (Changsha Institute of Technology, China)
Linzhang Wang(Nanjing University, China)
Heike Wehrheim (University of Paderborn, Germany)
Jim Woodcock (University of York, UK)
Dianxiang Xu(North Dakota State University, USA)
Wang Yi (Uppsala University, Sweden)
Gianluigi Zavattaro (University of Bologna, Italy)
Jian Zhang (Institute of Software, China)
Jianhua Zhao (Nanjing University, China)
Huibiao Zhu (East China Normal University, China)

Steering Program Committee

Michael Hinchey(Chair), USA
Keijiro Araki,          Japan                              
Jifeng He,              China                             
Zhiming Liu,            Macau
Mike Reed,              Macau                              
Huibiao Zhu,            China

Keynote Speakers

Edmund M. Clarke (Carnegie Mellon University)
Joost-Pieter Katoen (RWTH Aachen University)