News & Events
- Staff Awards 2017
Dr Louise Dennis is the winner of the University's Outstanding Contribution to Public Engagement Award
- Logic Conferences at the University of Brasilia
Frontiers of Combining Systems (FroCoS), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) and Interactive Theorem Proving (ITP). Clare Dixon was the programme co-chair of FroCoS.
- Discussing semantic technologies in Vienna
Dr Valentina Tamma was one of the three Programme Chairs at the 16th International Semantic Web Conference in Vienna
- Best Paper nomination
Daniel Claes, Frans Oliehoek, Hendrik Baier and Karl Tuyls have been nominated for the Best Paper Award at AAMAS2017
- Logic in CS 2017
Liverpool will be strongly represented at the ACM/IEEE Symposium on Logic in Computer Science, with four papers being presented there.
- Best Paper at PODS 2017
Liverpool authors have been awarded the best paper award at PODS 2017