TOSCA2023: 1st Workshop on Theory of Smart Contracts and Applications<\/p>\n\n\n\n
in the framework of
SYNASC 2023<\/p>\n\n\n\n
25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Nancy, France
September 11 \u2013 14, 2023<\/p>\n\n\n\n
Workshop deadlines<\/strong> Workshop chairs<\/strong><\/p>\n\n\n\n Workshop description<\/strong> Topics<\/strong> Paper submission<\/strong><\/p>\n\n\n\n We invite submissions in the form of:<\/p>\n\n\n\n Papers of up to 8 pages (in CPS Conference Style<\/a>) should be electronically submitted through Easy Chair<\/a>.<\/p>\n\n\n\n Research papers must contain original research results not submitted and not published elsewhere. Authors which want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 4 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the Workshop topics.<\/p>\n\n\n\n Publication<\/strong> Program committee Workshop Organizers<\/strong><\/p>\n\n\n\n <\/p>\n","protected":false},"excerpt":{"rendered":" TOSCA2023: 1st Workshop on Theory of Smart Contracts and Applications in the framework ofSYNASC 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific ComputingNancy, FranceSeptember 11 \u2013 14, 2023 Workshop deadlines 9 July 2023 (AoE): Paper submission 30 July 2023: Notification of acceptance 15 August 2023: Early registration\u00a0 \u00a0 \u00a0 1 September 2023: […]<\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-634","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages\/634","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/comments?post=634"}],"version-history":[{"count":6,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages\/634\/revisions"}],"predecessor-version":[{"id":688,"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/pages\/634\/revisions\/688"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2023\/wp-json\/wp\/v2\/media?parent=634"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
<\/p>\n\n\n\n
The affirmation of Distributed Ledger Technology, and its Blockchain implementations, have allowed for the introduction of a novel type of distributed applications: smart contracts. The distributed nature of smart contracts allows their code to be executed in a trustworthy, immutable, and transparent way. This permits the deployment of smart entities that remain always available, cannot be tampered with, and will keep acting as specified by their internally coded logic. These properties of smart contracts make them particularly vulnerable to errors and bugs in their code. As they will execute their internal logic without deviation, any coding mistake or vulnerability may result in unexpected and undesired behaviours, which would be hard to rectify. As smart contracts often directly manage user funds, unintended behaviours may have impactful and far-reaching consequences, resulting in loss of value, thefts, and general degradation of trust in Blockchain-specific protocols as a whole. The goal of this workshop is to provide a high-profile venue for researchers and practitioners to discuss the state of the art and identify future trends in the innovative space of smart contracts computing. We welcome any contribution on topics adjacent to smart contracts computing including, but not limited to:<\/p>\n\n\n\n
Formal models and descriptors for smart contracts<\/em><\/p>\n\n\n\n
Research papers that are accepted and presented at the workshop will be collected as proceedings published by Conference Publishing Service (CPS) and will be submitted for indexing in ISI Web of Science, DBLP, SCOPUS.<\/p>\n\n\n\n
(under construction)<\/strong><\/p>\n\n\n\n