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.

evento ospitato
world SKILLED-LLMs 2026 @ FLoC 2026
funge da
evento contenitore per presentazione
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)
evento ospitante per
world SKILLED-LLMs 2026 @ FLoC 2026

Eventi
ricerca • tutti
9th Federated Logic Conference
— acronimo
FLoC 2026
— tipo
conferenza
— serie
FLoC (9th, 2026)
dove e quando
— dove
Lisbon, Portugal
— quando
18/07/2026–29/07/2026
URL
home page
documenti
— vetrina
logo
APICe
— evento ospitato
SKILLED-LLMs 2026