June 28 - July 2, 2010
Caen, France

Workshop on Parallel Satisfiability Solving:
SAT and beyond SAT, Parallel Solving on New Architectures (WPSS 2010)


As part of
The International Conference on High Performance Computing & Simulation (HPCS 2010)
In conjunction with
The 6th International Wireless Communications and Mobile Computing Conference (IWCMC 2010)

Extended Full Paper Submission Deadline: February 28, 2010

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 exist few parallel solving works dedicated to the SAT problem.  This workshop will focus on SAT and beyond SAT solving techniques exploiting parallelism within a context of High Performance Computing including 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.

Submitted papers must not have been published or simultaneously submitted elsewhere.  Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses.  Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 400 words.  The full manuscript should be at most 8 pages using the two-column IEEE format.  Additional pages will be charged at additional fee.  Please include page numbers on all submissions to make it easier for reviewers to provide helpful comments.  Submit a PDF copy of your full manuscript via email to the Workshop organizers at michael.krajecki@univ-reims.fr , sais@cril.univ-artois.fr or gilles.dequen@u-picardie.fr

Only PDF files will be accepted.  Each paper will receive a minimum of three reviews.  Papers will be selected based on their originality, relevance, technical clarity and presentation.  Authors of accepted papers must guarantee that their papers will be registered and presented at the workshop.  Accepted papers will be published in the conference proceedings which will be available at the time of the meeting. 

Paper Submissions: ------------------------------------------- February 28, 2010
Acceptance Notification: ------------------------------------- March 20, 2010
Camera Ready Papers and Registration Due: ----------- April 15, 2010

Michael Krajecki,  CReSTIC, Université de Reims Champagne-Ardennes, France
Email:  michael.krajecki@univ-reims.fr

Lakhdar Sais, CRIL, Université d'Artois, France
Email:  sais@cril.univ-artois.fr

Gilles Dequen, MIS, Université de Picardie, France
Email:  gilles.dequen@u-picardie.fr

International Program Committee :
All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in HPCS.

If you have any questions about paper submission or the workshop, please contact the Workshop organizers at the above addresses. 

If you have any questions about conference paper submission, please contact Conference Program Chair:  Prof. Waleed W. Smari, University of Dayton, 300 College Park, Dayton, OH 45469-0226, USA, Voice: (937) 681-0098, Fax: (937) 255-4511, Email: smari@arys.org .  For information about the HPCS conference in general, please contact the General Chairs or consult the conference web site at http://cisedu.us/cis/hpcs/10/main/callForPapers.jsp


# of hits: 82742 Copyright © 2007-2019 CIS Build:2018.07.04:10.51.51 EDT