IFIP Working Group 2.2
Formal Description of Programming Concepts

Next meeting

The 2020 meeting will be held in Münster, Germany, in September 2020, organized by Markus Müller-Olm. The precise dates will be announced here soon.