iiinova — where your digital self keeps evolving

FLoC 2026 @floc2026.bsky.social · 29/07/2026

✈️ #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! 🌍

031

FLoC 2026 @floc2026.bsky.social · 29/07/2026

✨ 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! 🏆🎉

010

FLoC 2026 @floc2026.bsky.social · 28/07/2026

🌟 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

040

FLoC 2026 @floc2026.bsky.social · 27/07/2026

🎙️ Logic Lounge with Kathleen Fisher is happening now in Grande Auditório! ✨ 🤖🛡️ Proof Against Attack: Can AI Help Build Software We Can Trust? 🔍💻 #FLoC2026 #CAV2026

000

FLoC 2026 @floc2026.bsky.social · 27/07/2026

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

310

FLoC 2026 @floc2026.bsky.social · 26/07/2026

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

030

FLoC 2026 @floc2026.bsky.social · 26/07/2026

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! ✨

230

FLoC 2026 @floc2026.bsky.social · 25/07/2026

Did you grab your conference bag? They are in room B1.02!

FLoC 2025 conference bag and its content

010

FLoC 2026 @floc2026.bsky.social · 25/07/2026

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

floc26.org

FLoC 2026: The 9th Federated Logic Conference

000

FLoC 2026 @floc2026.bsky.social · 24/07/2026

#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

020

FLoC 2026 @floc2026.bsky.social · 23/07/2026

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!

030

FLoC 2026 @floc2026.bsky.social · 21/07/2026

Fueling logic, one lunch break at a time. 🫒 Great energy at #FLoC2026 today!

011

Reposted by FLoC 2026

jhemann.bsky.social @jhemann.bsky.social · 19/07/2026

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

101

FLoC 2026 @floc2026.bsky.social · 20/07/2026

🚀 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

010

FLoC 2026 @floc2026.bsky.social · 18/07/2026

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

floc26.org

FLoC 2026: The 9th Federated Logic Conference

021

FLoC 2026 @floc2026.bsky.social · 17/07/2026

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!

010

FLoC 2026 @floc2026.bsky.social · 13/07/2026

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!

010

FLoC 2026 @floc2026.bsky.social · 02/07/2026

🎉 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

011

FLoC 2026 @floc2026.bsky.social · 22/06/2026

🔐 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

luma.com

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:…

000

FLoC 2026 @floc2026.bsky.social · 19/06/2026

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!

020

FLoC 2026 @floc2026.bsky.social · 16/04/2026

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

011

FLoC 2026 @floc2026.bsky.social · 16/03/2026

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...

002

Reposted by FLoC 2026

Anastasia Isychev @isychev.bsky.social · 03/03/2026

**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

forms.gle

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...

046

FLoC 2026 @floc2026.bsky.social · 24/02/2026

∀ 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

floc26.org

FLoC 2026: The 9th Federated Logic Conference

012

FLoC 2026 @floc2026.bsky.social · 31/01/2026

📼 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

041

FLoC 2026 @floc2026.bsky.social · 09/01/2026

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

051

FLoC 2026 @floc2026.bsky.social · 19/12/2025

⏳ 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

1023

FLoC 2026 @floc2026.bsky.social · 12/11/2025

📢 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

floc26.org

FLoC 2026: The 9th Federated Logic Conference

113

FLoC 2026 @floc2026.bsky.social · 10/09/2025

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

submissions.floc26.org

000

FLoC 2026 @floc2026.bsky.social · 12/08/2025

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

001

FLoC 2026 @floc2026.bsky.social · 21/07/2025

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

311

FLoC 2026 @floc2026.bsky.social · 18/07/2025

🚀 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

floc26.org

FLoC 2026: The 9th Federated Logic Conference

132