🌟 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
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
July 28, 2026 at 8:59 AM
🌟 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
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
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
A wonderful setting to celebrate the second week of FLoC 2026. #CAV2026 #CSF2026 #IJCAR2026 #ITP2026 #LogicInCS
July 26, 2026 at 6:30 PM
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
A wonderful setting to celebrate the second week of FLoC 2026. #CAV2026 #CSF2026 #IJCAR2026 #ITP2026 #LogicInCS
∀ 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 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
www.floc26.org
February 24, 2026 at 2:56 PM
∀ 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 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
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
January 31, 2026 at 9:46 AM
📼 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
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
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
January 9, 2026 at 8:17 AM
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
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
📆 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
December 19, 2025 at 9:53 AM
⏳ 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
📆 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
🎙️ 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
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
November 12, 2025 at 9:23 AM
🎙️ 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
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
📢 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
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
www.floc26.org
November 12, 2025 at 9:09 AM
📢 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
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
🚀 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
FLoC 2026: The 9th Federated Logic Conference
floc26.org
July 18, 2025 at 12:06 PM
🚀 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