TPLP special issue on computational logic for verification

From: German Vidal <gvidal_at_dsic.upv.es>
Date: Mon, 10 Oct 2016 09:51:40 +0200

TPLP-CLV 2016

------------------------------------------------------------------
SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON
COMPUTATIONAL LOGIC FOR VERIFICATION

http://tplp-clv.webs.upv.es/
------------------------------------------------------------------

The last decade has witnessed a growing interest in the use of
computational logic methods for program validation and
verification. For instance, verification problems for imperative
and object oriented languages can be expressed using Constraint
Logic Programming (CLP) and related formalisms like Constraint
Horn Clauses (CHC). Both CLP and CHC have been recently proposed
as appropriate intermediate languages where program analysis and
verification techniques for different programming languages can
be defined, proved correct, and implemented. Furthermore, a
translation from several programming languages to either CLP or
CHC already exist, together with efficient methods for solving
verification problems expressed in these formalisms.

The aim of this special issue is to attract high-quality research
papers on the interplay between verification techniques and
computational logic. Topics of interest include, but are not
limited, to the use of CLP, CHC, and related formalisms for
program validation and verification. Case studies, system tools
and challenging problems in this area are also welcome.


SUBMISSION DEADLINE

An expression of interest to submit, title and abstract (to gvidal_at_dsic.upv.es):
October 15, 2016 (STRICT)

Full paper: November 15, 2016 (TENTATIVE)


SUBMISSION FORMAT

Submissions must be made in the TPLP format
http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf
and handled by the new TPLP submission system:

- Go to http://journals.cambridge.org/action/displayJournal?jid=TLP
- Click the button "Submit Your Article" in the left column
 (register for an account if you don’t have one)
- After you are logged in click "Author Centre" and then
 "Click here to submit a new manuscript".
- Then choose "Original Article"
- Then, fill the required fields and upload the paper.
 In particular, at the end of the page you’ll see the
 "Special Issue" option.
 Select "Computational Logic for Verification"


GUEST EDITOR

German Vidal
Universitat Politecnica de Valencia
------------------------------------------------------------------
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry

Received on Mo Okt 10 2016 - 10:25:21 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:13 CEST