ACAI Summer School on Constraints Solving Techniques in AI ACAI'15@CRIL Constraints Solving Techniques in AI 25th-30th October Lille, France http://www.cril.fr/acai15/ In odd-numbered years, the European Coordinating Committee for Artificial Intelligence (ECCAI) sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The ACAI Summer School 2015 (ACAI'15@CRIL) will be held in Lille, France, from the 25th October to the 30th October 2015 and its topic will be Constraints Solving Techniques in Artificial Intelligence. It will be organized by CRIL (Centre de Recherche en Informatique de Lens), the Lens Research Center for Computer Science (www.cril.fr). Constraint Solving Techniques offer a number of notions, languages and solvers for building reasoning and decision making tools, which are at the core of a wide spectrum of AI applications. Much progress has been made for decades, and new paradigms have emerged within this area. While the various Constraint Solving Techniques have some common origins, they have evolved independently and each of them has developed its own specificities. This is why it is important to give to our doctoral students and young colleagues a broad, yet coherent view of such techniques and it is the main goal of the ACAI'15@CRIL Summer School to do so. Accordingly, the school will address several Constraint Solving Techniques, including SAT, CSP, ASP, and Knowledge compilation. Both the fundamental issues and the key concepts will be presented, as well as some of the more recent developments. The school will consist of 4 Fundamental Courses (3 x 1h30): * Ines Lynce on solving Boolean SATisfiability problems * Ian Gent on solving Constraint Satisfaction Problems * Torsten Schaub on Answer Set Programming * Pierre Marquis on Knowledge Compilation and 5 Advanced Courses (1 x 1h30): * Albert Oliveiras on SATisfiability Modulo Theory * Lakhdar Sais on SAT for Data Mining * Martin Cooper on Weighted Constraint Satisfaction Problems * Christophe Lecoutre on XCSP 3.0 input format * Daniel Le Berre and Olivier Roussel on Evaluation & Competitions of Solvers The organization of ACAI'15@CRIL made its best to ensure the lowest possible costs, in order to promote the participation of the largest number of researchers: * Registration fees will be 125 euros (until 31th July). * Some cheap accommodation (around 135 euros for the week) will be possible.. Note also that ECCAI will give a number of grants for students, details about the application procedure will be available soon on the ACAI webpage. Lille is easily reachable from all over Europe, since it is close to three capitals (1h by train from Paris and from Paris-Charles-de-Gaulle airport, 30mn from Brussels, and 1h30 from London). Important Dates Early Registration: 31th July 2015 ACAI'15@CRIL: 25th to 30th October 2015 Organizing Committee * Sylvie Coste-Marquis * Sebastien Konieczny * Daniel Le Berre * Pierre Marquis * Srdjan Vesic For more details please visit http://www.cril.fr/acai15/ Contact email: acai15@cril.fr