[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]FOCODILE 2022 - 3rd International Workshop on Foundations of Consensus and Distributed Ledgers <https://urldefense.com/v3/__https://www.discotec.org/2022/focodile*focodile-2022---3th-international-workshop-on-foundations-of-consensus-and-distributed-ledgers__;Iw!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3Gnjctn4xUg$ > FOCODILE 2022 (https://urldefense.com/v3/__https://www.discotec.org/2022/focodile__;!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3GniSJ7T-fA$ ) is one of the workshops at DisCoTec 2022, the 17th International Federated Conference on Distributed Computing Techniques (https://urldefense.com/v3/__https://www.discotec.org/focodile/2022/__;!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3GngrX3dnFQ$ <https://urldefense.com/v3/__https://www.discotec.org/2022__;!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3Gng05BPmZw$ >). DisCoTec 2022 will take place at the IMT School for Advanced Studies <https://urldefense.com/v3/__http://www.imtlucca.it/en__;!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3GnjPZfG4ZA$ > Lucca (IT). Important Dates <https://urldefense.com/v3/__https://www.discotec.org/2022/focodile*important-dates__;Iw!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3Gnj_H5zKpQ$ > - Submission deadline (Hard): May 11th, 2022 (AoE) - Notification of accepted talks: May 20th, 2022 - Workshop: June 13th, 2022 *Scope* FOCODILE is a forum to exchange ideas and recent research findings on theoretical foundations of consensus and blockchain technology. Topics include, but are not limited to: - Formal models of distributed consensus - Blockchain-specific cryptographic primitives and protocols - Formal verification of blockchain protocols and smart contracts - Byzantine fault tolerance and consensus - Design and analysis of distributed ledgers - Blockchain consensus mechanisms - Privacy and anonymity in cryptocurrencies - Game-theoretic approaches to blockchains - Post-quantum blockchain protocols - Performance and scalability of blockchain systems Extended Abstract <https://urldefense.com/v3/__https://www.discotec.org/2022/focodile*extended-abstract__;Iw!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3GnhX2PGrJQ$ > Novel research works or already published papers are welcome (in the form of extended abstracts). Submission information <https://urldefense.com/v3/__https://www.discotec.org/2022/focodile*submission-information__;Iw!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3GngmmfpcGg$ > Extended abstracts (2 pages + references) have to be submitted in PDF format using the EasyChair submission page https://urldefense.com/v3/__https://easychair.org/conferences/?conf=focodile2022__;!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3GnjkyTdstQ$ The submissions must be prepared using Springer’s LNCS style. Accepted submissions should be presented during the workshop day. FOCODILE has no formal proceedings. Organizing committee chairs <https://urldefense.com/v3/__https://www.discotec.org/2022/focodile*organising-committee-chairs__;Iw!!IBzWLUs!EHsOXCh4FR-BKW_yTsMri2lqPBRK-1pvHsEdVBiIfLPFee3wNl5tkrIKMF6WWnUS7-P3Gni9W04JZA$ > - Zeta Avarikioti (TU Wien) [email protected] - Andrea Morichetta (University of Camerino) [email protected] --
