Skip to main navigation Skip to search Skip to main content

International Workshop on Programs from Proofs

Activity: Academic conferences and events (excluding conference publications) › Major conference organising role

Description

A one-off international workshop bringing together researchers from across Europe.
Period15 Sept 2025 → 16 Sept 2025
Event typeConference
Degree of RecognitionInternational