12-15 Jul 2017
London, England
RuleML+RR 2017: International Joint Conference on Rules and Reasoning London 12-15 July 2017 # Registration is now open: ***Early Bird Registration until _April 30th_*** Go to http://www2.bbk.ac.uk/ruleml-rr2017 . This leading international joint conference in the field of rule-based reasoning has open calls for a number of its events. # Call for Posters http://2017.ruleml-rr.org/call-for-posters For additional short poster papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. Deadline May 26th Notification June 2nd Accepted poster papers will be published as CEUR Proceedings and indexed by SCOPUS. # Call for Papers and Demos for the 11th International Rule Challenge http://2017.ruleml-rr.org/calls/international-rule-challenge The best paper/presentation in the Challenge will receive the RuleML Challenge Award (USD 500)! Abstract May 1st Papers May 8th Notification May 15th Accepted poster papers will be published as CEUR Proceedings and indexed by SCOPUS. # Call for Business Cases and Technologies for the Industry Track: State of Practice, Challenges and Opportunities http://2017.ruleml-rr.org/calls/industry-track Papers May 8th Notification May 15th The best papers will be recommended with the permission of the authors for publication in the CEUR proceedings of the conference. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam