[Event at CIG] WTSC26 call for papers

Andrea Bracciali andrea.bracciali at unito.it
Sun Jan 25 19:23:55 CET 2026 

[ >>>  DEADLINE APPROACHING (small extensions possible “on-demand (write us)”  <<< ]
[ APOLOGIES FOR MULTIPLE COPIES - but - PLEASE DISSEMINATE ]


-----------------------------------------------------------------------------------

			10th Workshop on Trusted Smart Contracts (WTSC26)

					March 6th, 2026

				St. Kitts Marriott Resort
					St. Kitts
	

				https://fc26.ifca.ai/wtsc/ <https://www.google.com/url?q=https://fc26.ifca.ai/wtsc/&source=gmail-imap&ust=1769765165000000&usg=AOvVaw0ubBuQv-JUdzCzxyWO5fLw>
	


			In Association with 

			Financial Cryptography and Data Security 2026

				https://fc26.ifca.ai/ <https://www.google.com/url?q=https://fc26.ifca.ai/&source=gmail-imap&ust=1769765165000000&usg=AOvVaw1EIrkMDnCSuqrIIug6BIVw>


-----------------------------------------------------------------------------------



CALL FOR PAPERS



Decentralised computing and smart contracts are supporting applications ranging from cryptocurrencies, to decentralised finance, provenance and supply chain, self-sovereign identity, non-fungible tokens, governance, notarisation, decentralised social media, layer2 frameworks, ... to cite but a few, and are key for the developing Web3.

Smart contracts , i.e. self-enforcing agreements in the form of executable programs, are deployed to and run on top of blockchains, in different formats and flavours, from Bitcoin to Ethereum, to the last-generation blockchain, multi-chain and layer2++ frameworks. Making them correct and trustworthy poses open and multidisciplinary research questions, solution is key for mature and consolidated adoption.
Such a complex and evolving programming framework and execution environment is challenging in terms of modelling and verification, particularly for its distinguishing features of being "autonomous and untamperable" and source of ultimate trust.

Multidisciplinary and multifactorial aspects affect correctness, safety, efficiency, resilience, privacy, accountability, regulatory compliance, and trust in smart contracts. This workshop focuses on various aspects of the new engineering paradigms, research on programming languages and verification methodologies, in broad terms, for the foundations of Trusted Smart Contracts and their applications in very many different contexts.

A non-exhaustive list of topics of interest and open problems includes:

- validation and definition of the programming abstractions and execution models,
- verification of the properties expected to be enforced by smart contracts,
- fairness and decentralisation of contracts and their management,
- effects of consensus mechanisms and proof-of mechanisms on smart contracts,
- smart contract in side-chains and multi-chains,
- smart contracts in/for layer2++,
- foundations of software engineering for smart contracts,
- authentication and anonymity management,
- privacy and privacy-preserving contracts,
- oblivious transfer,
- data provenance,
- access rights,
- game-theoretic approaches for security and validation,
- resilience of the validation/mining/execution model,
- blockchain data analytics,
- law and regulatory aspects,
- rewards, economics and sustainability/stability of the framework,
- comparison of the permissioned and non-permissioned scenarios,
- use cases and killer applications of smart contracts.

A non-exhaustive list of applications includes:

- governance and decentralised organisations
- decentralised finance,
- layer 2++ models, frameworks and applications
- self-sovereign identity,
- non-fungible tokens,
- central bank digital currencies,
- programmable money,
- future outlook on smart contract technologies.

WTSC gathers together researchers from both academia and industry interested in the many facets of Trusted Smart Contract engineering and provides a multi-disciplinary forum for discussing open problems, proposed solutions and the vision on future developments in blockchain technology and applications. WTSC focuses on smart contracts as an application layer(s) on top of blockchains, and blockchain theory and applications are of strong interest as well.

Experts in fields including (a non-exhaustive list):

- programming languages,
- distributed systems,
- decentralised systems,
- verification,
- security,
- software engineering,
- decision and game theory,
- cryptography,
- finance and economics,
- law and regulators,

as well as, practitioners and relevant companies, are invited to take part and submit their findings, case studies and reports on open problems for presentation at the workshop.


-----------------------------------------------------------------------------------



INVITED SPEAKERS (TBA):

WTSC has traditionally had recognised innovators and renown contributors giving invited talks at previous editions, including

- Vitalik Buterin (Ethereum) 2017,
- Arthur Breitman (Tezos) and Bud Mishra (NYU) 2018,
- Igor Artamonov (Splix - Ethereum Classic) and Ian Grigg (www.iang.org <https://www.google.com/url?q=http://www.iang.org&source=gmail-imap&ust=1769765165000000&usg=AOvVaw381i8AOhsmRmY6uelRUyp6>) 2019,
- Peter Gutmann (University of Auckland, with Workshop on Coordination of Decentralized Finance) 2020,
- Darren Tapp (Dash Investment Foundation), 2021
- Massimo Morini (Algorand Foundation), 2023
- Edward Felten (Arbitrum and Offchain Labs), 2024
- Fabian Schaer (University of Basel, with Workshop on Coordination of Decentralized Finance), 2024
- Jason Teutsch (Truebit), 2025


-----------------------------------------------------------------------------------



IMPORTANT DATES


WTSC adopts a submission schedule with a double deadline. A first deadline will allow authors to plan their participation well in advance. A second deadline will allow authors who need extra time to develop their contributions, to have a further opportunity to participate. Selected borderline papers from the first deadline may be considered for and also invited to resubmit to the second deadline after revision. Abstract registration is kindly requested in advance for both deadlines.

Early Abstract Registration (recommended)	January 7, 2026
Early Paper Submission Deadline			January 9, 2026
Early Author Notification					January 26, 2026

Late Abstract Registration				January 30, 2026
Late Submission Deadline				February 2, (AoE), 2026
Late Author Notification					February 13, 2026

Final pre-proceeding papers				February 26, 2025

WTSC								March 6, 2026
Financial Cryptography					March 2-6, 2026

Final Papers					TBA for the post proceeding Springer volume.


-----------------------------------------------------------------------------------
 


SUBMISSION


 
Submitted papers should describe novel, previously unpublished and unsumbitted scientific 
contributions to the field, and will be subject to rigorous peer review.

Accepted submissions will be included in the conference proceedings to be published 
in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series. 

Submissions are limited to 15 pages in standard LNCS format excluding references and 
appendices and must be submitted as a PDF file. A total page restriction may apply for
the printed proceedings version. Committee members are not required to read the appendices, 
so the full papers have to be intelligible without them.

Regular papers must be anonymous with no author names, affiliations, acknowledgments, 
or obvious references. 

For each accepted paper the conference requires at least one registration at the general 
or academic rate.

All papers must be submitted electronically according to the instructions and forms found 
in the submission page.

If you are interested in submitting a short-paper, a work-in-progress report, a demo or 
a poster, this is also of interest. Please Contact organisers for details.

Please see https://fc25.ifca.ai/wtsc/cfp.html <https://www.google.com/url?q=https://fc25.ifca.ai/wtsc/cfp.html&source=gmail-imap&ust=1769765165000000&usg=AOvVaw1bQ6rNpaAn1UUORGCvD2ph>  for details.

 
-----------------------------------------------------------------------------------
 

 
SUBMISSION PAGE


 
Submission page:  https://easychair.org/my2/conference?conf=wtsc26 <https://www.google.com/url?q=https://easychair.org/my2/conference?conf%3Dwtsc26&source=gmail-imap&ust=1769765165000000&usg=AOvVaw0p9Wzrxkg5Bduqtet_mtuu>
 
-----------------------------------------------------------------------------------
 


PROGRAM COMMITTEE  


Monika di Angelo		Vienna University of Technology, AT
Igor Artamonov		Emerald, US
Daniel Augot			INRIA, FR
Massimo Bartoletti		University of Cagliari, IT
Stefano Bistarelli		University of Perugia, IT
Andrea Bracciali		University of Turin, IT
Daniel Broby			Asian Institute of Management, PH
James Chapman 		IOG, UK
Nicola Dimitri			University of Siena, IT
Nadia Fabrizio			University of Bergamo, IT
Josselin Feist			Independent Security Researcher, FR
Daniele Friolo			La Sapienza University, IT
Oliver Giudice			Banca di Italia, IT
Geoffrey Goodell		UCL, UK
Bernhard Haslhofer		Complexity Science Hub, AT
Yoichi Hirai			zkSecurity, PT
Michela Iezzi			Banca di Italia, IT
Pascal Lafourcade		University Clermont Auvergne, FR
Enrique Larraia		Openchip & Software Technologies, ES
Suhyeon Lee			Tokamak Network, KR
Andrew Lewis-Pye		London School of Economics, UK
Akaki Mamageishvili	Offchain Labs, CH
Carla Mascia			DataKrypto, US
Patrick McCorry		Arbitrum, UK
Sihem Mesnager		University of Paris VIII, FR
Bud Mishra			NYU, USA	
Alex Norta			Tallin University of Technology, EE
Akira Otsuka			Institute of Information Security, JP
Massimiliano Sala		University of Trento, IT
Jason Teutsch			Truebit, USA
Roberto Tonelli		University of Cagliari, IT
Philip Wadler			University of Edinburgh, UK
Yilei Wang			Hong Kong Polytechnic University, HK
Tim Weingärtner		Lucerne University, CH
Dionysis Zindros		Stanford University, USA

More information about the IFI-CI-Event mailing list