Workshops

The following workshops affiliated with LICS 2026 take place as part of FLoC 2026 in Lisbon, in two blocks around the main conference (20–23 July). The full list of FLoC 2026 workshops is on the FLoC programme page.

Saturday 18 – Sunday 19 July:

• GaLoP: 17th Workshop on Games for Logic and Programming Languages. Joint with FSCD. 18–19 July.
• LCC: Logic and Computational Complexity. 18–19 July.
• TLLA: 10th International Workshop on Trends in Linear Logic and Applications. Joint with FSCD. 18–19 July.
• SmP: Structure meets Power. 18 July.
• DIALOCO: Diagrams in Logic and Computation. 19 July.

Friday 24 – Saturday 25 July:

• ACV: Workshop on Abstract and Concrete Techniques in Verification. Joint with CAV. 24–25 July.
• IMLA: Intuitionistic Modal Logic and Applications. 24–25 July.
• SD: Structures and Deduction. 24–25 July.
• WiL: Women in Logic. 24–25 July.

The FLoC 2026 Mentoring Workshop, covering all FLoC conferences, runs on 19 and 25 July.