On the closing day of #ETAPS2026, don’t forget -- the journey continues at #FLoC2026 with the FoPSS Summer School! lcaires.github.io/fopps2026/ 📝 Register via the FLoC website: floc26.org/registration 🗓 Early registration deadline: June 1st

You could keep procrastinating. Or you could register for FLoC 2026.🇵🇹 👉 www.floc26.org/registration Also: students can apply for travel support to attend the FLoC’26 Mentoring Workshop! 🗓️ Scholarship deadline: April 13 👉 forms.gle/89q9AaNfZV3f... More details: www.floc26.org/mentoring-wo...

**Call for Scholarship Applications** Limited travel support available for students attending #FLoC26 Mentoring Workshop @floc2026.bsky.social. Deadline: 13 April, 2026 Apply at: forms.gle/89q9AaNfZV3f... Notification: 20 April, 2026 Help us spread the word! More details: tinyurl.com/floc26mw

∀ 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

📼 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

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

⏳ 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

📢 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

Two weeks to the workshop proposal deadline on Sep 24! Submit your proposals via submissions.floc26.org/workshops/ #floc2026

First Call for Workshops! www.floc26.org/call-for-wor... Important Dates * Submission Deadline: September 24, 2025 * Notification of Acceptance: October 17, 2025 * Workshop Dates - first block: July 18-19, 2026 * Workshop Dates - second block: July 24-25, 2026

FLoC brings together brings together the world's leading researchers in logic and computer science. 📍 Location: Institut Universitaire de Lisbonne (ISCTE), Lisbon, Portugal 📆 Dates: July 20-23, 26-29 (Conferences), July 18-19, 24-25 (Workshops), July 13-17 (FoPSS School) 🌐 Website: www.floc26.org

🚀 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