Skip to Content

FLoC 2026

   page       attach   
9th Federated Logic Conference
Lisbon, Portugal, 18/07/2026–29/07/2026

The Federated Logic Conference (FLoC) unites the ten leading international conferences focused on mathematical logic and its applications in computer science. FLoC 2026 is hosted by the Instituto Universitario de Lisboa (ISCTE) and gathers CAV, CP, CSF, FSCD, ICLP, IJCAR, ITP, KR, LICS and SAT, together with their workshops. Conferences run 20-23 and 26-29 July 2026, workshops 18-19 and 24-25 July 2026, and the FoPSS summer school 13-17 July 2026.

hosted event
world SKILLED-LLMs 2026 @ FLoC 2026
works as
hosting event for talk
page_white_powerpoint From Language to Agency: Intermediate Representations for better LLM Agents (SKILLED-LLMs 2026 @ FLoC 2026, 18/07/2026) — Giovanni Ciatto (Giovanni Ciatto)
hosting event for
world SKILLED-LLMs 2026 @ FLoC 2026

Events
search • all
9th Federated Logic Conference
— acronym
FLoC 2026
— sort
conference
— series
FLoC (9th, 2026)
where & when
— where
Lisbon, Portugal
— when
18/07/2026–29/07/2026
URL
home page
documents
— showcase
logo
APICe
— hosted event
SKILLED-LLMs 2026