REMINDER: IFIP Working Conference PROCOMET'98

[Apologies for multiple copies; this is being sent to a couple of mailing

Let me draw your attention to the IFIP (International Federation for
Information Processing) Working Conference

          PROCOMET'98  (Programming Concepts and Methods)

which takes place on Shelter Island on the outskirts of Long Island,
New York, in June 1998. The deadline for the submission of papers is
getting close:

                        15 October 1997.

In a time of so many workshops and conferences why should you wish
to submit your paper to this conference ?

The main attraction of an IFIP Working Conference is that top researchers
of the field will gather and provide a forum for extensive feedback on
your work. Thus typically there will be a long and fruitful discussion
after each presentation at the Working Conference. Your future research
will benefit from this discussion.

PROCOMET'98 is organized jointly by two IFIP Working Groups, and the
Program and Organizing Committee is drawn from their members and observers:
see the call for papers below and the corresponding Web site. Previous
working conferences in this series took place in Denmark (1986), Israel
(1990), and Italy (1994).

So don't miss your chance in 1998! Submit your best paper to PROCOMET'98 ...
or encourage other members of your group to do so.

Yours sincerely,
Ernst-Ruediger Olderog

                          CALL FOR PAPERS

                     IFIP Working Conference on
                   Programming Concepts and Methods

                           (PROCOMET '98)

                           8-12 June 1998
                   Shelter Island, New York --- USA

The IFIP Working Groups

        2.2 Formal Description of Programming Concepts
        2.3 Programming Methodology

are jointly organizing an IFIP Technical Committee 2 Working Conference.
Attendence at this conference is restricted to authors of accepted papers,
members of both working groups, and a number of invitees.

The main topics on which submissions are sought are:

 * Compositional approaches to specification and verification
 * Specification, verification, and development of concurrent systems,
   in particular of reactive, real-time, and hybrid systems
 * Abstraction and refinement methods in specification and verification
 * Semantics of specification and programming concepts
 * Logical and algebraic foundations of specification and verification
 * Formalization of high-level requirement analysis and design methods
   such as synchronous languages
 * Design of verification support tools
 * Practical software-engineering issues in using programming concepts
   and methods

Program chairs and editors of the proceedings

 D. Gries  and  W.-P. de Roever

Program Committee

 Eike Best
 Manfred Broy
 Ernie Cohen
 Philippe Darondeau
 Rocco De Nicola
 David Gries
 Ian Hayes
 Furio Honsell
 Jim Horning
 Jay Misra
 Carroll Morgan
 Ernst-Ruediger Olderog
 Benjamin Pierce
 Amir Pnueli
 Anders Ravn
 Willem-Paul de Roever
 Fred B. Schneider
 Michel Sintzoff
 Bernhard Steffen
 Andrzej Tarlecki
 Frits Vaandrager
 Pamela Zave


The conference will take place June 8--12, 1998 at the Ram's Head Inn on
Shelter Island, New York.  Shelter Island is situated between the North and
South Forks of Long Island, two hours from Manhattan and southern New
England.  Nearly one-third of this 8000-acre island is owned by The Nature
Conservancy and kept in a forever-wild state.  The Preserve has four nature
and bird-watching trails, varying in length from 1.5 miles to 11 miles, as
well as a barrier-free Braille trail for the visually impaired.

Organizing Committee

 S.A. Smolka (chair) and  R. Cleaveland (co-chair)


Authors should send 5 copies of a complete paper (at most 20 pages)
by October 15, 1997 to:

 Prof. Dr. D. Gries                     Prof. Dr. W.-P. de Roever
 Computer Science, Upson Hall           Institut fuer Informatik
 Cornell University             or to   Christian-Albrechts-Universitaet
 Ithaca, NY 14853                       Preusser Strasse 1-9
 USA                                    D-24105 Kiel

 gries@cs.cornell.edu                   wpr@informatik.uni-kiel.de

Electronic submissions are also encouraged. For details see the News on the
Web site below. Each submitted paper should be complete with the author's
address including e-mail and fax, a short abstract, and a list of keywords.

All submissions will be refereed the normal way. Authors will be notified
about acceptance of their papers by January 5, 1998. Revised versions of
the papers are due by February 15, 1998. The proceedings of the conference
will be published by Chapmann & Hall and will be available at the conference.

Conference Timetable

 October 15, 1997             Submission deadline
 January 5, 1998              Notification letters
 February 15, 1998            Camera-ready copy for final proceedings due
 June 8--12, 1998             Working Conference


For the latest news about the Working Conference please see the following
Web site:


Rance Cleaveland (rance@csc.ncsu.edu)
Tel:   (919) 515-7862 (voice), (919) 515-7925 (fax)
WWW:   http://www4.ncsu.edu/~rance/WWW/
Post:  Dept. of Comp. Sci., EGRC, N.C. State Univ., Raleigh, NC 27695-7534