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

More snapshots from the talks! ✨ 🎤 Brigitte Pientka at IJCAR

000

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

More snapshots from the talks! 📸 🎤 Kenny Paterson at CSF

000

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

More snapshots from the talks! 📸 🎤 Maria Christakis at CAV

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

SAT - 29th International Conference on Theory and Applications of Satisfiability Testing satisfiability.org/SAT26/ Abstract Submission: February 20, 2026 Paper Submission: February 27, 2026 Author Response: April 13-17, 2026 Author Notification: April 30, 2026 Conference Dates: July 20-23, 2026

satisfiability.org

SAT 2026

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satis...

000

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

LICS - 41st Annual ACM/IEEE Symposium on Logic in Computer Science lics.siglog.org/lics26/ Abstract Submission: January 15, 2026 Paper Submission: January 22, 2026 Author Response Period: March 26–29, 2026 Author Notification: April 16, 2026 Conference Dates: July 20-23, 2026

lics.siglog.org

LICS 2026

000

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

KR - 23rd International Conference on Principles of Knowledge Representation and Reasoning kr.org/KR2026/ Abstract Submission: February 8, 2026 Paper Submission: February 13, 2026 Author Response Period: March 24-28, 2026 Author Notification: April 13, 2026 Conference Dates: July 20-23, 2026

kr.org

KR 2026

000

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

ITP - 17th International Conference on Interactive Theorem Proving itp-conference-2026.github.io Abstract Submission: February 12, 2026 Paper Submission: February 19, 2026 Author Notification: April 26, 2026 Conference Dates: July 26-29, 2026

itp-conference-2026.github.io

ITP 2026

ITP 2026 is the seventeenth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to ap...

000

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

IJCAR - 13th International Joint Conference on Automated Reasoning www.floc26.org/ijcar Abstract Submission: February 6, 2026 Paper Submission: February 13, 2026 Author Response Period: March 30-31, 2026 Author Notification: April 14, 2026 Conference Dates: July 26-29, 2026

floc26.org

FLoC 2026: The 9th Federated Logic Conference

000

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

ICLP - 42nd International Conference on Logic Programming www.semsys.aau.at/events/iclp2... Abstract Submission (Regular Papers): January 24, 2026 Paper Submission (Regular Papers): January 31, 2026 Author Notification (Regular Papers): April 17, 2026 Conference Dates: July 20-23, 2026

semsys.aau.at

Home | ICLP 2026

The 42nd International Conference on Logic Programming, Lisbon, Portugal

010

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

FSCD - 11th International Conference on Formal Structures for Computation and Deduction fscd2026.github.io Abstract Submission: January 23, 2026 Paper Submission: January 30, 2026 Author Response Period: March 23–27, 2026 Author Notification: April 16, 2026 Conference Dates: July 20-23, 2026

fscd2026.github.io

FSCD 2026@Lisbon

11th International Conference on Formal Structures for Computation and Deduction 20 - 23 July 2026

000

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

CSF - 39th IEEE Computer Security Foundations Symposium csf2026.ieee-security.org Paper Submission: January 29, 2026 Author Notification: April 1, 2026 Conference Dates: July 26-29, 2026

csf2026.ieee-security.org

CSF 2026 – 39th IEEE Computer Security Foundations Symposium

000

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

CP - 32nd International Conference on Principles and Practice of Constraint Programming cp2026.a4cp.org Abstract Submission: February 28, 2026 Paper Submission: March 7, 2026 Author Response Period: March 9-12, 2026 Author Notification: April 30, 2026 Conference Dates: July 20-23, 2026

cp2026.a4cp.org

CP 2026

000

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

CAV - 38th International Conference on Computer Aided Verification conferences.i-cav.org/2026/ Paper Submission: January 28, 2026 Author Response Period: March 30 - April 1, 2026 Author Notification: April 17, 2026 Conference Dates: July 26-29, 2026

conferences.i-cav.org

CAV 2026

38th International Conference on Computer Aided Verification

000

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

🎙️ 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

000

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

You can also find us here: - X: x.com/FLoC2026 - Facebook: www.facebook.com/profile.php?... - LinkedIn: www.linkedin.com/groups/13323...

000

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

The call for workshops will be issued in the coming weeks!

000

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

Conferences Week 2 CAV - Computer Aided Verification CSF - Computer Security Foundations IJCAR - Automated Reasoning ITP - Interactive Theorem Proving

000