News & Events
- Best Paper at ICALP
Darek Kowalski and Miguel Mosteiro (Pace University) have been awarded the Best Paper (Track C) at ICALP 2018.
- Publication Success at IJCAI-ECAI 2018
Research staff at the University of Liverpool have again had a large number of accepted papers at the 2018 IJCAI-ECIA joint conference, to be held in Stockholm, Sweden, on the July 13-19, 2018.
- Publication Success at ICALP 2018
Five papers have been accepted at the 45th International Colloquium on Automata, Languages, and Programming (ICALP) - the main conference of the European Association for Theoretical Computer Science (EATCS).
- REF 2021 CS panel
Professor Katie Atkinson has been appointed to the Computer Science and Informatics sub-panel for REF 2021
- Faculty Learning and Teaching Award
Dave Shield has won one of the 2018 Faculty Learning and Teaching Awards, for his work with electronic assessment and feedback.
- Article in VentureBeat
Dr. Louise Dennis was quoted in an article in VentureBeat on `The Development of AI Ethics must keep pace with Innovation' talking about the work of the Autonomy and Verification Laboratory on the development of ethical reasoning for autonomous sys
- Communications of the ACM
Othon Michail and Paul Spirakis have had their review article titled “Elements of the Theory of Dynamic Networks” published in the February issue of Communications of the ACM. The article is accompanied by a video.
- Funded PhD Studentships available for start date Oct 2018
The University of Liverpool’s Leverhulme Research Centre for Functional Materials Design has funding available for PhD positions from October 2018
- Nature Scientific Reports
Karl Tuyls and Rahul Savani. together with collaborators at Google DeepMind and the University of Oxford, have had their paper Symmetric Decomposition of Asymmetric Games published in the prestigious journal Nature, Scientific Report
- 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
- Best Student Paper at AI 2016
Abdullah Alshehri was awarded the best student paper prize in the application stream of the 2016 BCS SGAI conference on AI.