∀ researchers. ∃ registration.
FLoC 2026 registration is now open!
👉 www.floc26.org/registration
Early bird rates end on May 15th.
QED.
See you in Lisbon. 🇵🇹
#FLoC2026 #LogicInCS #Lisbon
1
2
0
0
#LogicInCS
Posts tagged #LogicInCS on Bluesky
📼 Throwback to FLoC 1996
30 years ago, the very first #FLoC brought together
CAV, CADE, LICS, and RTA (now FSCD).
Three decades later, the same core vision.
📍 Next chapter: Lisbon, 2026 🇵🇹
🔗 www.floc26.org
#FLoC2026 #LogicInCS #FormalMethods #Lisbon
5
1
0
0
Happy New Year from #FLoC2026! 🎉
A gentle reminder that deadlines are coming up -- soon will be the time to submit!
If you are writing from cold weather, just imagine presenting your accepted paper under the Portuguese sun this summer ☀️🇵🇹 #LogicInCS #Lisbon
5
1
0
1
⏳ FLoC 2026 Deadlines Coming!
📆 Jan 15+22 (LICS)
📆 Jan 23+30 (FSCD)
📆 Jan 24+31 (ICLP)
📆 Jan 28 (CAV)
📆 Jan 29 (CSF)
📆 Feb 6+13 (IJCAR)
📆 Feb 8+13 (KR)
📆 Feb 12+19 (ITP)
📆 Feb 20+27 (SAT)
📆 Feb 28+Mar 7 (CP)
Learn more: www.floc26.org
#FLoC2026 #LogicInCS
2
3
10
0
🎙️ Invited Speakers at #FLoC2026
We’re thrilled to welcome:
* Alessandra Russo
* Giuseppe De Giacomo
* Işil Dillig
* Leonardo De Moura
Join us in Lisbon to hear their inspiring talks! #LogicInCS
0
0
0
0
📢 Call for Submissions – FLoC 2026
Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers.
🔗 Learn more and find submission details: www.floc26.org
#FLoC2026 #LogicInCS
1
3
1
0
🚀 Welcome to the official Bluesky presence of the Federated Logic Conference 2026 (FLoC 2026), coming to Lisbon, Portugal in July 2026! floc26.org #FLoC2026 #LogicInCS
3
2
1
0