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

MFCS 2024   Mathematical Foundations of Computer Science
BIBC 2024   5th International Conference on Big Data, IOT and Blockchain
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
CRBL 2024   International Conference on Cryptography and Blockchain
FOCS 2024   Foundations of Computer Science
JARES 2024   International Journal of Advance Robotics & Expert Systems
NDSS 2025   Network and Distributed System Security Symposium - Fall Review Cycle
ARIA 2024   11th International Conference on Artificial Intelligence & Applications
OPODIS 2024   International Conference on Principles of Distributed Systems
CST 2024   11th International Conference on Advances in Computer Science and Information Technology