IFIP Working Group 2.2
Formal Description of Programming Concepts
Next meeting
The 2022 meeting will be held in Münster, Germany, organized by Markus Müller-Olm in the period September 19-21, 2022.