Constraint Handling Rules

The more you CHR, the better you are.

Call for Papers Spring 2017

As a PC-member I strongly welcome submissions dealing with Constraint Handling Rules at these fine conferences:

19th International Symposium on Principles and Practice of Declarative Programming (PPDP),
Namur, Belgium, 9 Oct. – 11 Oct. 2017.
http://complogic.cs.mcgill.ca/ppdp2017/

International Joint Conference on Rules and Reasoning (RuleML+RR 2017),
London, UK from 12-15th July 2017.
http://2017.ruleml-rr.org/

21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning,
Maun, Botswana, at Cresta Riley’s Hotel, 7-12th May 2017.
http://easychair.org/smart-program/LPAR-21/

And another fine conference:

33rd International Conference on Logic Programming (ICLP 2017),
Melbourne, Australia, August 29 to September 1, 2017.
http://iclp17.a4lp.org/

Call for Papers PADL’17

As a PC-member I encourage submissions to

19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) Paris, France, 16th and 17th January 2017 http://bit.ly/PADL-2017

PADL 2017 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2017 will be co-located with the Symposium on Principles of Programming Languages (POPL 2017), in Paris, France.

GCAI 2016 call for papers

As a PC members I invite submission of papers related to CHR to

The 2nd Global Conference on Artificial Intelligence Berlin Germany, 29th September – 2nd October 2016 http://easychair.org/smart-program/GCAI2016/

The 2nd Global Conference on Artificial Intelligence (GCAI 2016) will be held at the Freie Universitaet Berlin from 29th September to 2nd October, 2016. The conference, which addresses all aspects of artificial intelligence, is being organized by LRG (http://www.lrg.global) and the Freie Universitaet Berlin. The program chairs are Christoph Benzmueller, Raul Rojas, and Geoff Sutcliffe. The call for papers can be found at the conference’s website.