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

Cringy

Serokell is mentioned among the top European developers on the independent IT market research platform Good Firms.

Serokell is listed among the top European developers

Serokell is mentioned among the top European developers on the independent IT market research platform goodfirms.co. We got to the top 10 for several directions, including [the leading AI firms](https://www.goodfirms.co/artificial-intelligence/estonia), [the best blockchain technology companies](https://www.goodfirms.co/directory/country/list-blockchain-technology-companies/estonia),  [the top big data analytics companies](https://www.goodfirms.co/big-data-analytics/estonia), one of the best Internet of Things companies, etc. 

It’s a pleasure to be listed among  IT industry leaders by independent researchers like GoodFirms.

Serokell is Mentioned Among the Top European Developers

Daniel Rogozin's Paper Released in the Journal of Logic and Computation

Recently, a paper of one of our employees was released in the Journal of Logic and Computation. Read more details about the paper in this article.

D.Rogozin's Paper Released in Journal of Logic and Computation

Last year, Daniel Rogozin participated in a conference called Logical Foundations of Computer Science (Miami, USA, 2020). The contribution was the conference paper and lecture on the computational interpretation of some intuitionistic modal logics. [For more info, check this brief report about the conference](https://serokell.io/blog/lcfs-2020).

The extended paper has been recently released in the Journal of Logic and Computation (Oxford University Press). [The previous article](https://link.springer.com/chapter/10.1007/978-3-030-36755-8_15) was about questions related to syntax. In other words, Daniel was considering the modal typed lambda calculus based on the curious system of intuitionistic modal logic where he proved such properties as confluence and strong normalization.

The extended paper covers a broader class of topics. In addition to syntax, Daniel also proposed semantic analysis of those intuitionistic modal logics. In this paper, he proved that the obtained modal lambda calculus is complete with respect to cartesian closed categories equipped with coalgebras obtained from the monoidal endofunctor. That provides essential categorical intuition for evaluation in this type theory.

Additionally, he analyzed a class of logics by means of Kripke-Joyal semantics. This kind of semantics arose from topos theory and generalisation of the underlying topological notions proposed by Grothendieck. The modalities might be interpreted as prenuclear operators used in point-free topology. This version of topology studies topological spaces as lattices of open neighbourhoods without mentioning geometric points. As Newton said: “if I have seen further, it is by standing on the shoulders of Giants”. This aphorism illustrates the paper since this part of the article develops [Robert Goldblatt's ideas](https://academic.oup.com/logcom/article-abstract/21/6/1035/945244).

The paper [is available online](https://academic.oup.com/logcom/advance-article-abstract/doi/10.1093/logcom/exaa082/6049830), and it is to appear in the special issue of the Journal of Logic and Computation prepared by Sergei Artemov (City University of New York) and Anil Nerode (Cornell University).

#SerokellChat on April 28th!

Serokell will be hosting its first-ever Twitter chat on Tuesday, 28th, at 2 PM GMT.

Serokell will be hosting its first-ever Twitter chat on 28th April at 2 PM GMT. 

Our first special guest will be Serokell CTO Kirill Elagin, answering questions about the benefits of Haskell and how to grow as a Haskeller. If you are in the beginning or middle of your Haskell journey, this is an excellent opportunity to ask questions on things you should master to become a top-tier Haskell developer (and land a job at Serokell 😉).

![Twitter chat](/files/0n/0nt6pk7a.222_(2).jpg " ")

## What is a Twitter chat? 

It’s quite simple. Join us at the [#SerokellChat](https://twitter.com/search?q=%23serokellchat) hashtag next Tuesday from 2 PM–3 PM GMT, and participate in a discussion about Haskell with other Haskell enthusiasts and Serokell employees that work on actual production grade Haskell code. 

We will post 6 questions to start off the discussion, and you are welcome to express your opinion (which we highly value!) on these topics and discuss them with our special guest. 

Book the time in your calendars, follow us on [Twitter](https://twitter.com/serokell), and see you at #SerokellChat!

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).

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