Call for Papers *** Submission deadline July 5, 2017 ***
Special Track on SAT and CSP
at the
29th IEEE International Conference on Tools with Artificial Intelligence
IEEE ICTAIí2017, Boston, MA, USA, November 06-08, 2017
Constraint Programming (CP) and Boolean Satisfiability (SAT) are two related
major topics of research in Artificial Intelligence. They have proved to be
the most efficient techniques at the heart of general-purpose combinatorial
problem solving, with application ranging from automation of logics,
verification, planning and scheduling, both in academic research and industry.
Over the years, the ICTAI conference has become a major forum for the CSP and
SAT research communities for presenting new high-quality results. The special
track SAT/CSP@ICTAI2017 is intended to be a forum for new ideas and techniques
using satisfiability and constraint solving. It particularly welcomes new core
solving techniques, extensions to other domains of AI and applications.
Topics
=====
Topics of interest include, but are not limited to:
SAT, SMT and CSP Solvers
Modeling, methodologies and tools
Implementation of solvers and global constraints
Applications of CSP and SAT-based technologies
Complete, incomplete and hybrid search techniques, heuristics, metaheuristics
AI techniques based on SAT and CSP
Tractable classes of problems, FPT, decompositions
Soft and weighted constraints, optimization, MAX-SAT, MAX-CSP
Machine learning, deep learning in SAT and CSP
Social network engineering with SAT and CSP
Submissions
==========
Papers must be full papers up to 8 pages (or short papers up to 5 pages) and
follow the standard IEEE formatting instructions for conference papers
(single-spaced, double-column, 10-point font size).
Papers must be submitted in pdf only through the Easychair special track
submission page (https://www.easychair.org/
submission instructions in http://ictai2017.org/
All papers will be reviewed by at least three members of the program committee.
Papers must report high-quality original work, be unpublished and not submitted
elsewhere during the whole ICTAI review process.
Each accepted paper must be presented by one of the authors and accompanied by
at least one full ICTAI 2017 registration fee payment, to guarantee publication
in the proceedings.
Proceedings and Special Journal Issue
=============================
All papers accepted in the CSP and SAT technologies special track will be
included in the ICTAI 2017 main proceedings published by the IEEE Computer
Society. Extended versions of the best papers are expected to be invited for
publication in a special issue of an international journal after an additional
round of reviews.
Important Dates
============
Paper submission (deadline extension): July 5, 2017
Notification: July 25, 2017
Camera-ready: August 25, 2017
Program Committee
=================
André Abramé University of Marseille
Salvador Abreu University of Evora
Gilles Audemard Artois University
Belaid Benhamou University of Marseille
Armin Biere Johannes Kepler University
Stefano Bistarelli University of Perugia
Remi Coletta University of Montpellier
Arnaud Gotlieb Simula Research Lab
Marijn Heule The University of Texas at Austin
Matti Järvisalo University of Helsinki
George Katsirelos INRA, Toulouse
Jean-Marie Lagniez Artois University (co-chair)
Arnaud Lallouet Huawei Technolohies Ltd (co-chair)
Christophe Lecoutre Artois University
Jimmy Lee The Chinese University of Hong Kong
Toni Mancini Sapienza University of Rome
Felip Manya IIIA-CSIC, Barcelona
Deepak Mehta University College Cork
Pedro Meseguer IIIA-CSIS, Barcelona
Eric Monfroy University of Nantes
Marie Pelleau University of Paris 6
Luis Quesada Insight Centre
Lakhdar Sais Artois University
Frederic Saubion University of Angers
Carsten Sinz Karlsruhe Institute of Technology
Christine Solnon INSA de Lyon
Thomas Stützle Université Libre de Bruxelles
Naoyuki Tamura Kobe University
Miroslav Velev Aries Design Automation
Brent Venable Tulane University
Contact
======
For reaching the PC Chairs (Jean-Marie Lagniez and Arnaud Lallouet), please send
an email to lagniez@cril.fr, arnaud.lallouet@huawei.com
—