Useful links

Logic Programming ALP, The Association of Logic Programming
Program Analysis BUGSENG
The Parma Polyhedra Library
The China Project
Home Page Home Page for Patricia M. Hill