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

ICBDB 2022   2022 4th International Conference on Big Data and Blockchain(ICBDB 2022)
ESEC/FSE 2022   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
IJPLA 2022   International Journal of Programming Languages and Applications
SBAC-PAD 2022   The 34th IEEE International Symposium on Computer Architecture and High Performance Computing
SCOM 2022   10th International Conference on Soft Computing
PDCAT 2022   The 23rd International Conference on Parallel and Distributed Computing, Applications and Technologies
CSW 2022   2022 International Workshop on Cyber Security (CSW 2022)
DLRT 2022   International Workshop on Distributed Ledgers and Related Technologies
IEEE COINS 2022   BCIOT - Special Track on Blockchain and Internet of Things (IoT)