[bull-ia] Call for Papers for special Track on SAT and CSP at ICTAI 2017

*** Apologies for multiple copies ***

Call for Papers *** Submission deadline June 25, 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 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


Papers must be full papers up to 8 pages and follow the standard IEEE formatting
instructions for conference papers (single-spaced, double-column, 10-point font

Papers must be submitted in pdf only through the Easychair special track
submission page (https://www.easychair.org/conferences/?conf=ictai2017). See
submission instructions in http://ictai2017.org/submission.htm

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: June 25, 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
Jean-Marie Lagniez Artois University (track co-chair)
Arnaud Lallouet Huawei Technologies Ltd (track co-chair)
Christophe Lecoutre Artois University
Jimmy Lee The Chinese University of Hong Kong
Toni Mancini Sapienza University of Rome
Felip Manya Universitat Autonoma de Barcelona
Deepak Mehta University College Cork
Pedro Meseguer Universitat Autonoma de 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


For reaching the PC Chairs (Jean-Marie Lagniez and Arnaud Lallouet), please send
an email to jmlagniez@gmail.com, arnaud.lallouet@huawei.com

Lagniez Jean-Marie