posted by user: sadegh_rk || 3222 views || tracked by 3 users: [display]

FOCODILE 2022 : International Workshop on Foundations of Consensus and Distributed Ledgers

FacebookTwitterLinkedInGoogle

Link: https://www.discotec.org/2022/focodile
 
When Jun 13, 2022 - Jun 17, 2022
Where Lucca, Italy
Submission Deadline Apr 15, 2022
Notification Due May 15, 2022
Final Version Due May 30, 2022
Categories    formal methods   blockchain   security
 

Call For Papers

FOCODILE 2022 is one of the workshops at DisCoTec 2022, the 17th International Federated Conference on Distributed Computing Techniques.

COVID-19: FOCODILE 22 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not.
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

Organising committee

Zeta Avarikioti (IST Austria) Co-chair
Andrea Morichetta (University of Camerino) Co-chair
Panagiotis Grontas (National Technical University of Athens)
Nikos Leonardos (National and Kapodistrian University of Athens)
Aris Pagourtzis, (National Technical University of Athens)
Petros Potikas, (National Technical University of Athens)
Lewis Tseng (Boston College)
Vassilis Zikas (Purdue University)
Dionysis Zindros (Stanford University)

Related Resources

ADCO 2026   13th International Conference on Advanced Computing
SCOM 2026   14th International Conference on Soft Computing
ScalCom 2026   The 26th IEEE International Conference on Scalable Computing and Communications
DMML 2026   7th International Conference on Data Mining & Machine Learning
FCST 2026   14th International Conference on Foundations of Computer Science & Technology
EI/Scopus-PCDI 2026   2026 International Conference on Perception, Control and Decision Intelligence-EI/Scopus
IJP2P 2026   International Journal of Peer-to-Peer networks
SNLP 2026   7th International Conference on Semantic & Natural Language Processing
IJDPS 2026   International Journal of Distributed and Parallel systems
EI/Scopus-STIE 2026   2026 International Conference on Sensor Technology and Information Engineering-EI/Scopus