Banner that links to Serokell Shop. You can buy awesome FP T-shirts there!

Monad

Last Friday, some of Serokellers participated in a hackathon in Moscow. Read about the hackathon and their experience in the article.

Serokell at ZHF Hackathon

Last Friday, some of Serokellers participated in a semi-physical [Zero Hydra Failure Hackathon](https://nixhax.github.io/zhf-21.11/index.en.html) in [undefspace](https://undef.club/#about), Moscow.

![event attendants](/files/w2/w2p5yba2.5ef5b309d40d414bbc1dbdeeed5d4cb19cdfbfde.jpeg)

Together with other attendants, we managed to push more 6 PRs in less than 8 hours and fix a lot more packages (due to a fix of  `openjfx` by our site reliability engineer Alexander Bantyev). 

![yx0ymu17.IMG_20211120_004153.jpg](/files/yx/yx0ymu17.IMG_20211120_004153.jpg)

If you want to learn more about the event, you can read a short writeup on the [NixOS Discourse](https://discourse.nixos.org/t/zhf-hackathon-celebration-event/16079/5).

Serokell at TQuorum Berlin

At the end of August 2019, Serokell's team of developers participated at TQuorum Berlin. Read this event recap to learn more about our experience there and the variety of innovations being done on the Tezos blockchain.

Serokell at TQuorum Berlin 2019

At the end of August 2019, our team participated in the Berlin edition of TQuorum, a global gathering of [Tezos](https://tezos.com/) developers and enthusiasts with a strong focus on building on Tezos. 

## One of the main Tezos events in Europe

Among companies attending were impressive research laboratories like Cryptium Labs, Nomadic Labs, Stove Labs and, of course, Serokell. 

![Representatives of Serokell at TQuorum Berlin](/files/0n/0nvtd28o.IMG_20190822_110936.jpg)

We presented Michelson tooling that we had been working on since February 2019. 

**The Michelson tooling itself consists of the following parts:**

* [Morley framework](https://gitlab.com/morley-framework/morley) — our reimplementation of Michelson typechecker and interpreter, Michelson language extensions, Michelson eDSL (which is basically Michelson lifted to Haskell) and testing primitives for unit, property and integration tests.
* Lorentz eDSL — a more high-level version of Michelson eDSL that we use for writing contracts in productions.
* Indigo eDSL — a high-level eDSL with declarative style of programming, on which we are still working on. 
* Testing support for Lorentz and Indigo.

![Presentation on Morley](/files/gx/gxyqff0u.Tezos_Berlin.jpg)

## Practical workshops on Tezos technologies

The event consisted of series of technical workshops about Tezos and tools for its environment that speakers had been working on. We (especially Ilya) were happy to meet our colleagues from TQ that we’ve been collaborating with remotely.

It's a pleasure to be amongst the companies trying to change the world, and see all the recent innovations in acessibility, privacy, and smart contract language development. To learn in more detail about the solutions presented at TQuorum Berlin, check out the [TQTezos event recap](https://medium.com/tqtezos/recapping-tquorum-berlin-339cc70073b).

Serokell at AiML 2020

Advances in Modal Logic is one of the most popular conferences on modal logic. Read about the conference and Danya Rogozin's participation in it.

[Advances in Modal Logic](http://www.aiml.net) is one of the most popular conferences on modal logic. AiML covers the whole landscape of modal logic and its current state of affairs. Topics are not restricted to only abstract questions of modal logic but also includes the aspects related to artificial intelligence, philosophy, topology, algebra, etc. This year, the conference was online due to the pandemic – the University of Helsinki did a great job in organising it via Zoom.

## AiML talks

The AiML talks were split into three categories. The first category was plenary talks. This year, invited speakers were Bahareh Afshari (the University of Amsterdam), Nick Bezhanishvili (the University of Amsterdam), Melvin Fitting (City University of New York), and Nina Gierasimczuk (Technical University of Denmark), all great talks indeed. 

Out of those, I would like to emphasise the talk by Nick Bezhanishvili called ‘Filtrations, Canonical Formulas, and Axiomatisations of Superintuitionistic and Modal Logics’. The talk was quite close to my current research on model-theoretic aspects of Boolean algebras with operators.
 
There were also talks based on full papers. Topics of those papers represent a variety of trends in modal logic that include technical, applied, philosophical, and historical problems. Moreover, this conference is my debut as a paper reviewer. One of the accepted papers has been approved by myself as well.

## My presentation 

My talk was the short one and is based on a short five-page abstract. It's called ‘Canonical extensions for the distributive full Lambek calculus with modal operators’. 

Briefly, this talk provides an algebraic approach for Stone-style representation for bounded distributive lattices with modal operators to characterise the class of canonical logics. Canonical logics, in their turn, are adequate with respect to relational Kripke semantics if their algebras ‘respect’ such an algebraic representation called canonical extension. The result of this talk extends some of the results by [Mai Gehrke, Yde Venema, and Hideo Nagahashi](https://www.sciencedirect.com/science/article/pii/S0168007204000880).

Serokell has been added to the ranking list of the top IT services companies by GoodFirms as a leading IT consulting agency.

Serokell among top IT service providers

Serokell has been recognized as one of the most sought-after developers by GoodFirms, earning a place [among the top IT services companies of 2023](https://www.goodfirms.co/it-services). On the list of leading IT companies, we have achieved a prominent position among Estonia's top firms. 

[GoodFirms](https://www.goodfirms.co/) is a trusted B2B reviews and ratings platform that conducts research on the IT industry to identify the best service providers based on various criteria, including the quality of service, reliability, client feedback, awards, and certifications. The experts carefully select the companies that make it onto its list. It aims to simplify the search process for service seekers by identifying top-notch service providers. 

Technology plays a pivotal role in business growth and provides a pathway to gain a competitive advantage. Therefore, the platform focuses primarily on the ability of software developers to create customized reliable and secure products.

Serokell boasts a highly professional team of programmers, computer scientists, software engineers, mathematicians, and designers who possess extensive knowledge and passionate with development of advanced software solutions. This allows us to blend theoretical knowledge and practical expertise to benefit our clients' interests and objectives and meet the high standards set by GoodFirms. 

At Serokell, we are thrilled to have our core expertise recognized by a trusted business partner.

Serokell on the List of Most Sought-After IT Services Companies in 2023

Viktor Kazanski

Denis Oleynikov

Pavel Golovin

Mika Logan

Constantine Ter-Matevosian

Alexey Danilevsky

Vladimir Serov

Nikolay Yakimov

Inna Logunova

Ivan Smetannikov

Aleksandr Pak

Leonid Vasilev

Ilya Lubimov

Andrey Borzenkov

Markus Barenhoff

Kirill Kizilov

Kristina Martin

Nurlan Alkuatov

Jay Zelenskyi

Adrián Enríquez

Anton Sorokin

Uliana Sushinskaia

Vadym Salnyk

Daniel Kazantsev

Vito Canadi

Chris Höppner

Lars Jellema

Yorick van Pelt

Yegor Timoshenko

George Agapov

Kirill Andreev

Brian Kean

Val Baturin

Kyrill Briantsev

John Burnham

Ivan Dolgakov

Kirill Elagin

Pavel Gliev

Joakim Goldkuhl

Ivan Gromakovsky

Kostya Ivanov

Murat Kasimov

Alexander Rukin

Vasiliy Kevroletin

Mikhail Kilianovski

Maxim Koltsov

Dmitry Kovanikov

Artem Kuznetsov

Nikita Lisitsa

Allan Lukwago

Dmitry Mukhutdinov

Alexander Nikolaev

Dmitry Nikulin

Konstantin Andriotis

Artem Ohanjanyan

Ilya Peresadin

Pasquale Pinto

Danya Rogozin

Rinat Stryungis

Alexander Tiunov

Paul Tsupikoff

Mitchell Vitez

Josef Vlach

Mikhail Volkhov

Murad Murzaev

Vladislav Zavialov

Arseniy Seroka

Jons Mostovojs

Felix Stegerman

Roman Melnikov

Jaroslav Shadrin

Marina Sharygina

Leonid Cupikov

Ping Chen

Sergey Litovchenko

Nadir Asanbekov

Dmitry Lifanov

test1

Domagoj Cerjan

Ellina Poponnikova

Dmitrii Susloparov

Damir Garifullin

Aleksandr Pakulev

Kirill Kuvshinov

Roman Alterman

Anton Dobrenkiy

Alexandra Voicehovska

Eduard Sachava

Sandeep Chandrika

Grigory Pevnev

Artem Velychko

Olga Bolgurtseva

Yulia Gavrilova

Zhenya Vinogradov

Alexander Bantyev

Stepan Prudnikov

Moremi Vannak

Fedor Fedorov

Krisztián Ádám

Alyona Antonova

Artem Yurchenko

Diogo Castro

Heitor Toledo Lassarote de Paula

Ilona Prikule

Natalya Kokova

Daria Smirnova

Serokell PR

Gints Dreimanis

Ivan Markov

Andrey Demidenko

Dmitriy Mozhevitin

Iurii Kravchenko

Vlad Shcherbina

Preetham Gujjula

Dina Safullina

Alexey Khaciyants

Dmitri Puzyrev