PLConferences
All events

Workshop

UNSOUND

’26
Workshop on Sources of Unsoundness in Type Systems and Verification
Brussels, BelgiumJune 30, 2026
  • Types
  • Verification

Dates & Deadlines

Official page
  • PaperApr 14passed
  • NotificationApr 19passed

Part of

Last updated May 17, 2026