Annual Meeting of IFIP Working Group 2.2: Formal Description of Programming Concepts

RWTH Aachen University, Aachen, Germany

September 24-26, 2025

The primary aim of IFIP Working Group 2.2 is to explain programming concepts through the development, examination and comparison of various formal models of these concepts. In 2025, its annual meeting is organized by the Software Modeling and Verification Group at RWTH Aachen University.

Programme

TBA

Venue

The meeting will take place in room 001 on the ground floor in the GRS German Research School at Schinkelstraße 2 in 52062 Aachen, which is located in the city center and within walking distance from railway station Aachen-West. Online information on transportation options for getting to and moving around in Aachen and for travelling by plane is available. We kindly ask all participants to make travel arrangements on their own (with our assistance, if needed).

Accommodation

Hotel accommodation is available via Aachen Tourist Service, Booking.com, or HRS.com. As a recommendation, Motel One is a very comfortable and affordable hotel in about 15 minute walking distance from the meeting venue.

Lunches

Lunches will be on your own. The meeting venue is close to various restaurants around the corner, the city center and in the Pontstrasse.

Registration

TBA

Local Organizers

Questions

If you you need further assistance or have any questions, please contact us via ifip2025 (at) i2 (dot) informatik (dot) rwth-aachen (dot) de.