News & Publications


Igor Konnov, Principal Scientist at Informal Systems, is the co-chair of CONCUR 2020, during QONFEST, a leading conference for formal verification enthusiasts.

RustConf 2020

Informal is a Gold Sponsor for this year’s RustConf2020. We are big fans of Rust, and have ongoing Rust projects including the Tendermint protocol and the InterBlockchain Communication (IBC) Protocol.


DISCOTEC is an academic conference on Distributed Computing Techniques. Principal Scientist, Igor Konnov, gave a tutorial on the Byzantine Model Checker.

Consensus 2020

Informal CEO, Ethan Buchman, presented a technical progress update and roadmap for Cosmos and an update on InterChain Foundation treasury management.

Online Payments by Merely Broadcasting Messages

Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Matteo Monti, Athanasios Xygkis, Matej Pavlovic, Petr Kuznetsov, Yvonne-Anne Pig- nolet, Dragos-Adrian Seredinschi, and Andrei Tonkikh. “Online Payments by Merely Broadcasting Messages,” in DSN, 2020. Source here

Verification of Randomized Consensus Algorithms

Nathalie Bertrand, Igor Konnov, Marijana Lazi ́c, and Josef Widder. “Verification of randomized consensus algorithms under round-rigid adver- saries,” Invited Submission to International Journal on Software Tools for Technology Transfer. Source here.