PROCOMET '98 Call for papers

[Apologies for multiple copies.]

                          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