posted by organizer: mazure || 1037 views || tracked by 1 users: [display]

SATCSP-ICTAI 2014 : Special Track on SAT and CSP at IEEE-ICTAI'14

FacebookTwitterLinkedInGoogle

Link: http://www.cril.univ-artois.fr/ICTAI14-SAT-CSP-Track/
 
When Nov 10, 2014 - Nov 11, 2014
Where Limassol, Chyprus
Submission Deadline Jul 14, 2014
Notification Due Sep 3, 2014
Final Version Due Sep 24, 2014
Categories    artificial intelligence
 

Call For Papers

Call for Papers *** Submission deadline June 30 2014 ***

Special Track on SAT and CSP
http://www.cril.univ-artois.fr/ICTAI14-SAT-CSP-Track/

at the

26th IEEE International Conference on Tools with Artificial Intelligence (IEEE ICTAI’14)
http://ictai2014.cs.ucy.ac.cy/
November 10-12 2014, Limassol, Chyprus

Constraint Solving Programming (CSP) and SAT-related technologies are
major related topics of research and application in A.I., opening up
new perspectives
about effective A.I. application domains.

Over the years, the ICTAI conference has become a major forum for the
CSP and SAT
research communities for presenting new high-quality results (see the
special track program in 2013:
http://www.cril.univ-artois.fr/ICTAI-SAT-CSP-Track/ICTAI-Schedule.htm )
The second edition of the special track is intended to further develop
the role of ICTAI in this respect.

Topics
=====

Topics of interest include, but are not limited to:

CSP methodologies and tools
Constraint networks
Global constraints
CSP and SAT Solvers
Applications of CSP and SAT-based technologies
Heuristic, complete and hybrid search techniques
Heuristics for SAT and CSP
SAT modulo theories
AI techniques based on SAT and CSP
Core, MUC and MUS extraction
MAX-SAT, MAX-CSP
Soft/Hard Constraints
Weighted CSP and SAT
Constraint optimization

Program Committee (to be completed)
===============

Armin Biere
Manuel Bodirsky
Assef Chmeiss
Jean-François Condotta
Pierre Flener
Eric Gregoire (Co-Chair)
Katsumi Inoue
Jean-Marie Lagniez
Arnaud Lallouet
Daniel Le Berre
Christophe Lecoutre
Chu-Min Li
Mark Liffiton
Felip Manya
Joao Marques-Silva
Bertrand Mazure (Co-Chair)
Eric Monfroy
Barry O'Sullivan
Thierry Petit
Olivier Roussel
Michel Rueher
Lakhdar Saïs
Yakoub Salhi
Frédéric Saubion
Pierre Schaus
Naoyuki Tamura
Peter van Beek


Submissions
==========

Papers must be full papers up to 8 pages and obey 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 (NOT through the general ICTAI Easychair conference page). See submission
instructions in http://www.cril.univ-artois.fr/ICTAI14-SAT-CSP-Track/#submit

All papers will be reviewed by at least two 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 2014 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 2014 main proceedings published by the IEEE Computer Society.
Extended versions of the best papers will be invited for publication in a
special issue of an International Journal after an additional round of reviews.

Important Dates
============

Paper submission 30 June 2014
Notification 3 September 2014
Camera-ready copy papers 24 September 2014

Contact
======

For reaching the PC Chairs (E. Gregoire and B. Mazure), please send email to
gregoire@cril.univ-artois.fr mazure@cril.fr

Related Resources

DSAA 2017   The 4th IEEE International Conference on Data Science and Advanced Analytics 2017
IJCAI 2017   International Joint Conference on Artificial Intelligence
ICDM 2017   IEEE International Conference on Data Mining 2017
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
WACV 2017   IEEE Winter Conference on Applications of Computer Vision
ICONIP 2017   International Conference on Neural Information Processing
ASE 2017   The 32nd IEEE/ACM International Conference on Automated Software Engineering
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems
Humanoids 2017   2017 IEEE-RAS 17th International Conference on Humanoid Robotics
ICINCO 2017   International Conference on Informatics in Control, Automation and Robotics