[TYPES/announce] 3rd Workshop on Trusted Smart Contracts (WTSC'19)

Andrea Bracciali abb at cs.stir.ac.uk
Tue Nov 13 07:10:38 EST 2018


   [ apologies for cross-posting !- please share!! ]



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

3rd Workshop on Trusted Smart Contracts (WTSC'19)


		February 18-22, 2019	
		St. Kitts Marriott Resort


In Association with Financial Cryptography 19 (FC 2019)
-----------------------------------------------------------------------------



CALL FOR PAPERS

Smart contracts, an highly  transformational technology, are 
self-enforcing agreements in the form of executable programs 
that are deployed to and run on top of blockchains.

Several  proposals have developed the idea of algorithmic validation 
of decentralised trust, along Szabo's intuition.The first significant 
example was the Ethereum blockchain. A myriad of possible further 
directions have been proposed, many of them are in active development.

These technologies introduce a novel programming framework and 
execution environment, which are not satisfactorily understood at the 
moment. Multidisciplinary and multifactorial aspects affect correctness, 
safety, privacy, authentication, efficiency, sustainability, resilience and 
trust in smart contracts. 

Existing frameworks, which are competing for their market share, 
adopt different solutions to issues like the above ones. Merits of 
proposed solutions are still to be fully evaluated and compared by 
means of systematic scientific investigation, and further research is 
needed towards laying the foundations of Trusted Smart Contracts.

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


- validation and definition of the programming abstractions and execution model,

- verification of the properties expected to be enforced by smart contracts,

- incentives, governance, participatory models, and implications on smart contracts,

- resilience of the consensus/validation/mining/execution model,

- fairness and decentralisation of contracts and their management,

- rewards, economics and sustainability/stability of the framework,

- off-chain interaction and context,

- sharding, concurrency, and parallelism in smart contracts,

- effects of consensus mechanisms and proof-of mechanisms on smart contracts,

- game-theoretic approaches for security and validation,

- digital and ring signature

- multiparty computation and homomorphic encryption for the privacy of smart contract execution

- privacy and privacy-preserving contracts,

- authentication and anonymity management,

- oblivious transfer,

- data provenance,

- access rights,

- foundations of software engineering for smart contracts,

- blockchain data analysis,

- comparison of the permissioned and non-permissioned scenarios,

- use cases and killer applications of smart contracts,

- regulation and law enforcement,

- future outlook on smart contract technologies,


WTSC focuses on smart contracts as an application layer on top of blockchains, 
however aspects of the underlying supporting blockchains clearly become 
relevant in so much as they affect properties of the smart contracts, and are 
of great interest for WTSC.

WTSC aims to gather together researchers from both academia and industry 
interested in the many facets of Trusted Smart Contract engineering, and to 
provide a multi-disciplinary forum for discussing open problems, proposed 
solutions and the vision on future developments.

Associated to Financial Cryptography, a recognised premiere conference for the 
blockchain world, WTSC aims to become a reference venue for the discussion 
of cutting-edge smart contracts and associated blockchain technologies.

Experts in fields including (but not limited to): 

- programming languages,

- verification,

- security,

- software engineering,

- decision and game theory,

- cryptography,

- finance and economics,

- monetary systems,

- finance and economics,

- regulation and law,

as well as, practitioners and companies interested in blockchain technologies, 
are invited to submit their findings, case studies and reports on open problems 
for presentation at the workshop, to take part in this third edition of WTSC and 
make it a lively forum.



INVITED SPEAKERS

Continuing on WTSC tradition — Buterin (Ethereum) 2017, Breitman (Tezos) 
and Mishra (NYU) 2018, we are finalising 2019 invited speakers, including 



		  Igor Artamonov  (Splix)

	Etherem Classic - ETCDEV Founder



IMPORTANT DATES

WTSC adopts for the second year a submission schedule **with 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 will be considered for and also allowed to resubmit to the second deadline.

Abstract registration is kindly requested in advance.


Abstract Registration:                14 December, 2018

Paper Submission Deadline:     20 December, 2018

Early Author Notification:           10 January, 2019


Late Submission Deadline:        15 January, 2019

Late Author Notification:            28 January, 2019


Early registration deadline:	TBA

Final Papers:				TBA



WTSC:                                        22 February, 2019

Financial Cryptography:              18 February, 2019



SUBMISSION

WTSC solicits submissions of manuscripts that represent significant and novel research
contributions. Submissions must not substantially overlap with works that have been 
published or that are simultaneously submitted to a journal or a conference with proceedings.

Submissions should follow the Springer Lecture Notes in Computer Science format and 
should be no more than 15 pages including references and appendices. Papers may also 
be in a short format, no more than 8 pages including references and appendices.

In-progress work and developing ideas can be submitted as a poster.

Accepted papers will appear in the proceedings published by Springer Lecture Notes in 
Computer Science. Authors who seek to submit their works to journals may opt-out by 
publishing an extended abstract only.

All submissions will be reviewed double-blind, and as such, must be anonymous, with no 
author names, affiliations, acknowledgements, or obvious references.



PROGRAM CHAIRS

Andrea Bracciali      University of Stirling, UK

Federico Pintore      University of Oxford, UK

Massimiliano Sala   University of Trento, IT



PROGRAM COMMITTEE  (To be completed/confirmed)

Igor Artamonov             Ethereum Classic Dev

Bob Atkey                     Strathclyde University, UK  

Marcella Atzori              UCL, UK / IFIN, IT

Daniel Augot                 INRIA, FR

Massimo Bartoletti        University of Cagliari, IT

Devraj Basu                  Strathclyde University, UK

Stefano Bistarelli           University of Perugia, IT

Christina Boura             Versailles SQY Univ.    

Daniel Broby                 Strathclyde University, UK

Bill Buchanan                Napier University, UK

Martin Chapman           King’s College London, UK

Tiziana Cimoli               University of Cagliari, IT

Nicola Dimitri                University of Siena, IT

Nadia Fabrizio              Cefriel, IT

Laetitia Gauvin              ISI Foundation, IT 

Neil Ghani                     Strathclyde University, UK

Oliver Giudice                Banca d’Italia, IT

Davide Grossi                Utrecht University, NL

Yoichi Hirai                     Ethereum DEV UG, DE

Lars R. Knudsen            Technical University of Denmark, DK

Ioannis Kounelis            European Commission, UK

Victoria Lemieux            The University of British Columbia, CA 

Loi Luu                           National University of Singapore, SG

Carsten Maple                Warwick University, UK

Michele Marchesi           University of Cagliari, IT

Fabio Martinelli               IIT-CNR, IT 

Neil McLaren                  Avaloq, UK 

Sihem Mesnager            University of Paris VIII, FR

Philippe Meyer                Avaloq, CH

Bud Mishra                     NYU, USA

Carlos Molina-Jimenez  University of Cambridge, UK

Alex Norta                      Tallin University of Technology,

Ilya Sergey                     UCL, UK (TBC)

Thomas Sibut-Pinote      INRIA, FR (TBC)

Jason Teutsch                 TrueBit Establishment, LIE

Roberto Tonelli                University of Cagliari, IT

Luca Vigano’                    University of Verona, IT

Philip Wadler                    University of Edinburgh, UK

Santiago Zanella-Beguelin  Microsoft, UK






More information about the Types-announce mailing list