2nd CFP - EPIA 2007 Workshop on Search Techniques for Constraint Satisfaction

[Ines Lynce]

  	       *** Extended Deadline:  15.July.2007 ***


                              EPIA 2007
           13th Portuguese Conference on Artificial Intelligence
	  	     http://epia2007.appia.pt

      ** Workshop on Search Techniques for Constraint Satisfaction **

	                  Call for Papers

	           December 3-7, Guimaraes, Portugal


Search is essential for solving combinatorial problems in AI. For the 
usual case where inference based methods are incomplete, search provides 
the core engine for applications such as hardware verification, 
planning, or protein folding.

Recent advances in Constraint Programming (CP) and Boolean algorithms 
for Propositional Satisfiability (SAT), Pseudo-Boolean Optimization 
(PBO), Satisfiability-Modulo Theories (SMT) and Quantified Boolean 
Formulas (QBF) have allowed current solvers to perform several orders of 
magnitude faster than previous ones. This workshop aims at bringing 
together researchers and practitioners from these communities, in order 
to learn from each other, develop common understandings, and inspire new 
applications, algorithms and approaches.


TOPICS OF INTEREST

The topics of the workshop span practical and theoretical research on 
search techniques for constraint satisfaction and include but are not 
limited to:

   Complete and local search algorithms
   Analysis of search algorithms
   Search heuristics
   Search space pruning techniques
   Problem encodings for combinatorial problems using constraint 
programming and propositional satisfiability
   Novel applications using constraint satisfaction components
   Implementation techniques for constraint satisfaction and 
combinatorial optimization search algorithms
   Distributed and parallel algorithms for constraint satisfaction
   Case studies and empirical results


SUBMISSION

Authors should submit full papers with a maximum of 12 pages using 
Springer LNCS format. Submission is double blind. A selection of the 
workshop accepted full papers will be published by Springer LNAI 
sub-series. All the other accepted papers will be published in the 
workshop proceedings.


IMPORTANT DATES

   Submission Deadline:  15.July.2007
   Notification of acceptance:  28.July.2007
   Workshop and EPIA 2007:  3-7.December.2007


ORGANISING COMMITTEE

   Francisco Azevedo, New University of Lisbon, Portugal
   Ines Lynce, Technical University of Lisbon, Portugal
   Vasco Manquinho, Technical University of Lisbon, Portugal


PROGRAM COMMITTEE

   Pedro Barahona, Universidade Nova de Lisboa, Portugal
   Lucas Bordeaux, Microsoft Research, UK
   Carla Gomes, Cornell University, USA
   Zeynep Kiziltan, Università di Bologna, Italy
   Oliver Kullmann, University of Wales Swansea, UK
   Daniel Le Berre, Université d'Artois, France
   Felip Manyà, Universitat de Lleida, Spain
   João Marques-Silva, University of Southampton, UK
   Pedro Meseguer, IIIA-CSIC Barcelona, Spain
   Steven Prestwich, University College Cork, Ireland
   Olivier Roussel, Université d'Artois, France
   Carsten Sinz, University of Tübingen, Germany
   Barbara Smith, Cork Constraint Computation Centre, Ireland
   Armando Tachella, Università di Genova, Italy
   Mark Wallace, Monash University, Australia