[mercury-users] [Jim.Woodcock at comlab: ICECCS 2000]

[Jim Woodcock]

Dear colleague,

Please find attached a copy of the call for papers for a conference in
Tokyo.  I hope that you might find it interesting.

I apologise if you receive this message more than once.

Best regards,

Jim Woodcock


    SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF 
            COMPLEX COMPUTER SYSTEMS (ICECCS 2000)

   Boissonade Tower, Ichigaya Campus, Hosei University, Tokyo, Japan
                     September 11-15, 2000

Sponsored by: IEEE Computer Society and the IEEE Technical Committee on 
              Complexity in Computing

In cooperation with: Information Processing Society of Japan
                     Institute of Electronics, Information and Communication  
                     Engineers of Japan (IEICE)
                     Software Engineering Association of Japan

Supported by: IEICE Communications Society Technical Committee on
              Network Revolution and Software (approval pending)

Invited speakers: John A. McDermid, University of York, UK
                  Tosiyasu L. Kunii, Hosei University, Japan
                  David Notkin, University of Washington, USA

DESCRIPTION: IEEE Computer Society's Sixth International Conference on 
the Engineering of Complex Computer Systems (ICECCS 2000) is to be held in 
Boissonade Tower, Ichigaya Campus, Hosei University, Tokyo, Japan. 

SCOPE: Complex computer systems are common in many sectors, such as
manufacturing, communications, defense, transportation, aerospace,
hazardous environments, energy, and health care.  These systems are
frequently distributed over heterogeneous networks, and are driven by many
diverse requirements on performance, real-time behavior, fault tolerance,
security, adaptability, development time and cost, long life concerns, and
other areas.  Such requirements frequently conflict, and their satisfaction
therefore requires managing the trade-off among them during system
development and throughout the entire system life.  

The goal of this conference is to bring together industrial, academic, and 
government experts, from a variety of user domains and software disciplines, 
to determine how the disciplines' problems and solution techniques interact
within the whole system.  Researchers, practitioners, tool developers and
users, and technology transition experts are all welcome.  The scope of
interest includes long-term research issues, near-term complex system
requirements and promising tools, existing complex systems, and
commercially available tools.

TOPIC AREAS:

Papers are solicited in all areas related to complex computer-based
systems, including the causes of complexity and means of avoiding,
controlling, or coping with complexity.  Topic areas include, but are not
limited to:
- - System and Software Architecture and Systems Engineering
- - Tools, Environments, and Languages for Complex Systems
- - Complex Data Management, including Distributed, Real-Time, and Mobile
  Databases
- - Formal Methods and Approaches to Achieving Dependability in Complex
  Systems
- - Integration of Heterogeneous Technologies
- - Software and System Development Processes for Complex Systems
- - Human Factors and Collaborative ("Groupware") Aspects
- - Interoperability and Standardization
- - System and Software Safety and Security 

SESSION ORGANIZATION: Different kinds of contributions are sought,
including research papers, lessons learned, status reports, and discussion
of practical problems faced by industry and user domains. The ultimate goal
is to build a rich and comprehensive conference program that can fit the
interests and needs of different classes of attendees: professionals,
researchers, managers, and students. A program goal is to organize several
sessions that include both academic and industrial papers on a given topic
and culminate panels to discuss relationships between industrial
and academic research. 

PAPER SUBMISSIONS: Papers are divided into two categories: Technical 
Papers and Industrial Experience Reports. The papers submitted to both 
categories will be reviewed by program committee members, and papers accepted 
in either category will be published in the conference proceedings. Technical 
papers should describe original research, and industrial experience reports
should describe practical projects carried out in industry, and
reflect on the lessons learnt from them. Submitted manuscripts should be in 
English and no longer than 5000 words or 20 double-spaced pages. Each 
submission should include submission category, a cover page containing title, 
all authors' names, affiliations, and complete mail and electronic mail 
addresses, together with a maximum 200 word abstract and keyword list. 

Authors of accepted papers must sign a copyright release form.  IEEE
Computer Society Press will publish the proceedings. Final versions of
accepted papers will be limited to 11 pages in the IEEE proceedings format
described at http://computer.org/cspress/instruct.htm.

SUBMISSION FORM: Electronic submission is encouraged, but hardcopy
submissions will also be accepted.  Electronic submissions may be in PDF or
portable PostScript only; word processor files will not be accepted.
If the authors are not able to submit electronically, 6 paper copies may be
submitted. All submissions, electronic or paper, are to be submitted to
the Publication Chair:

