Logic and Computation Group
Projects
Externally Funded Projects
The current externally funded research projects within the group are:
Liverpool Verification Laboratory
The Liverpool Verification Laboratory was founded in 2004, and is led by academic staff within the Logic and Computation group. The mission of the Verification Laboratory is to develop, apply and exploit high quality formal verification techniques pioneered within the Department of Computer Science at Liverpool, particularly with the aim of increasing industrial, commercial and governmental collaboration at local, regional and international levels.
Ongoing/recent projects include:
- Temporal Verification Techniques for Telecomms Applications, a recent collaborative activity with Motorola Research Labs, U.K.
- Verification of Agent Software, an ongoing collaborative activity with NASA Ames Research Center, U.S.A.
- Verification of Security Protocols, an ongoing project applying sophisticated logic-based techniques to security problems.
- Model Checking for Mobility, an ongoing project funded by the EU looking at the verification of mobile code and the use of dynamic verification techniques within small devices.
Conferences
Members of the group are active in the Organising and Steering Committees of several international conference, workshop and symposium series:
- Dr. Clare Dixon is the chair of the Organising Committee for the Workshops on Automated Reasoning (ARW).
- Dr. Ullrich Hustadt is the president of the Steering Committee for the International Workshops on First-Order Theorem Proving (FTP).
- Professor Michael Fisher and Dr. Clare Dixon are members of the Steering Committee for the TIME International Symposia on Temporal Representation and Reasoning.
- Professor Frank Wolter is a member of the Steering Committee for the Frontiers of Combining Systems (FroCoS) symposium series.
The group has also hosted a number of recent conferences at Liverpool, including ARW 2009, FTP 2007, FroCoS 2007, JELIA06 and the Agents in Space symposium.