cliff@ux.cs.man.ac.uk (Cliff Jones) (04/06/89)
C A L L F O R P A P E R S
IFIP WORKING CONFERENCE
"PROGRAMMING CONCEPTS AND METHODS"
APRIL 1990
The IFIP Technical Committee 2 Working Conference on "Programming Concepts
and Methods" is jointly organized by IFIP's Working Group 2.2 ("Formal
Description of Programming Concepts") and Working Group 2.3 ("Programming
Methodology"). Apart from the authors of accepted papers and members of both
working groups, attendance at the conference is by invitation only. The
conference is to be hosted by Amir Pnueli and will be in Israel at the
Sea of Gallilee on April 2-5,1990. The main topics on which submissions are
sought are:
- Formal description and verification methods
- Semantics of programming languages
- Systematic program design methods
- Concurrency and parallelism
- Theoretical foundations of programming concepts
- Descriptions of support tools for programming concepts
Please submit 5 copies of a complete paper by September 10th, 1989 to:
Prof. Dr. Manfred Broy
Fakultaet fuer Mathematik und Informatik
Universitaet Passau
Postfach 2540
D-8390 Passau
West Germany
MEMBERS OF THE PROGRAM COMMITTEE
J.W. de Bakker D. Gries G. Kahn
D. Bjorner E.C.R. Hehner J. Misra
A. Blikle J.J. Horning P.D. Mosses
M. Broy (chair) S. Igarashi E.J. Neuhold
R.M. Burstall M.A. Jackson M. Sintzoff
O.-J. Dahl C.B. Jones (cochair)