TOSCA2023: 1st Workshop on Theory of Smart Contracts and Applications

in the framework of

25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Nancy, France
September 11 – 14, 2023

Workshop deadlines

  • 9 July 2023 (AoE): Paper submission
  • 30 July 2023: Notification of acceptance
  • 15 August 2023: Early registration     
  • 1 September 2023: Late registration

Workshop chairs

  • Damiano Di Francesco Maesa, Università di Pisa, Italy
  • Alexandra-Emilia Fortiș, West University of Timișoara, Romania

Workshop description
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:

Formal models and descriptors for smart contracts

  • Formal verification of smart contracts
  • Automated vulnerability detection for smart contracts
  • Automated testing and assessment of smart contracts
  • Smart contracts programming languages specifications
  • Smart contracts security
  • Data structures for smart contracts
  • Algorithmic paradigms for smart contracts
  • Smart contracts optimization
  • Smart contract incentives
  • Formal models of blockchain applications
  • Artificial intelligence applications to smart contracts and vice-versa
  • Smart contract interactions modelling and complex systems
  • Smart contracts data and visualisation
  • Smart contracts novel capabilities and applications, including token systems

Paper submission

We invite submissions in the form of:

  • research papers,
  • extended abstracts

Papers of up to 8 pages (in CPS Conference Style) should be electronically submitted through Easy Chair.

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.

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.

Program committee
(under construction)

  • Damiano Di Francesco Maesa, Università di Pisa, Italy
  • Ciprian Pungilă, West University of Timișoara, Romania
  • Mădălina Erașcu, West University of Timișoara, Romania
  • Carmen Holotescu, “Ioan Slavici” University of Timisoara, Romania
  • Alexandra Cernian, Polytechnic University of Bucharest, Romania
  • Răzvan Bogdan, Politehnica University of Timisoara, Romania

Workshop Organizers

  • Damiano Di Francesco Maesa, Università di Pisa, Italy
  • Ciprian Pungilă, West University of Timisoara, Romania
  • Alexandra Fortiș, West University of Timisoara, Romania