News & Events

March 2017

Logic in CS 2017

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.

(more info)

Return to main news page