Logic in Computer Science (LICS 2026)
124 124 people viewed this event.
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.
Key Conference Topics: Computer Science