It’s time for yet another post in the “meanwhile at Nomadic Labs” series, and we have a lot to talk about. Dive in to find out what you might have missed in January!

Nomadic Labs partnered with the IMDEA Software Institute, a leading research institute in Madrid. You can read more about the partnership here or in our press release.

A new research program dedicated to Blockchain technology was founded in partnership with Inria, the French National Institute for Research in Digital Science and Technology.

These collaborations clearly demonstrate our focus to support more open scientific research that can benefit Tezos and the entire Blockchain community.

Two smart contracts used in camlCase, which will serve as critical components of the decentralized Dexter digital asset exchange, are currently being formally verified. You can read more about Dexter in camlCase’s blog post.

Nomadic Labs visited Cobra, short for the Concordium Blockchain Research Center Aarhus. Due to their similar interests in academic research, we discussed possible collaborations and gave a technical Tezos presentation.

We attended The annual Symposium on Principles of Programming Languages (POPL 2020) in New Orleans. Michel Mauny, Germán Delbianco and Bruno Bernardo were present to answer Tezos-related questions.

Nomadic Labs is proud to have sponsored the Southwestern Europe Regional programming Contest (SWERC) 2019-2020, which was organized by the “Institut Polytechnique de Paris” and took place at Télécom Paris on January 25th and 26th. Mehdi Bouaziz from Nomadic Labs was the judge during the “Problem analysis session”. A few lucky winners went home with a brand new ledger hardware wallet. You can view the video including the award ceremony here.

Pietro Abate from Nomadic Labs attended the European Blockchain Convention in Barcelona.

We are equally proud to be one of 11 founding members of ADAN, the “Association for the Development of Digital Assets”. By bringing together French industry actors and representing them, ADAN aims to promote the development of digital assets in France and Europe.

Last but not least, we published Tenderbake, a classical BFT style consensus for public Blockchains. Inspired by Tendermint, Tenderbake is a first exercise in experimenting with deterministic finality in Tezos. Tenderbake is a collaboration with CEA LIST.

Stay tuned for more updates next month.