IFIP Working Group 2.1 -- Algorithmic Languages and Calculi

 [IFIP logo]
...a working group within TC-2 (Software: Theory and Practice), which in turn is a technical committee of IFIP (International Federation for Information Processing).

Contents of this page:    WG2.1 Events  |  Aim  |  Scope  |  Members  |  Profile  |  Wiki

Aim

To explore and evaluate new ideas in the field of programming, possibly leading to the design of new languages.

Scope

  1. The study of calculation of programs from specifications.
  2. The design of notations for such calculation.
  3. The formulation of algorithm theories, using such notations.
  4. The investigation of software support for program derivation.
  5. Continuing responsibility for ALGOL 60 and ALGOL 68.

Members

Robert Paige was a member of the group until his death in October 1999, Armando Haeberer until his death in February 2003.

Profile

The secretary maintains a profile, which presents a formal description of the group, identifies its position within the IFIP hierarchy, records recent previous meetings, and collects members' specific research interests.

Jeremy Gibbons (email: Jeremy.Gibbons@comlab.ox.ac.uk) - September 2005.
TinyURL for this page: http://www.tinyurl.com/d6fkw.