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

The world’s largest federated conference in logic & automated reasoning, FLoC 2026 (floc26.org), will be in Lisbon! Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? floc26.org/sponsors/FLoC2…

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

📼 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 🇵🇹 🔗 floc26.org #FLoC2026 #LogicInCS #FormalMethods #Lisbon

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

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