iFS 2027

Programme Committees

Date
10 April 2027 — 15 April 2027
Event
First International Conference on Foundations and Formal Methods for Software and Systems
Location
Copenhagen, Denmark
Service
Einar Broch Johnsen
Einar Broch Johnsen
Professor