Constraints Solving Techniques in AI
In odd-numbered years, the European Coordinating Committee for Artificial Intelligence 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):
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:
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).
For more details please visit http://www.cril.fr/acai15/
Contact email: firstname.lastname@example.org.