Loris D'AntoniThe world’s largest federated conference in logic & automated reasoning, FLoC 2026 (https://www.floc26.org/), will be in Lisbon!
Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details :point_right: https://www.floc26.org/sponsors/FLoC2026_sponsors_brochure.pdf
Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details :point_right: https://www.floc26.org/sponsors/FLoC2026_sponsors_brochure.pdf