News & Events
Logic in CS 2017
No less than four papers from Liverpool CS have been accepted at the ACM/IEEE Symposium on Logic in Computer Science (LICS) - the leading conference in the field, which will be held in Reykjavik in June.
The successful authors were André Hernich, Sven Schewe, and Dominik Wojtczak.
This is an extremely impressive result, and confirms our position as one of the leading departments for Logics and Theoretical Computer Science.