Author: Editors

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:…

SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019)

It is our pleasure to announce the call for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019. ELIGIBILITY Thanks to the…