✈️ #FLoC2026 is coming to an end. Thank you to everyone who made these two week so memorable: speakers, organizers, volunteers, sponsors, and all participants who brought their energy and enthusiasm. Wishing everyone a safe journey back home. See you all again soon! 🌍
✨ The grand social event of #FLoC2026 Week 2! A wonderful evening at the historic Pavilhão Carlos Lopes. Congratulations once again to all the recipients of the conference awards and to the winners of the FLoC Olympic Games! 🏆🎉
🌟 FLoC 2026 keynote highlight! This morning, Işıl Dillig took the stage in the Grande Auditório with her keynote: an engaging perspective on bridging machine learning and formal methods to make AI systems more reliable and trustworthy. #FLoC2026 #AI #NeuroSymbolicAI #LogicInCS
Four conferences, four invited talks, another exciting day at #FLoC2026! ✨ 🎤 Maria Christakis at CAV 🎤 Kenny Paterson at CSF 🎤 Brigitte Pientka at IJCAR 🎤 Dominic Mulligan at ITP
The #FLoC2026 Week 2 Reception is underway at the beautiful Pátio da Galé! 🥂 A wonderful setting to celebrate the second week of FLoC 2026. #CAV2026 #CSF2026 #IJCAR2026 #ITP2026 #LogicInCS
Leonardo de Moura kicked off #FLoC2026 Week 2 with the opening keynote, marking the start of another exciting week here in Lisbon. “Formal methods have never been more relevant.” This week brings together the communities of CAV, CSF, ITP, and IJCAI. Welcome to Week 2! ✨
Second day of the #FLoC2026 mid-conference workshops! ✨ On the menu: ACV, AIMACS, AR4Space, CI-BD-SOQE, CMSB, CompBench, FCS, FORCE, HCVS, IMLA, Isabelle, Lean, LOGICNN, LPOP, MartaFest, MC, Mentoring Workshop, PAAR, PCCR, RocqWS, SAIV, SD, SMT, SYNT, TEAL, VeriProP, WiL, WST. www.floc26.org/program
FLoC 2026: The 9th Federated Logic Conference
floc26.org
#FLoC2026 Week 1 comes to an end, time for the mid-conference workshops! ✨ Today: ACV, ARQNL, CI-BD-SOQE, CMSB, CREST, HYPER, IMLA, IWC, Isabelle, LFMTP, LINDA, PCCR, PERR, RajeevFest, SAIV, SD, SMT, Soft, THEMA, TPTPTP, UNIF, Vampire, WiL, XLoKR-ExCoS. www.floc26.org/program
An unforgettable #FLoC2026 Week 1 banquet at the iconic Praça de Touros do Campo Pequeno! Guests enjoyed a beautiful Fado performance, a taste of Portugal’s musical tradition. The evening also celebrated the winners of the ICLP and SAT awards. Congratulations again to them!
hemann.pl/floc26/ If you are as overwhelmed as I was by #FLoC26 and all the events, you might find it useful to look at the daily sessions side-by-side.
hemann.pl
FLoC workshops are in full swing! 🚀 Today: ASPOCP, CARLA, CPSATDP, DefDesKR, DL, DPSOLVE, ELASP, EULP, FMQC, GALOP, ICLP-DC-SS, IFIP16, ITRS, LCC, LSFA, ML4SP, MoST, MSFP, NMR, OVERLAY, PC, RCRA, SKILLED-LLMs, SmP, ST4DM, SteamingNeSy, TGD, TLLA. Explore the program here: www.floc26.org/program
FLoC 2026: The 9th Federated Logic Conference
floc26.org
FLoC 2026 continues today with the start of the 3-day workshops: 🔹 DL 2026 – 39th International Workshop on Description Logics: dl-2026.github.io 🔹 NMR 2026 – 24th International Workshop on Non-Monotonic Reasoning: nmr.krportal.org/2026/ Wishing everyone productive and inspiring discussions!
The wait is over! 🎉 FLoC 2026 officially kicked off today with the 6th FoPSS and the 13th SAT/SMT/AR Summer Schools. A fantastic start to two weeks of inspiring talks, cutting-edge research, and opportunities to connect. Welcome to everyone joining us in Lisbon, we're excited to have you here!
🎉 FLoC 2026 is almost here! ✅ 1,800+ registrations so far 🤝 Fantastic sponsors: AWS, NVIDIA, Associação de Turismo de Lisboa, Ndea, Cadence, GE Aerospace, Google, Harmonic, Potassco, Instituto Superior Técnico, ULisboa, INESC-ID & ACM. 📅 Registration closes July 13. #FLoC2026
🔐 Can AI help us build software we can actually trust? Join Kathleen Fisher for the Logic Lounge: Proof Against Attack: Can AI Help Build Software We Can Trust? 📅 July 27, 18:00 📍 Lisbon (@ CAV/FLoC 2026) Register: luma.com/0s27y7ox #FLoC2026 #CAV2026
Proof Against Attack: Can AI Help Build Software We Can Trust? · Luma
AI is making cyberattacks easier to launch, harder to spot, and possible at much greater scale. At the same time, more of everyday life depends on software:…
luma.com
FLoC 2026 is just ~1 month away 🇵🇹 Plan you stay! Official Hotel List & Rates: www.floc26.org/accommodation Discover Lisbon and Portugal: www.floc26.org/tourism We couldn't be more excited to welcome you to Portugal!
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
FLoC 2026 Mentoring Workshop - Application for Travel Scholarship
A number of travel scholarship are available to sponsor the physical attendance of students at one of the FLoC 2026 conference blocks and the corresponding Mentoring Workshop day. Please fill this for...
forms.gle
∀ 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
FLoC 2026: The 9th Federated Logic Conference
floc26.org
📼 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
FLoC 2026: The 9th Federated Logic Conference
floc26.org
Two weeks to the workshop proposal deadline on Sep 24! Submit your proposals via submissions.floc26.org/workshops/ #floc2026
submissions.floc26.org
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
