ConferenceBelfast, UKApril 8 – 10, 2027
- Logic
- Formal Methods
Dates & Deadlines
Official page- AbstractOct 313w
- PaperNov 74w
- NotificationJan 103mo
- Camera-readyJan 254mo
Notes
- 6th edition
- Site is HTTP-only; server refuses HTTPS connections
Last updated Aug 19, 2026