FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS
IFIP WG 2.2 40^th Anniversary Meeting

The anniversary meeting

The IFIP Working Group 2.2 was established in 1965 as one of the first IFIP Working Groups. Earliest members of the WG included Dana Scott, Erwin Engeler, Jaco de Bakker, Raymond Abrial, Peter Lauer, Manfred Paul, Erich Neuhold, Maurice Nivat, Ed Blum. Throughout the years, members of the WG shaped various styles of semantics, comprising denotational, operational, algebraic, and logical semantics.

The anniversary meeting commemorates the 40-th birthday of WG. In the meeting, a number of keynote speakers and current members of the WG will give tutorial presentations on topics relevant to the WG, focusing on history (of these topics, or of the WG), but also on current outlook and future developments.

Keynote speakers: Amir Pnueli, Igor Walukiewicz, and Ernst-Rudiger Olderog (as current WG members), Dana Scott, Manfred Paul, and Hans Langmaack (as founding WG members), Leslie Lamport and Gordon Plotkin (as past WG members). See the full programme for further speakers.

The meeting takes place at Palazzo Antonini-Belgrado, of the Province of Udine, and at Palazzo Antonini-Cernazai, of the University of Udine. The meeting is organized by Marino Miculan, Furio Honsell, Department of Mathematics and Computer Science, and sponsored by the University of Udine and by Endemol Italia.

Aim and Scope of the WG 2.2

The primary aim of the IFIP WG 2.2 is to explain programming concepts through the development, examination and comparison of various formal models of these concepts. The Working Group investigates formalisms and models which represent different approaches to formal specification of programming concepts. The models of concern must, at least in part: apply to the actual and future computing milieu; have sufficient generality to describe total systems or useful subsystems; treat either: problem specification or solution specification; provide practical guides towards derivation of: capabilities, semantics, correctness, equivalence, implementability, performance and their support by the means of computer tools; assist in standards development and specification; have a pedagogical utility.