iiinova — where your digital self keeps evolving

Reposted by Caterina Urban

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

Reposted by Caterina Urban

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

Reposted by Caterina Urban

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

Reposted by Caterina Urban

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 Caterina Urban

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

Reposted by Caterina Urban

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

Reposted by Caterina Urban

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

Reposted by Caterina Urban

SNCS-FSU Inria @sncs-inria.bsky.social · 28/11/2024

Le Conseil Scientifique de l'Inria, qui n'est quand même pas l'instance la plus active a écrit une motion sur le COMP ! Le texte (traduit en français, l'instance discute en anglais) :

146