[Prev][Next][Index][Thread]

PROCOMET '98

                            CALL FOR PARTICIPATION

                          IFIP Working Conference on
                       Programming Concepts and Methods

                                 PROCOMET '98

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

          http://www4.ncsu.edu/~rance/WWW/conferences/procomet98.html

The IFIP Working Groups

        2.2 Formal Description of Programming Concepts
        2.3 Programming Methodology

are pleased to announce that the program for PROCOMET '98 has been set and to
invite the community to participate in the meeting.  The program consists of
four invited lectures (by W. Damm, R. Leino, C.-J. Seger, and D.S. Warren), a
special educational session organized by D. Gries, and 24 contributed
presentations.  The conference will take place at the historic Ram's Head Inn
on scenic Shelter Island, New York.  The main topics of the conference include:

 * 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

For more information about the conference, and for directions on how to
register, please consult the official URL for PROCOMET '98:

          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