[clean-list] ICFEM 2006 CALL FOR PARTICIPATION

[Chris George]

                     CALL FOR PARTICIPATION

      *************************************************************
                       ICFEM 2006: Call for Contributions
           8th International Conference on Formal Engineering Methods
                 29 October - 3 November 2006, Macao SAR, China
                      [http://www.iist.unu.edu/icfem06]
      *************************************************************

IMPORTANT: Early Registration Deadline is 15 September 2006

Keynote Speakers:

- Prof Zhou Chaochen,  (IOS, China)
- Prof Gary T. Leavens (FME Keynote Speaker, Iowa State University, USA)
- Prof John McDermid   (University of York, UK)


29-31 October: Asian Working Conference on Verified Software
31 October:    Workshops  REFINE 2006 and FMIS 2006

38 papers have been selected for presentation at ICFEM 2006
The proceedings will be available as Springer LNCS 4260.

A preliminary program is available at the conference web site
                        http://www.iist.unu.edu/icfem2006/

Areas and Topics:

---Integrated methods and theories for different programming paradigms
and design patterns
---Formal model-based development and code generation
---Formal methods for object and component systems
---Applications in model-driven and service-based architectures
---Abstraction and refinement
---Tool development  and integration for system design and verification
---Integration of formal verification tools in CASE tools
---Techniques for specification, verification and validation
---Techniques and case studies for correctness by construction
---Experiments involving  verified systems
---Testing and test-case generation
---Techniques and case studies for reverse engineering
---Applications in real-time, hybrid and critical systems
---Development methodologies with their formal foundations
---Emerging technologies


Conference Honorary Chair
   Vai Pan Iu,  University of Macau, Macao

General Chairs
   Yiping Li, University of Macau, lyp at umac.mo

   George Michael Reed, UNU-IIST, Macao, mike at iist.unu.edu

Program Co-Chairs
   He Jifeng, East China Normal University, Shanghai, China,
hjf at iist.unu.edu

   Zhiming Liu,  UNU-IIST, Macao, lzm at iist.unu.edu

Organisation Co-Chairs
   Iontong Iu, UNU-IIST, Macao, brian at iist.unu.edu

   Xiaoshan Li, University of  Macau, xsl at umac.mo

Workshop Chair
   Bernhard K. Aichernig, Graz Univ. of Tech, Austria,
aichernig at ist.tugraz.at

Publicity Chair
   Chris George, UNU-IIST, Macao, cwg at iist.unu.edu

STEERING COMMITTEE:
   Keijiro Araki, Kyushu University, Japan
   Jin Song Dong, National University of Singapore, Singapore
   Chris George, United Nations University, Macao
   Jifeng He (Chair), East China Normal University, Shanghai, China
   Mike Hinchey, NASA, USA
   Shaoying Liu, Hosei University, Tokyo, Japan
   John.McDermid, University of York, UK
   Tetsuo Tamai, University of Tokyo, Japan
   Jim Woodcock, University of York, UK


PROGRAM COMMITTEE:

   Farhad Arbab, CWI and Leiden University, the Netherlands;
   University of Waterloo, Canada.
   Ralph Back, Abo Akademi University, Finland.
   Luis Soares Barbosa, Minho University, Portugal.
   Tommaso Bolognesi,CNR, Istituto di Elaborazione della Informazione, 
Italy.
   Jonathan P. Bowen, Museophile Limited.
   Manfred Broy, Technische Universitaet Muenchen, Germany.
   Michael Butler, University of Southampton, UK.
   Ana Cavalcanti, University of York, UK.
   Yoonsik Cheon, University of Texas at El Paso.
   Philippe Darondeau, INRIA, France.
   Jim Davies, University of Oxford, UK.
   Colin Fidge, Queensland University of Technology, Australia.
   John Fitzgerald, University of Newcastle upon Tyne, UK.
   Marc Frappier, Université Sherbrooke, Canada.
   Marcelo Frias, University of Buenos Aires, Argentina.
   Atsushi Igarashi , Kyoto University, Japan.
   Mathai Joseph, Tata Consultancy Services.
   Kung-Kiu Lau, The University of Manchester, UK.
   Xuandong Li, Nanjing University, China.
   Tiziana Margaria, University of Göttingen, Germany.
   Hong Mei, Peking University, China.
   Huaikou Miao, Shanghai University, China.
   Ernst-Ruediger Olderog, University of Oldenburg Germany.
   Shengchao Qin, Durham University, UK.
   Zongyan Qiu, Peking University, China.
   Anders P. Ravn, Aalborg University, Denmark.
   Ken Robinson, University of New South Wales, Australia.
   Abhik Roychoudhury, National University of Singapore, Singapore.
   Motoshi Saeki, Tokyo Institute of Technology, Japan.
   Hassen Saidi, SRI International (US).
   Augusto Sampaio, Universidade Federal de Pernambuco, Brazil.
   Davide Sangiorgi, University of Bologna, Italy.
   Klaus-Dieter Schewe, Massey University, New Zealand.
   Peter H. Schmitt, University of Karlsruhe, Germany.
   Wolfram Schulte, Microsoft Research, USA.
   Joseph Sifakis, VERIMAG laboratory, France.
   Joao Pedro Sousa, Carnegie Mellon University, US.
   Sofiene Tahar, Concordia University, Canada.
   T.H. Tse, The University of Hong Kong
   Mark Utting, University of Waikato, New Zealand.
   Farn Wang, National Taiwan University, Taiwan.
   Martin Wirsing , Ludwig-Maximilians-University Munich, Germany.
   Qiwen Xu, University of Macau, Macao.
   Hongseok Yang , Seoul National University, Korea.
   Wang Yi, Uppsala University, Sweden.
   Jian Zhang, Institute of Software, China.

===========================

Zhiming Liu
http://www.iist.unu.edu/~lzm