[Prev][Next][Index][Thread]
REMINDER: IFIP Working Conference PROCOMET'98
[Apologies for multiple copies; this is being sent to a couple of mailing
lists.]
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
Venue
-----
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)
Submissions
-----------
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
Germany
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
News
----
For the latest news about the Working Conference please see the following
Web site:
http://www4.ncsu.edu/~rance/WWW/conferences/procomet98.html
--
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