[Prev][Next][Index][Thread]
PROCOMET'98 registration extended
*** EXTENDED DEADLINE FOR EARLY REGISTRATION: 15 MAY 1998!! ***
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
The deadline for early registration is 15 MAY 1998.
--
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