Masahiro Yamamoto
The Faculty of Intercultural Communication, Hosei University 
2-17-1 Fujimi-cho Chiyoda-Ku, Tokyo, 102-8160, Japan 
Email: yamamoto at i.hosei.ac.jp


PANEL PROPOSALS: Panel proposals (maximum 2 pages) should describe the
topic and format, and include a list of panelists who have agreed to
participate if the panel is accepted.  Panel proposals should be submitted
by electronic mail to yamamoto at i.hosei.ac.jp.

SPECIAL SESSIONS: Special sessions on various focused topics will be
organized at ICECCS 2000. If you are interested in organizing a special 
session please send a proposal including an outline of a topic, number of
papers, etc. to SPECIAL SESSION CHAIR. All papers
related to your session will be sent to you after due date for
submission. You will be responsible for selecting the papers based on
three independent reviews and chairing special session at ICECCS 2000. 
2 page abstracts of the accepted papers will be included in the conference 
proceedings. The Network Software Workshop will be planned as a 
special session of ICECCS 2000. The proceedings of the Network Software 
Workshop will be freely distributed to all participants of ICECCS 2000. 
The details of this workshop can be seen in 
http://www.ieice.or.jp/cs/nswj.

POSTER PRESENTATIONS: Poster presentations are encouraged for people who
wish to receive peer feedback, and practical examples of applied research are
particularly welcome. Papers are sent to EXHIBITS CHAIR. Poster sessions
will allow the presentation and discussion of respective papers. 2 
page abstracts of the selected papers will also be included in the conference 
proceedings. 

INDUSTRIAL EXHIBITS: ICECCS 2000 will provide industrial exhibitors an
opportunity to present their state-of-the-art systems, development tools, 
and applications. This opportunity will also allow exhibitors to exchange 
ideas with leading researchers from all around the world, and to make new 
contacts for future interactions or consulting. Proposals for exhibits are 
sent to EXHIBITS CHAIR. 

TUTORIALS: Proposals should be submitted to TUTORIAL CHAIR.

IMPORTANT DATES (In the year 2000):

January 31 - Deadline for submission of special session proposals.
March 27 - Deadline for submission of papers, panel proposals, and tutorial
          proposals.
May 10 - Deadline for submission of proposals for exhibits. 
May 31 - Notification of acceptance or rejection. 
June 30 - Deadline for receipt of accepted papers in final, camera-ready
         form. 

The ICECCS conference series can be monitored via WWW at
http://www.polimi.it/iceccs2000 or http://www.cs.uoregon.edu/iceccs2000 or
on the IEEE Computer Society home page at http://www.computer.org.

ICECCS 2000 CONFERENCE ORGANIZING COMMITTEE:

General Chair: 
Kenji Ohmori 
Faculty of Information Sciences, Hosei University 
3-7-2 Kajino-cho Koganei-shi, Tokyo 184, Japan 
Email: ohmori at k.hosei.ac.jp 
Phone: +81-423-87-6349 
Fax:   +81-423-87-6126 

Vice Chair: 
Mike Hinchey 
University of Nebraska-Omaha 
Department of Computer Science 
College of Information Science & Technology 
6001 Dodge Street, Omaha, NE 68182-0500, USA 
E-mail: Michael_Hinchey/IST/UNO/UNEBR at unomail.unomaha.edu 

Program Chairs 

Shaoying Liu 
Department of Computer Science 
Faculty of Information Sciences 
Hiroshima City University 
4-1, 3-chome, Ozuka-higashi, Asaminami-Ku 
Hiroshima 731-3194, Japan 
Phone: 81-82-830-1613 
Fax:    81-82-830-1613 
Email: shaoying at cs.hiroshima-cu.ac.jp 

Jim Woodcock  
Oxford University Software Engineering Centre 
Computing Laboratory 
Wolfson Building, Parks Road 
Oxford OX1 3QD, U.K. 
Fax: +44 (0) 1865 273839 
Tel: +44 (0) 1865 283514 
E-mail: Jim.Woodcock at comlab.ox.ac.uk 

Alexander D. Stoyen 
University of Nebraska-Omaha 
Department of Computer Science 
College of Information Science & Technology 
6001 Dodge Street, Omaha, NE 68182-0500, USA 
Tel: +1-402-554-2423 (department) 
Fax: +1-402-554-2975 
Email: Alex_Stoyen/IST/UNO/UNEBR at unomail.unomaha.edu 

Publication and Publicity Chairs 

