IFIP Working Group 2.1 on Algorithmic Languages and Calculi
To explore and evaluate new ideas in the field of programming, possibly leading to the design of new languages.
- The study of calculation of programs from specifications
- The design of notations for such calculation.
- The formulation of algorithm theories, using such notations.
- The investigation of software support for program derivation.
- Continuing responsibility for Algol 60 and Algol 68.
- 31 Mar 2006