Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Workshop: Verification and Computational Logic
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
(mal@ecs.soton.ac.uk).
Topics:
We did solicit (extended) abstracts
and selected presentations from these
submissions. Abstracts in the following topics were invited:
Techniques
abstraction techniques for verification of
infinite-state systems
constraint representations and constraint processing algorithms
for verification
logic programming approaches to model checking
program analysis/abstract interpretation approaches to verification
program transformation/specialization approaches to verification
state-space reduction techniques for model checking
Tools
Case Studies
Additionally, we invited researchers from core verification
areas (model checking/theorem proving) to present their current work.
Important Dates:
Deadline for submissions: May 20, 2000 (EXTENDED !)
Notification of acceptance/rejection: June 6, 2000
Final papers due: July 17, 2000
Proceedings:
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.