[fc-announce] Fwd: WTSC19 - call for paper (double submission deadline!)

International Financial Cryptography Association info at ifca.ai
Fri Dec 7 15:35:37 CET 2018

-------- Original Message --------
Subject: WTSC19 - call for paper (double submission deadline!)
Date: 2018-12-07 02:40
 From: Andrea Bracciali <abb at cs.stir.ac.uk>
To: Federico Pintore <federico.pintore at gmail.com>
Cc: Massimiliano Sala <maxsalacodes at gmail.com>, "abracciali at gmail.com" 
<abracciali at gmail.com>

[apologies for cross posting - please disseminate !]


3rd Workshop on

	Trusted Smart Contracts (WTSC'19)

February 22, 2019
St. Kitts Marriott Resort

https://fc19.ifca.ai/wtsc/ <https://fc19.ifca.ai/wtsc/>

In Association with Financial Cryptography 19 (FC 2019)
https://fc19.ifca.ai/ <https://fc19.ifca.ai/>


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 
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 

- 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 

- 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 
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 
provide a multi-disciplinary forum for discussing open problems, 
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 
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 
are invited to submit their findings, case studies and reports on open 
for presentation at the workshop, to take part in this third edition of 
WTSC and
make it a lively forum.


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

	Igor Artamonov (Splix)

	Ethereum Classic - ETCDEV Founder


WTSC adopts for the second year a submission schedule **with double 
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 - if possible.

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


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 

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

Also "Systemization of Knowledge" papers will be accepted and have a 
page limit of 15 pages
but *excluding* references. These should be marked "SoK:".

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.

A submission link will be posted on the WTSC19 web site shortly.


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., FR
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
Jamie Gabbay                  Heriot-Watt University, UK
Laetitia Gauvin                  ISI Foundation, IT
Neil Ghani                         Strathclyde University, UK
Oliver Giudice                   Banca d’Italia, IT
Davide Grossi                   University of Groningen, NL
Yoichi Hirai                        brainbot technologies AG, DE
Lars R. Knudsen               Technical University of Denmark, DK
Ioannis Kounelis               Joint Research Center, European 
Commission, IT
Victoria Lemieux               The University of British Columbia, CA
Loi Luu                               National University of Singapore, 
Carsten Maple                   Warwick University, UK
Michele Marchesi              University of Cagliari, IT
Fabio Martinelli                  IIT-CNR, IT
Patrick McCorry                 King's College London, UK
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
Massimo Morini                   Banca IMI, IT
Alex Norta Tallin                  University of Technology, EW
Jason Teutsch                     Truebit, USA
Roberto Tonelli                    University of Cagliari, IT
Luca Vigano’                       University of Verona, IT
Philip Wadler                       University of Edinburgh, UK
Yilei Wang                           Hong Kong Polytechnic University, 
Ales Zamuda                       University of Maribor, SLO
Santiago Zanella-Beguelin  Microsoft, UK

More information about the fc-announce mailing list