FLoC2026 (@floc2026) 's Twitter Profile
FLoC2026

@floc2026

ID: 1946122399486820353

calendar_today18-07-2025 08:18:41

7 Tweet

11 Followers

39 Following

FLoC2026 (@floc2026) 's Twitter Profile Photo

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

Loris D'Antoni (@lorisdanto) 's Twitter Profile Photo

The worldโ€™s largest federated conference in logic & automated reasoning, FLoC 2026 (floc26.org), will be in Lisbon! Thousands will attendโ€”an excellent chance for companies to showcase their presence. Interested in sponsoring? floc26.org/sponsors/FLoC2โ€ฆ

FLoC2026 (@floc2026) 's Twitter Profile Photo

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

FLoC2026 (@floc2026) 's Twitter Profile Photo

๐Ÿ“ผ 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 ๐Ÿ‡ต๐Ÿ‡น ๐Ÿ”— floc26.org #FLoC2026 #LogicInCS #FormalMethods #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 ๐Ÿ‡ต๐Ÿ‡น
๐Ÿ”— floc26.org
#FLoC2026 #LogicInCS #FormalMethods #Lisbon
FLoC2026 (@floc2026) 's Twitter Profile Photo

You could keep procrastinating. Or you could register for FLoC 2026.๐Ÿ‡ต๐Ÿ‡น ๐Ÿ‘‰ floc26.org/registration Also: students can apply for travel support to attend the FLoCโ€™26 Mentoring Workshop! ๐Ÿ—“๏ธ Scholarship deadline: April 13 ๐Ÿ‘‰ forms.gle/89q9AaNfZV3fkMโ€ฆ More: floc26.org/mentoring-workโ€ฆ

FLoC2026 (@floc2026) 's Twitter Profile Photo

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