Program Analysis & Logic Programming


Funding

EPSRC has funded a number of projects.

We have been funded for two years by the International Joint Project of the The Royal Society towards the collaboration between the research groups in Parma, Leeds and Verona.