IFIP Working Group 2.2
Formal Description of Programming Concepts

The Working Group 2.2. congratulates its member emeritus Leslie Lamport
on his winning the Turing Award.


The primary aim of the Working Group 2.2 is to explain programming concepts through the development, examination and comparison of various formal models of these concepts.


The Working Group will investigate formalisms and models which represent different approaches to formal specification of programming concepts. The models of concern must, at least in part:

and their support by the means of computer tools;