posted by user: SushkaOlga || 1484 views || tracked by 3 users: [display]

RuleML 2016 : Smart Contracts, Blockchain, and Rules Track at the 10th International Web Rule Symposium, (RuleML-2016)


When Jul 6, 2016 - Jul 9, 2016
Where Stony Brook, NY
Abstract Registration Due Mar 11, 2016
Submission Deadline Mar 18, 2016
Notification Due May 4, 2016
Final Version Due May 18, 2016
Categories    semantic web   rule discovery from data   legal rules and reasoning   rules and the web

Call For Papers

"Smart Contracts, Blockchain, and Rules" Track

at the 10th International Web Rule Symposium, (RuleML-2016)
Stony Brook, NY, July 6-9, 2016.

Smart Contracts have emerged as means to digitalize and (semi-)automatically enforce (legal) contracts, backed by blockchain technologies --- a set of recent technologies that appeared the first time in the context of the cryptocurrencies bitcoin, but are now being transitioned to different domains. Smart contracts are envisioned to essentially be user-defined programs that specify rules governing transactions, and that are enforced by a distributed network of peers. Traditional rule technologies have a high relevance in the context of Smart Contracts - they can be used for specification, reasoning, and enforcement of smart contracts, among others. At the same time, Smart Contracts represent a potential new application area of traditional rule technologies. The goal of this track is to identify opportunities and challenges for use of rule technologies in Smart Contracts, eventually shaping a better understanding of what Smart Contracts actually are and what they could be used for. During the last years the International Web Rule Symposium (RuleML) has been a leading international conference on research, applications, languages and standards for rule technologies. Due to the relevance of rules in Smart Contracts, it is natural that the emerging area of Smart Contracts finds RuleML a relevant venue for dissemination and that RuleML uses this opportunity to expand the applicability of rule technologies.

Topics (not limited to):

Design of Smart Contracts
Rule-based specification of Smart Contracts
Declarative process specification in Smart Contracts
Formalization of Smart Contracts
Protocols for Smart Contracts
Reasoning about Smart Contracts
Distribution, sharing and publication of Smart Contracts
Deployment and enforcement of Smart Contracts
Programming models for Smart Contracts
Smart Contracts and Blockchains
Smart Contracts and legal rules and regulations
Legal systems, Blockchains, and Smart Contracts
Identity and reputation management in Smart Contracts
Rules and blockchains
Smart Contracts Applications and Use Cases
Smart Contracts technologies (e.g. Ethereum, Eris, Codius, etc.)
RuleML and Smart Contracts


Papers must be original contributions written in English and must be submitted at (please enter the track name as the first line in the keywords section) as:

Full Papers (15 pages in the proceedings)
Short Papers (8 pages in the proceedings)
Please upload all submissions in LNCS format. To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. The RuleML2016 special tracks will be published in the same book. Short papers may contain 1 extra page maximum for which there is a charge of US$200, while for long papers you are allowed 2 extra pages maximum for EACH of which there is a charge of US$200. A selection of the best papers from all tracks will be invited to be revised and extended for the post-conference publication in a Special Issue of TPLP (Theory and Practice of Logic Programming).

RuleML main track and special tracks dates:

* Register Title and Abstract in Easychair: March 11, 2016
* Paper Submission: March 18, 2016
* Author Notification: May 4, 2016
* Camera Ready: May 18, 2016
* Conference: 6-9 July, 2016


Sudhir Agarwal, Stanford University, USA
Alex Oberhauser, Sigimera, USA
Dumitru Roman, SINTEF / University of Oslo, Norway

Program Committee (confirmed):

Sudhir Agarwal, Stanford University, USA
Andrea Bracciali, University of Stirling, UK
Primavera De'Filippi, Harvard Berkman Center & COALA, USA
Margaret Hagan, Stanford University, USA
Steffen Lamparter, Siemens, Germany
Andrew Miller, University of Maryland, USA
Sergey Nazarov, SmartContract, USA
Alex Norta, Tallinn University of Technology, Estonia
Alex Oberhauser, Sigimera, USA
Monica Palmirani, University of Bologna, Italy
Gareth W. Peters, University College London, UK
Dumitru Roman, SINTEF / University of Oslo, Norway
Giovanni Sarto, European University Institute of Florence, CIRSFID - University of Bologna, Italy
Melanie Swan, Singularity University, USA
Emilio Tuosto, University of Leicester, UK

Related Resources

CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
InWeS 2019   10th International Conference on Internet Engineering & Web Services
IFIP NTMS BSC 2019   IFIP NTMS 2'nd International Workshop on Blockchains and Smart Contracts (BSC 2019)
SAI 2019   8th International Conference on Soft Computing, Artificial Intelligence and Applications
Special Issue FPDAPP 2019   Special Issue on Future Perspectives on Decentralized Applications @ Journal on Concurrency and Computation: Practice and Experience
ADCO 2019   6th International Conference on Advanced Computing
IDEAS-Distributed Ledger 2019   IDEAS 2019 Track - Distributed Ledger Technologies - Blockchain
DL 2019   32nd International Workshop on Description Logics
TSC-Blockchain 2019   IEEE Transactions on Services Computing Special Issue on Blockchain-Based Services Computing
ISWC (Research, In-use, Recource, DC)) 2019   18th International Semantic Web Conference - Call for Research, In-use, Resource and Doctoral Consortium papers