Distributed Ledger Technology is an emerging technology, which provides the way to store, transfer and manage information and digital assets in a distributed fashion. It enables the creation of decentralized crypto-currencies, smart contracts, eGovernance, supply chain management, eVoting etc over a network without any human intervention. Ability to perform transactions reliably in an untrusted environment with traceability has expanded the application domains of blockchain to financial services, stock exchange, digital identity, supply chain, health services and Internet of Things.
The goal of this symposium is to provide a forum for researchers, entrepreneurs, business leaders and policy makers to critically analyse current systems and propose new solutions creating a scientific background for a solid development of innovative Distributed Ledger Technology (DLT) applications.
This event is co-located with the 20th International Conference on Formal Engineering Methods (ICFEM-2018).

### Scope and Topics
Authors are invited to submit papers describing original, unpublished research results, position papers, case studies and tools. Papers are solicited in all areas related to DLT. Topic areas include, but are not limited to:
• Provenance and trust management
• Security analysis of DLT solutions
• Formal verification of Smart Contracts and Blockchain Protocols
• Blockchain based IoT security solutions
• Deployment of DLT and Smart Contracts
• Malicious transactions detection and recovery techniques in Blockchain
• Anonymity and privacy in DLT
• Applications in healthcare, finance, law, governance, supply chain, identity management, fraud detection, agribusiness, crypto currencies
• Consensus mechanisms: PoW, PoS, PoE etc
• New architectures, paradigms & platforms
• Scalability and interoperability
• Blockchain based business models
• Big data, AI and Blockchain technology
• Other industry applications and evaluations

### Paper Submissions
Submitted manuscripts (via EasyChair) should be in English and formatted in the style of double-column CPS format. The submissions should not exceed four pages, including figures, references, and appendices. Industry papers (one page) are also welcomed. Authors of accepted symposium papers will be invited to submit extended versions for publication in a special issue of The Knowledge Engineering Review Journal:
https://www.cambridge.org/core/journals/knowledge-engineering-review
For enquiries, please contact sdlt3@easychair.org

### Important Dates
Submission Deadline: 14 Sep 2018
Acceptance Notification: 05 Oct 2018
Camera Ready Paper: 19 Oct 2018