Belfast, UKApril 8 – 10, 2027
- Logic
- Formal Methods
Dates & Deadlines
Official page- AbstractOct 312mo
- PaperNov 73mo
- NotificationJan 105mo
- Camera-readyJan 255mo
Notes
- 6th edition
- Site is HTTP-only; server refuses HTTPS connections
Last updated Aug 19, 2026