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

Monad

On October 16-18, we participated in NixCon 2020. Here's the details of our participation.

Serokell at NixCon 2020

On October 16-18, we participated in NixCon 2020. 

NixCon is an annual conference for contributors and users of [Nix](https://serokell.io/blog/what-is-nix) and NixOS. 

It’s an event we keep participating in every year, [including the previous one](https://serokell.io/blog/serokell-nixcon2019). This year, due to the COVID crisis, it was done remotely. 

One of our employees, Alexander Bantyev, participated with a talk on Nix flakes in production, a thing we have been working for some time now. 

If you’re interested, here’s the talk. You can also see all the other talks of the event on their YouTube channel. 

<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/7sQa04olUA0?start=9117"></iframe>

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

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

How to Win at Web Summit

How to survive and accomplish your goals in large conferences like Web Summit? Roman Alterman gives 6 tips from his experience at Web Summit 2019 and a multitude of other conferences.

_Web Summit is huge. According to official statistics, in 2019 it was attended by 70 469 people. It is an experience of its own kind._

_I’ll describe. Just after entering the first out of five pavilions you are shocked by the multitude of booths and visitors—you look from side to side and think what the strategy should be: should you visit enormous booths of IT-giants like Microsoft or SAP or is it better to start by covering tons of startups all around the area? At the end of the article, I hope you’ll know what to do._
## 6 tips to succeed at your next Web Summit

On November 2-5, the CEO, COO and CBDO of Serokell visited [Web Summit 2019](https://websummit.com/). The event was full of smart people, bright ideas and brilliant innovations. For us as a team, it was a wonderful experience and I would love to share my thoughts about it in a way that’s helpful for first time visitors. 
 
Therefore, I will list a couple of points which can be useful if you are considering taking part in Web Summit or a large global tech conference like it. Let’s go!  


### 1. Know your goal

Before coming to the conference you should spend enough time on preparation to feel confident during the event. 

![Can you feel the confidence?](/files/80/806nfh2x.20191107_175159.jpg)

Remember, everything is possible here. Before coming, you should formulate your precise goal for this week and work in its direction. There are many opportunities: getting new clients, raising funds, searching for outsourcing services, headhunting and testing your hypotheses about the market and its participants.  You could spend all week just working on one thing from this list, and if you are well prepared, the probability of achieving your initial goal becomes very high. 

### 2. Know who participates

The important thing to mention is that Web Summit is more for CEOs and business development executives. As a result, don't count on a high level of technical talks there—it's more about business.

![A look inside Web Summit 2019](/files/au/aukiaf05.20191105_173512.jpg)

Regarding the booths, there are several types of them. Startups have the smallest ones and you can find a huge amount of them in each pavilion according to their industry: FinTech, HealthCare, Social, Security and lots of other fields are amongst the options. 

Besides startups, there are bigger booths for sustainable businesses like JetBrains and different infrastructures like accelerators, hiring aggregators, VCs and even countries. Huge zones are for industry giants like Booking.com, Lenovo, Amazon, Siemens, Porsche, SAP, and dozens of other market leaders. If you are attending for business purposes, there is probably no point to spend much time near the biggest booths. Representatives there usually don’t have the power to make any decisions, they just present their products.  

A very important thing: booths are only the tip of the WebSummit iceberg, thousands of interesting people and projects come in as attendees. The best way to reach them out is through preliminary search and the event-specific app.

### 3. Schedule in advance


Therefore, you should schedule meetings and find interesting opportunities in advance.  
 
Go through the endless list of participants on the Summit website, get in touch with proper ones and arrange a cup of coffee before coming to Lisbon. That way, you will be able to spend all 3 days efficiently.

### 4. Use the Web Summit app

Don’t underestimate the application, it is an instrument that brings you a lot of opportunities. It is key to becoming a part of a huge social network. It’s simple.  
 
1. Fill in your profile and become visible to other participants. 

2. After that, find any person who is interesting to you, propose him a meeting and schedule it right inside the application using the internal calendar.

What is more, you can form your own schedule by choosing interesting speeches and presentations and combining them with your meetings. The application will always notify you about the upcoming activity linking it with the Summit map. You can even use it before and after the event to get in touch with anyone you did not have time to catch in Lisbon or just stay connected to a big base of potential partners.

![Form your own schedule by combining both speeches and business meetings](/files/kk/kk9jijxs.20191106_163318.jpg)

All participants have a [QR code](https://www.adobe.com/express/feature/image/qr-code-generator) on their badge. After talking to anybody, just scan his QR with an app and send him a “Hi!”— that would help you to keep in touch. Probably, this is the first event that is free of business cards. Forget about carrying kilos of carton and remembering who’s card it actually is: just scan the badge and continue the negotiations in the application chat.

### 5. Feel the rhythm of the Night Summit 

After a day in the fields, Night Summit begins. Every evening all participants go to the best party locations. Streets are closed, with access only for people with WS badges. It’s an enormous networking event under the dark sky and an awesome opportunity to build business relations informally. We have to admit that it is not so easy—the amount of people is very large, and as a result, everybody is grouping and finding a lead becomes quite tough. To succeed, you need to be a networking shark. 
 
Besides the official Night Summit, there are lots of side events sponsored by different companies and projects. In our opinion, most of them are not worth visiting—descriptions are brilliant, locations are interesting, but, frankly speaking, it is very hard to compete with the official one. Visiting a side event could be efficient only if you have a specific interest in it. If not, we believe that spending time at Night Summit is much more reasonable. 


### 6. Be prepared for the crowd

The only negative thing I can mention is also the best one: the number of visitors. 

![Visitors at the event](/files/o4/o4j2scdc.20191106_124824.jpg)

Be ready to spend a lot of time in lines of differing shape and size: to enter the location, drop off your bag, get a meal or get inside the stage zone. However, there are a few life hacks which can make life easier.  
 
* Don’t forget to go through the registration at the airport just after landing in Lisbon. There is a huge tent with volunteers which can help you out with that. Registering directly at Summit could become a disaster—on the first day you may spend an hour or more in the line.

* Use the “Fast Track” application for choosing and paying for your meal and just pick up your order in a specified place. 

* Come earlier or later than 10-10:30 AM or lose your priceless time waiting in line at the entrance.

## Conclusion

Web Summit is not a regular IT conference. It’s a huge celebration. It’s a time of gathering for the IT world. Everything is possible here. It’s an awesome opportunity to open your mind, find out how different countries and cultures have their own individual ideas, approaches and views. It’s a good opportunity to invest or find investments, a perfect way to build up your international network. 

Keep in mind that this time can be spent efficiently only in synergy with good preparation and sufficient experience. If you are counting on this event as an instrument for business development, don’t choose it as your first conference—train on smaller ones. Literally, train,  because all the other events seem to be just training once you get to Web Summit.