The Second International Workshop on

Verification and Computational Logic


Florence, Italy, September 4, 2001

Held at the PLI 2001 Symposium


The aim of this workshop is to bring together researchers working on the interplay between verification techniques (e.g., model checking, reduction, and abstraction) and logic programming techniques (e.g., constraints, abstract interpretation, program transformation). The workshop will be held Tuesday 4th of September (whole day) at the PLI 2001 Symposium in Florence (September 3 - 7). This workshop is sponsored by ACM Sigplan.

The proceedings are now available. The programme can be found here.


We did solicit abstracts and extended abstracts (guideline: 2-10 pages) and selected presentations from these submissions. We encouraged researches to submit work in progress, and one does not have to submit a full paper. (We do not want to prevent researchers from submitting their work to a conference later on.) Submissions covering the following topics were invited: Additionally, we invited researchers from core verification areas (model checking/theorem proving) to present their current work.

Important Dates:

Accepted Papers


The proceedings containing the abstracts and extended abstracts are available online as a Southampton University Technical Report and will be made available within the ACM Digital Library. There will also be a special issue of the journal "Theory and Practice of Logic Programming" on "verification and computational logic," covering selected papers from both VCL'2000 and VCL'2001 but open to other submissions as well.


Workshop Organizers/PC Chairs: Invited Talks: Program Committee: Contact Person:

Other Information and Pointers