CL'2000 Workshop on

Verification and Computational Logic


London, UK, July 27 - 28, 2000

Programme and Proceedings are now available


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 Thursday 27th of July (afternoon) and Friday 28th of July (whole day) in conjunction with CL'2000 in London (July 24 - 29). You can register for the workshop either by registering for the entire CL'2000 conference or by sending an e-mail to the contact person (


We did solicit (extended) abstracts and selected presentations from these submissions. Abstracts in the following topics were invited: Additionally, we invited researchers from core verification areas (model checking/theorem proving) to present their current work.

Important Dates:


We will bring out a proceedings containing the extended abstracts as a Southampton University Technical Report. We will also maintain a web site with the text of the extended abstracts, and links to authors' web pages and the full papers. Currently we do not plan to bring out a formal proceedings. If there is sufficient interest at the workshop, we will invite full papers to be published as a volume in ENTCS or LNCS.


Workshop Organizers: Contact Person: Invited Speakers: Program Committee:

Accepted Papers

workshop programme can be found here and he online proceedings can be found here.

Other Information and Pointers