🚀 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

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