Conference

FoSSaCS

’25

Foundations of Software Science and Computation Structures

Hamilton, CanadaMay 5 – 8, 2025

Semantics
Formal Methods

Dates & Deadlines

PaperOct 10passed
RebuttalDec 5passed
NotificationDec 20passed
Camera-readyJan 30passed

Last updated May 17, 2026