RuleML 2013 Challenge deadlines extended

Apologies for cross-postings. Please send to interested colleagues and
students.

The deadlines for RuleML 2013 Challenge have been extended:
* Rule 2013 Challenge: extended *May the 24th, 2013*.
* RuleML 2013 DC: submission May the 24th, 2013.

RuleML 7th International Web Rule Symposium
===========================================
Date:        July 11-13th, 2013
Location:    University of Washington, Seattle, U.S.
WWW:        http://www.csw.inf.fu-berlin.de/ruleml2013

The 7th International Web Rule Symposium (RuleML 2013) will be held at the
University of Washington, Seattle in the U.S. state of Washington, on July
11-13th, 2013 co-located directly before the AAAI 2013 conference. The
annual International Web Rule Symposium (RuleML) is an international
conference on research, applications, languages and standards for rule
technologies. RuleML is the leading conference to build bridges between
academia and industry in the field of rules and its applications,
especially as part of the semantic technology stack.

RuleML 2013 includes keynotes, invited and contributed talks, as well as:
* Special Track on "Translating between Human Language and Formal Rules:
Business, Law, and Government" http://wiki.ruleml.org/index.php/Human-Rules
* Invited Tutorial on "Multi-Agent Activity Modeling with the Brahms
Environment" by Maarten Sierhuis
* The OASIS Legal RuleML Meeting and Tutorial
* The 3rd Doctoral Consortium on Rules Submission:
http://www.csw.inf.fu-berlin.de/ruleml2013/content/3rd-ruleml-doctoral-consortium
* The 7th International Rule Challenge:
http://www.csw.inf.fu-berlin.de/ruleml2013/content/7th-international-rule-challenge

RuleML Keynotes, Invited Talks and Tutorials
============================================
* Ontology Repositories Make a World of Difference, by Michael Gruninger,
University of Toronto.
* Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields
over Continuous-Valued Variables, Lise Getoor, University of Maryland.
* Rapid Text-based Authoring of Defeasible Higher-Order Logic Formulas, via
Textual Logic and Rulelog, Benjamin Grosof.
* Multi-Agent Activity Modeling with the Brahms Environment, Maarten
Sierhuis.
* OASIS LegalRuleML, Adrian Paschke, Adam Wyner, Tara Athan, Monica
Palmirani and Guido Governatori.
* Formalization of Natural Language Regulations through SBVR Structured
English, François Lévy, Adeline Nazarenko.