Masahiro Yamamoto  
The Faculty of Intercultural Communication, Hosei University 
2-17-1 Fujimi-cho Chiyoda-Ku, Tokyo, 102-8160, Japan 
Email: yamamoto at i.hosei.ac.jp 

Luciano Baresi 
Politecnico di Milano, Italy
Email: baresi at elet.polimi.it 

Tutorials Chair

Yoshiaki Kakuda 
Faculty of Information Sciences 
Hiroshima City University 
4-1, 3-chome, Ozuka-higashi, Asaminami-Ku 
Hiroshima 731-3194, Japan  
Email: kakuda at ce.hiroshima-cu.ac.jp 

Exhibits Chair

Toshiyuki Nakata 
NEC Corporation 
4-1-1 Miyazaki, Miyamaeku 
Kawasaki, Kanagawa, Japan 
Email: nakata at csl.cl.nec.co.jp 

Local Arrangement 

Chair:

Masahiro Yamamoto, Hosei University, Japan

Members:

Hiromu Hayashi, Fujitsu Laboratories LTD., Japan 
Shinichi Honiden, Toshiba Corporation, Japan 
Sachiko Kawachiya, Hosei University, Japan 
Toshiyuki Nakata, NEC Corporation, Japan 
Yoshiaki Ohshima, Hosei University, Japan 
Akinao Soneoka, NTT DATA Corporation, Japan 
Kenji Suzuki, KDD R&D Laboratories Inc., Japan 

Special Session Chair

Tetsuo Tamai 
College of Arts and Sciences 
University of Tokyo 
3-8-1 Komaba, Meguro-ku, Tokyo, Japan 
Email: tamai at graco.c.u-tokyo.ac.jp 

Steering Committee Chair:

Alexander D. Stoyen 
University of Nebraska-Omaha 
College of Information Science & Technology 
6001 Dodge Street, Omaha, NE 68182-0500, USA 


Program Committee

Kiyoshi Agusa, Nagoya University, Japan 

Sten F. Andler, University of Skovde, Sweden 

Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics,
China 

Ana Cavalcanti, Federal University of Pernambuco, Brazil 

Jingde Cheng, Saitama University, Japan 

Dan Craigen, ORA, Canada 

Jin Song Dong, National University of Singapore 

John Fitzgerald, University of Newcastle upon Tyne, UK 

Hassan Gomaa, George Mason University, USA 

John Harauz, Ontario Power Generation Inc., Canada 

Chris Ho-Stuart, Queensland University of Technology, Australia 

Yoshiaki Kakuda, Hiroshima City University, Japan

Jun Matsuda, ATR Adaptive Communications Research Laboratories, Japan

Joseph Ng, Hong Kong Baptist University, China 

Hideo’¡¡Miyahara, Osaka University, Japan 

Koichiro Ochimizu, JAIST, Japan 

Takahiko Ogino, Railway Technical Research Institute, Japan 

Kazuo Iwano, IBM Tokyo Research Laboratory, Japan 

Tomase Janowski, UNU/IIST, Macau 

Kung-Kiu Lau, University of Manchester, UK 

Peter Lindsay, University of Queensland, Australia 

Tadashi Ohta, Soka University, Japan 

Mauro Pezze, Politecnico di Milano, Italy 

Jonas Mellin, University of Skovde, Sweden 

Huaikou Miao, Shanghai University, China 

Jeff Offutt, George Mason University, USA 

Alessandro Orso, Politecnico di Milano, Italy 

Peter T. Poon, Jet Propulsion Laboratory, USA 

Juan Antonio de la Puente, Universidad Politecnica de Madrid, Spain 

Jose Salinas, Texas A&M University, USA 

Jean-Jacques Schwarz, University of Lyon, France 

Etsuya Shibayama, Tokyo Institute of Technology, Japan 

Timothy K. Shih, Tamkang University, Taiwan 

Jacques Skubich, Institut National des Sciences Appliquees, France 

Yasuhiro Sugiyama, Nihon University, Japan 

Ichiro Suzuki, University of Wisconsin-Milwaukee, USA 

Tetsuo Tamai, Tokyo University, Japan 

Yuzuru Tanaka, Hokkaido University, Japan 

Kenji Toda, Electrotechnical Laboratory, Japan

Kazunori Ueda, Waseda University, Japan 

Xuequn Wu, DeTeCSM, Germany 

Yoshinori Yamaguchi, Tsukuba University, Japan 

Naoki Yonezaki, Tokyo Institute of Technology, Japan 

Michal Young, University of Oregon, USA 

Toshitsugu Yuba, University of Electro-Communications, Japan 
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------