posted by user: sadegh_rk || 2661 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

SAND 2025   The 4th Symposium on Algorithmic Foundations of Dynamic Networks
ICoSR 2025   2025 4th International Conference on Service Robotics
CSITEC 2025   11th International Conference on Computer Science, Information Technology
MSEJ 2024   Advances in Materials Science and Engineering: An International Journal
PDP 2025   Parallel, Distributed and Network-Based Processing
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
Euro-Par 2025   International European Conference on Parallel and Distributed Computing
IJCSITY 2024   International Journal of Computational Science and Information Technology
IEEE ICDCS 2025   45th IEEE International Conference on Distributed Computing Systems
MLSC 2025   6th International Conference on Machine Learning and Soft Computing