Author: Editors

CFP: Theory and Practice of Logic Programming: The 20th Anniversary Issue

Following the example of a highly successful and influential special issue of the Journal of Logic Programming, commemorating the 10th anniversary of the journal in 1994, the Editorial and Advisory Boards of TPLP propose to publish a special issue of…

Call for Participation: ICLP 2019

CALL FOR PARTICIPATION – ICLP 2019 – https://www.cs.nmsu.edu/ALP/iclp2019/ The 35th International Conference on Logic Programming September 20-25, 2019, Las Cruces, New Mexico, USA ———————————————————- Since the first conference held in Marseille in 1982, ICLP has been the premier international event…

Editorial, Volume 32, No. 2, August 2019

Are you back in office after vacation? Or are your still holding your feet into the sea or climbing mountains? In both cases, you can enjoy reading the contents of your favorite newsletter.  We have three feature articles: Dynamic and…

An Arboriculture Approach for Parallel SMT and Symbolic Model Checking

by M. Marescotti, A.E.J. Hyvärinen, N. SharyginaFormal Verification and Security LabUniversità della Svizzera ItalianaSwitzerland FULL PAPER Abstract: The inherent complexity of parallel computing makes development, resource monitoring, and debugging for parallel constraint-solving-based applications difficult. This paper presents SMTS, a framework for parallelizing sequential constraint…

INAP 2019: Call for Papers (Submission Deadline extended)

22nd International Conference on Applications ofDeclarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration:…

WLP 2019: Call for Papers (Submission Deadline extended)

3rd Workshop on (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration: August 12, 2019Online Registration:…