PLConferences
All events

Workshop

PERR

’26
Workshop on Program Equivalence and Relational Reasoning
Lisbon, PortugalJuly 24, 2026
  • Verification
  • Semantics

Dates & Deadlines

Official page
  • PaperMay 5passed
  • NotificationMay 28passed
  • Camera-readyJun 25passed

Part of

Co-located with

Last updated May 17, 2026