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

Gone wild

Learn how to do GUI programming in Haskell with GTK+.

Introduction to GUI Programming in Haskell

**Update:** You can watch the full talk on [YouTube](https://www.youtube.com/watch?v=k1aq8ikO-8Q&t=2s).

Join us on 1st October, 17.00 UTC to learn more about GUI programming in Haskell. 

Our software engineer Vladislav Zavialov will give a talk on how to use Haskell and GTK+ to build graphical user interfaces in a functional programming language. He will talk about topics such as:

*   Initializing the build environment with Nix.
*   Creating an app using GTK+ widgets. 
*   Offloading work to other threads, using `GLib.idleAdd`. 
*   Documentation and resources to study if you want to build an app of your own.

This is a great way to get started with GUI development in Haskell and find answers to any questions you have. 

To watch the talk, [join us](http://meet.google.com/fui-diin-uxk) on 1st October, 17.00 UTC. 

<center>
	<i>Think you'll forget? Add the event to your Google Calendar.</i>
<a target="_blank" href="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NWltOWp2dWNiZnQzM2RybjR1aHJyamNlcjYgY18ya2Y1M2U5OTdxNjJmdWl0N2xza2hjaG4yc0Bn&amp;tmsrc=c_2kf53e997q62fuit7lskhchn2s%40group.calendar.google.com"><img border="0" src="/files/xm/xmvysj0o.gc_button1_en.gif" alt="Link to Google calendar"></a>
</center>

![talk picture](/files/2g/2glb7e7k.Vladislav-Zavialov-.jpg)

By the way, if you haven’t yet seen our previous talk by Maxim Koltsov, we highly suggest checking it out. In it, Maxim goes over how evaluation and GC in Haskell work, going deep in the compilation pipeline of Haskell, showing some interesting details of intermediate languages that GHC uses, and giving tips to optimize GC in Haskell. 

<iframe width="560" height="315" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen="" data-src="https://www.youtube.com/embed/vvLDerKtUWE"></iframe>

We are delighted to announce that Serokell has been mentioned as one of the top IT services companies in the USA for 2023 by Techreviewer.co

Serokell listed among the top IT service providers in the USA

We are pleased to announce that Serokell has been named one of the top [IT services companies in the USA](https://techreviewer.co/top-it-services-companies/usa) for 2023 by Techreviewer. Our strong dedication to innovation and delivering successful outcomes for our clients has earned us a position among the prestigious top 100 companies on this list. 

Techreviewer conducts research and curates comprehensive lists of leading software development companies across diverse business domains and annually compiles and publishes a list of the best  IT companies. Through market research and analysis, it identifies and recognizes top technology partners that can effectively meet the specific needs of businesses. By bridging the gap between companies and the most suitable technology providers, Techreviewer.co facilitates valuable connections in the industry.

Serokell has established itself as a trustworthy provider of comprehensive IT solutions. With expertise in a wide range of technologies, including functional programming, blockchain development, and AI solutions, we have successfully served businesses of all sizes and industries, including edtech, fintech, e-commerce, biotech, etc. 

With a particular emphasis on large-scale development and complex system engineering, we are dedicated to bridging the divide between business and computer science.

Being featured in Techreviewer's list of the top IT service companies in the USA highlights our dedication to delivering high-quality, reliable services while maintaining industry-leading standards. For Serokell, the recognition is not just an achievement but also a responsibility. We take great pride in this achievement and will continue to strive for excellence in our industry.

Serokell Recognized Among Top IT Service Companies in the USA for 2023 by Techreviewer.co

Serokell Among the Best Blockchain Development Companies

The independent ranking platform DesignRush has included Serokell in the list of leading Blockchain software development companies as of September 2021.

Serokell Listed as One of the Top Blockchain Software Developers

Serokell got listed among the leading [Blockchain software development companies](https://www.designrush.com/agency/software-development/blockchain) in the world. The rating of the best developers as of September 2021 was made by the ranking platform DesignRush.

The listing agency DesignRush is an independent researcher of IT firms with its own methodology and a team of analysts. They evaluate [software development companies](https://www.designrush.com/agency/software-development) and choose those that provide the most reliable and efficient products.

As a [blockchain software development agency](https://serokell.io/blockchain-development), Serokell provides various blockchain solutions. For more than five years, we've been creating public blockchains, custom blockchain platforms, smart contracts, enterprise DLT solutions, and more. Among our projects are designing new cryptocurrency platforms and improving the security of our own and external blockchain solutions. We’re delighted to be recognized as a trusted technology partner.

Read about the participation of our logician Danya Rogozin at LCFS 2020 and the thesis about which he gave his talk there.

##

On the 7th of January, Danya Rogozin participated in the conference Logical Foundation of Computer Science, Miami, Deerfield Beach. [LFCS](https://lfcs.ws.gc.cuny.edu/lfcs-2020/) is a logical and computer science conference, topics of which cover such areas as constructive mathematics, type theory, proof theory, foundations of mathematics, etc. 

![logical foundations of computer science](/files/0f/0f2k6r53.logo_general2.png " ")

Danya gave a talk on the results that he obtained in his thesis two years ago. The title is Modal Type Theory Based on the Intuitionistic Modal Logic ${\bf IEL}^{-}$. This logic [was introduced by Sergei Artemov and Tudor Protopopescu](https://arxiv.org/abs/1406.1582) to solve some issues related to constructive aspects of agent knowledge and belief.

## Considering modal logic from a computational perspective

This logic was considered from a computational perspective. It's a quite curious coincidence that axioms of this logic are pretty similar to the types of methods `pure` and `(<*>)` in the Applicative class well-known in Haskell. In this work, he considered the modal typed lambda calculus that is Curry-Howard isomorphic to the logic  ${\bf IEL}^{-}$ and shown such metatheoretical properties as subject reduction, strong normalisation, and confluence.

To get a closer look, you may check out [the proceedings book](https://www.springer.com/gp/book/9783030367541), where the articles based on the speakers' talks are fully presented.

Also, if you want to read some of Danya's introductory work about modal logic, feel free to head to his [excellent post series](https://serokell.io/blog/incomplete-and-utter-introduction-to-modal-logic) on our blog. In it, he covers the basics of modal logic and explores its connections to fields such as computer science, topology, and foundations of mathematics.

Serokell at LCFS 2020

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