International Workshop on Parallel/Portfolio Satisfiability Solving
CALL FOR PAPERS
http://hpcs2015.cisedu.info or http://cisedu.us/rp/hpcs15
July 20 – July 24, 2015
The Hilton Amsterdam Hotel
Amsterdam, The Netherlands
Extended Submission Deadline: April 15, 2015
Submissions could be for full papers, short papers, poster papers, or posters
SCOPE AND OBJECTIVES
During the last decade, the fundamental Satisfiability Problem (SAT) has been extensively studied. This interest of the community significantly grows because of its conceptual simplicity and its ability to describe a wide set of various problems, including hardware verification, planning, automated reasoning, and others. Consequently, there is an increasing demand for high performance SAT-solving algorithms in industry. To date, the parallel SAT solving remains a challenging problem. In spite of the actual trend in processor development, which is moving from single-core to multi-core CPU, there still exist few parallel solving works dedicated to the SAT problem. This workshop will focus on SAT and beyond SAT solving techniques exploiting parallelism or portfolio approaches within multi-threaded, distributed and grid architectures but also emerging massively parallel architectures such as Global Processing Units (GPUs) and Field-Programmable Gate Arrays (FPGAs).
We invite papers in this emerging discipline which includes, but not limited to, the following areas of interest.
The WPSS Workshop topics include (but are not limited to) the following:
Parallel Solving Techniques within Shared and Distributed Memory for SAT, Max-SAT #SAT, QBF, etc.
General-Purpose Computation on GPUs (GPGPU) for SAT*
Reconfigurable Computing and FPGA for SAT*
Parallel SAT* Pre-processing
Portfolios and/or Hybridized algorithms within a Parallel Context
INSTRUCTIONS FOR PAPER SUBMISSIONS
You are invited to submit original and unpublished research works on above and other topics related to parallel satisfiability problems. Submitted papers must not have been published or simultaneously submitted elsewhere. For Regular papers, please submit a PDF copy of your full manuscript, not to exceed 8 double-column IEEE formatted pages, and include up to 6 keywords and an abstract of no more than 400 words. Additional pages will be charged additional fee. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and all authors email addresses. Please, indicate clearly the corresponding author(s). Short papers (up to 4 pages), poster papers and poster (please refer to http://hpcs2015.cisedu.info/home/cts-2015-posters for posters submission details) will also be accepted. Please specify the type of submission you have. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments.
Authors are invited to submit a PDF copy of their manuscript to the workshop using the following link: http://cisedu.us/cis/hpcs/15/users/upload.jsp. In the form you fill out, please indicate that the submission is for WPSS 2015 in the Notes/Comments field of the uploading form. If the submission is for a poster paper or short paper, indicate that as well on the manuscript and in the form's Comments field.
Only PDF files will be accepted, uploaded to the link above. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, significance, technical clarity and presentation. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one of the authors of each accepted paper will have to register and attend the HPCS 2015 conference to present the paper at the workshop.
Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2015 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE Digital Library and indexed in all major indexing services accordingly.
If you have any questions about paper submission or the workshop, please contact the organizers.
Paper Submissions: ------------------------------------- April 15, 2015
Acceptance Notification: -------------------------------- April 30, 2015
Camera Ready Papers and Registration Due by: ----- May 08, 2015
Conference Dates: -------------------------------------- July 20 – 24, 2015
For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference’s web site at URL: http://hpcs2015.cisedu.info/ or http://cisedu.us/rp/hpcs15 or contact one of the Conference's organizers.
As part of
The International Conference on High Performance Computing & Simulation (HPCS 2015)