The Logic in Computer Science (LICS 2026) will be held in Lisbon, Portugal.

Contributions aligned with the areas below are being solicited from all research communities: Theoretical Computer Science, Computation Theory, Formal Methods, Logic.