News & Events
- 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.
- ECAI paper award
Katie and Trevor were runners-up for the best paper award at ECAI 2016
- Student paper at COMMA 2016
James Butterworth, recently presented a paper based on his final year project at the 2016 Computational Models of Argument conference, in Potsdam.
- Best Student Paper at TAROS 2016
Eric Schneider has won the Best Student Paper prize at TAROS 2016 for his paper Evaluating Multi-Robot Teamwork in Varied Environments
- New EATCS President
Professor Paul Spirakis has been appointed President of the European Association for Theoretical Computer Science
- Best paper award at SEFM 2016
PhD student Idress Husien, together with Sven Schewe, won the best paper award at SEFM 2016, for their paper Program Generation using Simulated Annealing and Model Checking
- Lovelace Colloquium prizewinner
Jessica Lettall won first prize at this year's BCSWomen Lovelace Colloquium.
- smARTLab wins RoCKIn@Work
The smARTLab@Work team from Liverpool won the RoCKIn@Work robot competition in Lisbon.
- TAROS 2015
The Towards Autonomous Robotic Systems (TAROS) conference was held over 8th-10th September
- Dinosaurs over Cheltenham
Lego Robot Dinosaurs have been revealing ideas from AI, robotics and space science at the Cheltenham Science Festival