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

Software Outsourcing Journal, an independent research platform, ranked Serokell among Top Software Outsourcing Companies in the USA.

Serokell among leading U.S. software outsourcing agencies

Serokell has been listed among [Top Software Outsourcing Companies](https://softwareoutsourcing.com/usa/) in the United States by Software Outsourcing Journal. 

The U.S. software outsourcing companies are sought-after thanks to their cutting-edge IT solutions and services. Software Outsourcing Journal provides a platform for businesses to help them find a partner aligning with their specific business requirements. Through this platform, companies can access top talent, industry knowledge, and premium tools the listed companies possess.

Software Outsourcing Journal, which links outsourcing suppliers with businesses globally,  offers an expansive database of credible technology firms from  mobile/web application development to comprehensive IT infrastructure management. The platform is known for its values, which include quick communication, thorough research, and careful selection to showcase the best in global IT. Last but not least, it guarantees its users unbiased and up-to-date details about technology firms, including services, pricing structures, and areas of expertise.

Serokell is equipped with a team of top professionals with backgrounds in programming, computer science, software engineering, mathematics, marketing, management, and design. Our expertise enables us to address and cater to various client interests and objectives and maintain the highest industry standards. Serokell is proud to have gained recognition from Software Outsourcing Journal. It acknowledges our commitment to delivering high-quality software development services. 


Serokell Recognized Among Leading U.S. Software Outsourcing Companies

In the interview, Arseniy Seroka talks about Serokell's mission and the past and present of the company. He also shares his view on the software engineering future and reveals the main fields Serokell is working on these days.

Serokell CEO Arseniy Seroka Gave an Interview to Website Planet

> Serokell’s mission is to make great things happen. We aren’t afraid of challenges; we welcome them. And we work hard to improve at every step of the way, be it coding, recruitment, communication.

Our CEO Arseniy Seroka was recently interviewed by Website Planet, one of the leading content portals and review centres for those who want to build a new website or improve an existing one.

In the interview, Arseniy talks about the story of the company, its unique features, and the mission of Serokell. He points out that we all in the company work to make great things happen and improve with every step. Another significant mission of Serokell, says our CEO, is to support talented young scientists and give them the space and environment to work on outstanding projects.

To fulfil this mission, Serokell also acts as a sponsor of various contests and events. For example, our company supports the computer laboratory based at the ITMO university along with such companies as JetBrains, Yandex, Mail.ru Group, and Tinkoff.

Arseniy also shares his view on how he anticipates the future of software engineering. He believes that new stunning technologies will keep appearing, which means more talented people will use them to build products and services that change the world.

You can read the full interview on the [Website Planet](https://www.websiteplanet.com/blog/interview-serokell/).

Thank you, Website Planet, for the opportunity to spread the voice and share our values with your readers!

Website Planet Interviews Serokell CEO Arseniy Seroka

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

Yato Rin

Ruben Astudillo

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