#FSCD2026
🚀 FLoC 2026 Week 1 starts today!

This week brings together six outstanding conferences:
🔹 CP
🔹 FSCD
🔹 ICLP
🔹 KR
🔹 LICS
🔹 SAT

Welcome to everyone joining us in Lisbon. We wish you a fantastic start to #FLoC2026!
#CP2026 #FSCD2026 #ICLP2026 #KR2026 #LICS2026 #SAT2026
July 20, 2026 at 7:59 AM
FSCD - 11th International Conference on Formal Structures for Computation and Deduction
fscd2026.github.io
Abstract Submission: January 23, 2026
Paper Submission: January 30, 2026
Author Response Period: March 23–27, 2026
Author Notification: April 16, 2026
Conference Dates: July 20-23, 2026
FSCD 2026@Lisbon
11th International Conference on Formal Structures for Computation and Deduction 20 - 23 July 2026
fscd2026.github.io
December 19, 2025 at 9:54 AM