PAPER SUBMISSION DEADLINE EXTENSION FOR CSD'98 
Author Message
 PAPER SUBMISSION DEADLINE EXTENSION FOR CSD'98

PAPER SUBMISSION DEADLINE EXTENSION FOR CSD'98
International Conference on Application of Concurrency to System Design

There have been several requests for an extension of the deadline for paper
submission to the conference.
The Technical Committee has been able to set up a review process by e-mail
that allowed us to grant such an extension.
We request every prospective author to


of the paper by October 31.
(2) send to the Program Chairs BY E-MAIL a postscript FILE with the content of
the paper by November 15.
The postscript file should be generated (with the maximum portability options
(e.g. if you produce it from Word or FrameMaker).
Compression (pkzip or gzip) and encoding (uuencode or base64) is acceptable,
and recommended for large papers (above 100K).
The second e-mail should also contain, in plain text form, the cover page with
the authors' addresses (including that cover page in postscript form is
acceptable).
===========================================================
International Conference on Application of Concurrency to System Design
(CSD'98)
March 23-26, 1998, Aizu-Wakamatsu, Japan
Sponsored by:

The IEEE Computer Society - VLSI-TC,
The IEICE TG on Concurrent System Technology,
The SICE TG on Discrete Event Systems,
The IMACS scientific association

In Cooperation With:

IFIP WG 10.3, 10.5, The University of Aizu
The UN University/IIST, Formal Methods Europe

GENERAL CHAIR:


The University of Aizu, Japan

PROGRAM CHAIRS:

Wolfgang Reisig (theory)
Humboldt Universitat zu Berlin, Germany

tel.+49-30-20181219, fax:+49-30-20181221

Luciano Lavagno (application)
Politecnico di Torino, Italy
Cadence Berkeley Labs, USA

tel.+39-11-5644150, fax:+39-11-5644099

CONFERENCE CO-CHAIRS:

Sadatoshi Kumagai - Osaka Univ., Japan

tel.+81-06-879-7693, fax:+81-06-875-2672


The University of Aizu, Japan
tel.+81-242-372557, fax:+81-242-372744

PUBLICATION CHAIR:

Masaru Naniwada - NEC Corp., Japan,

PUBLICITY CHAIR:


Tokyo Institute of Technology, Japan

FINANCE CHAIR:


The University of Aizu, Japan

LOCAL ARRANGEMENT CHAIR:


The University of Aizu, Japan

TUTORIAL/CAD BOOTH CHAIR:


The University of Aizu,Japan

INDUSTRY RELATIONS:

Shinichi Honiden - Toshiba Corp., Japan,

Yoshihiro Ueda - OkI Electric,

Naoshi Uchihira - Toshiba Corp., Japan,

The International Conference on Application of Concurrency to System Design
is being organized as a forum for disseminating advanced research results on
theory and practice of design of concurrent systems. While there are a few
``success stories'' in this field, there is a real need to provide
practitioners with adequately sound and expressive tools, and researchers
with real motivations and examples. The aim of this conference is to
contribute towards this goal by bringing together experts in a wide variety
of fields related to complex concurrent system design and analysis.

TOPICS OF INTEREST:

Formal and semi-formal models: Petri nets, Temp{*filter*}Logics, Data Flow nets,
Statecharts, Synchronous Languages, HDLs, etc.

Formal methods for CAD and verification of concurrent systems: model
checking, asynchronous design, high-level synthesis, hardware/software
co-design, etc.

Real-time and hybrid systems

Case studies of concurrent systems design and verification

Presentation of software tools supporting the above topics

PAPERS: Submitted papers should be no more than 15 pages in 11-point font
with a 60-word abstract, and should include a cover page with authors'
physical and e-mail addresses, phone and FAX numbers. Prospective authors
should submit BY EMAIL a text file containing the title and an abstract by
October 30, and a postscript file containing the FULL manuscript and a cover
page by November 15, 1997 to:



Accepted papers are intended to appear in series by the IEEE Computer
Society Press. A limited number of travel grants will be available for
conference contributors.


Phone : (+81) 242 37 2557, Fax : (+81) 242 37 2744

On the World Wide Web at URL: http://www.*-*-*.com/

IMPORTANT DATES:

Abstracts due BY EMAIL: October 30, 1997
Papers due BY EMAIL: November 15, 1997

Notification of acceptance by: December 1, 1997

Final Version by: January 5, 1998

PROGRAM COMMITTEE: Gerard Berry (France) Manfred Broy (Germany)
Roy Campbell (USA) Edmund Clarke (USA) Jordi Cortadella (Spain)
Jorg Desel (Germany) Javier Esparza (Germany) Jean-Luc Gaudiot (USA)
Kunihiko Hiraishi (Japan)
Rene Jacquart (France) Tomasz Janowski (Macau) Timothy Kam (USA) Shmuel Katz
(Israel) Michael Kishinevsky (Japan) Bob Kurshan (USA) Edward Lee (USA)
Dong-Ik Lee (Korea) Shin-ichi Minato (Japan) Takashi Nanya (Japan) Mogens
Nielsen (Denmark) Kenji Onaga (Japan) Carl Pixley (USA) Patrick Scaglia
(USA) Fabio Somenzi (USA) Pasupathy Subrahmanyam (USA)
Achim Sydow (Germany) P.S. Thiagarajan (India) Antti Valmari (Finland)
Jim Woodcock (UK) Zhou Chaochen (Macau)
===========================================================

--
Kind regards
Alexander Taubin
THE UNIVERSITY OF AIZU  phone   +81-242-37-2572 (office)        
Tsuruga, Ikki-machi, Aizu-Wakamatsu City fax     +81-242-37-2744        

---- <A HREF=" http://www.*-*-*.com/ ~taubin/">------------------------



Tue, 11 Apr 2000 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. PAPER SUBMISSION DEADLINE EXTENSION FOR CSD'98

2. 2nd CALL FOR PAPERS-Application of Concurrency to System Design (CSD'98)

3. CALL FOR PAPERS (CSD'98)

4. 2nd CALL FOR PAPERS-Application of Concurrency to System Design (CSD'98)

5. CALL FOR PAPERS (CSD'98)

6. APL'92 draft paper submission deadline

7. O'Reilly Perl Conference Paper Submission Deadline

8. Extended Paper Submission Deadline for RTAS'96

9. Call for Papers Deadline Extension - Int'l Verilog HDL Conference

10. Deadline extension-CFP-OOPSLA 98 Workshop on Implementation and Application of Object Oriented Workflow Management Systems

11. APL94 paper submission deadline

12. Submission Deadline - Call for Papers VM 2004 (San Jose, 5/04)

 

 
Powered by phpBB® Forum Software