See 133 more on our Facebook page

Speakers and talks:

Speakers and talks:

Safety expert, interested in anything that's necessary to make a system work robustly.

That could be programming languages, formal methods, testing or DevOps.
Property testing has been around for two decades, and the design space is rapidly being explored, but keeping up with these developments has not been easy.

This talk gives a thorough overview of the different libraries and explores their tradeoffs.

Libraries discussed in this talk include QuickCheck, Hedgehog, Validity, Quickspec, Easyspec, speculate, leanspec and smallcheck.
Works at JetBrains (where no one knows exactly what he is doing) and teaches programming at the new department of mathematics and computer science at Saint Petersburg University.

Over the years in higher education, he taught many different courses in computer science and mathematics. He translated and edited books on Haskell and related topics for DMK Press.

Since 2007, Vitaly has been interested in Haskell, now he is a member of the Haskell Language Committee and the GHC (Glasgow Haskell Compiler) Steering Committee. Author of Haskell in Depth (Manning Publications, available in MEAP Early Access Program).
Dependent typing has been buzzing around in the functional programming community for a couple of decades.

While it provides much more control over our programs and extends the expressivity of type systems to much higher levels, it makes programming much more brain consuming. In most cases, it is quite difficult to persuade the compiler that we are doing the right thing and get our program compiled.

In this talk, Vitaly will give many examples of dependent typing in several languages and explain why he's not as excited as a bunch of dependent typing advocates.
I'm software architect, researcher, speaker and writer. I'm a Haskell developer, but also proficient in PureScript, C++, C#, Python.

I'm a notable member of Russian C++ and Haskell communities.

I'm writing a book "Functional Design and Architecture" I gave nearly 20 talks about Functional Programming, about Haskell and Functional Programming C++. I'm a member of C++ Russia Program Committee.

And, by the way, I'm writing fun poems about IT!
How to write large applications in Haskell? Where to get the best practices? What approaches and patterns exist? And what about Software Design?

In a nutshell: everything is bad, but I have a solution! Free Monads!

And most importantly, my methodology allows you to organize white box testing for free!
She is known in the Scala community for leading the Scala Improvement Process, organising educational events such as Scala sprees and ScalaBridge, managing the Scala Days program since 2017, and most recently she organised the 10th anniversary of the Scala Days conference in Lausanne.

Her main occupation (and passion) is everything non-technical that supports and surrounds the Scala technology.
The Dotty team at EPFL, led by Prof. Martin Odersky, has been developing a new version of Scala for ~ 7 years now and in 2018 it was finally announced that Dotty will become Scala 3.

Time has come to figure out a transition strategy. Who are the stakeholders, what are the main worries, who will provide the plan, and who is expected to execute it?

In this talk you will learn what is the Scala Center and what role it has in the Scala 2 to 3 transition.

We will touch upon the Scala Improvement Process, community involvement, and the importance of transparent communication to achieve the smooth transition. We are creating a road by walking on it thus this talk will be focused on how we navigated the processes so far, what we learned & how we plan to move forward.

This is a none-technical talk, although for the context we will include some projects we are working on.
I am one of the co-founders of SoftwareMill, where I code mainly using Scala and other interesting technologies.

I am involved in open-source projects, such as tapir, sttp, MacWire, Quicklens, ElasticMQ and others.

I have been a speaker at major conferences, such as JavaOne, LambdaConf, Devoxx and ScalaDays.

Apart from writing closed- and open-source software, in my free time I try to read the Internet on various (functional) programming-related subjects. Any ideas or insights usually end up with a blog.
Scala, http4s, tapir, monix, doobie: a solid basis for backend applications.

No magic, explorable, reusable and modular code.

Come and see practical benefits of functional programming in action!
Justin believes in "Tools before Rules": automating the development toolchain to remove the pain of dealing with institutional processes.

At day he works on this goal as part of the IntelliJ Scala plugin team. At night he goofs off.
IDEs provide support for many tasks that go into creating software. But developers want to be able to use special tools for each task. This shifts the focus from Integrated to Integrating external tools.

I'll talk about how the Build Server Protocol allows IntelliJ to interface with any build tool.
I help researchers use machine learning, constrained optimization, and generally tools from the technical computing domain to optimize the power grid.

I get to do all the best parts of being a software developer and all the best parts of being a researcher, its great.

I am a long-term contributor to the open-source JuliaLang ecosystem.

I am passionate about building the tools to do research better.

I officially completed my PhD on natural language processing (NLP) via machine learning (ML) at the University of Western Australia in 2019.
Learn about the Julia programming language, and what makes it tick.

JuliaLang has stumbled upon a sweet spot in the language design space.

One that allows for incredible amounts of code reuse.

What is it able being dynamically typed, but having such powerful types that lets JuliaLang pull this off?
I have experience in software development, especially in distributed concurrent backend jvm applications.

I truly believe that open-source is a way to go, and companies should open source everything that does not expose their business advantage.

I often prefer going through source code over reading documentation :)
Many developers are using provided libraries often without even rough idea on how things are implemented and work.

I'm going to improve this with regards to "caching".

I'll be using purely functional approach in Scala and still not forget about performance.
Scala & FP enthusiast, CTO of Besedo, author and maintainer of a few mildly popular Scala OSS libraries
Optics are a powerful tool to have at one's disposal, but have a reputation for being arcane and hard to grasp.

The purpose of this talk is to show that they're neither and that the vast majority of use cases are covered by a few oddly named but simple concepts.

Optics are a part of FP that have long frightened me - they sound so intellectual and hard and out of reach! Turns out though, once you actually sit down and study them, optics are surprisingly simple.

The purpose of this talk is not to make anyone an optics expert, but to demystify them and show people that they're as useful as they're easy to grasp.

Attendants would ideally be able to read idiomatic Scala code and know what an ADT is.
Scala 3, also known as Dotty, is the next version of the Scala programming language, bringing many new features, reducing boilerplate and removing warts.

In this talk, Jamie will show you work being done at the Scala Center to help the transition from Scala 2 to 3: how we are utilising the TASTy interchange format to bridge the gap between their two compilers to ensure binary compatibility under separate compilation; how you can gradually migrate your Scala 2 projects by depending on libraries that have already transitioned to Scala 3; and finally the steps you can take to migrate your own code to the new compiler.
Oli is specializing in developing high-load backend platforms.

Recently, she shifted gears and joined 47 Degrees as a Solutions Architect where she is working on a variety of different projects focused on improving client experience with Scala and Functional Programming (FP).

She is the founder of the popular FP Meetup, "Fun(c)" that draws tech experts from around the world for speaking engagements.

She also hosts podcasts about Scala: @scala_love and @ScalalazPodcast.
As functional programming tries to abstract as many things as possible, it offers a way to decouple a recursion from the implementation of business rules.

During this live coding session, you will learn fundamentals that will allow you to explore the topic further.
Before I joined JetBrains two years ago I spent many years teaching computer science and software engineering in St.-Petersburg State University, ITMO and HSE.

I used to do data science and data engineering with Apache Spark and Scala for 3 years in

Right now, I'm a team leader in Big Data Tools project.

Also, I'm interested in various aspects of ML, programming language design and partial evaluation.
Adoption of functional programming ideas, particularly lambdas, has changed software engineering enormously. Nowadays you can design your own embedded domain specific programming language in a very short period of time.

Many languages like Haskell and Scala have a very suitable syntax to deal with embedded DSLs. Over the past few years Kotlin joined the family of DSL-friendly general-purpose programming languages with its own set of features, especially type-safe builders.

n this talk I'd like to explore this very balanced Kotlin feature set with ultimate goal in my mind: to embed LaTeX-like DSL into Kotlin. I will dwell on Kotlin's pros and cons with respecting to this particular task.
I started as a C# OOP developer but switched to the light side
People often confuse F# for Haskell on .NET platform. When they find out it's not quite that, they try to upgrade F#. This talk is about what happens on those occasions and how it plays out in production.
Attended the technical unversity in Munich (TUM) for a Degree in Information Systems and moved to Cádiz
Type-proofs are powered by Arrow Meta - a meta-programming library and functional companion to the Kotlin Compiler and IDE.

Type-proofs open the door to the Kotlin typesystem and establish a trust relationship with the Kotlin compiler where users can define functions between 2 types.
I love Haskell and mathematics. I always aspire for clean, understandable, but at the same time safe code. My true love is in embedded DSLs and control of effects in pure functional programs.

At Biocad I take part in development of web-services and algorithms in Haskell.

Apart from that I try to bring the message of FP and Haskell as far away as possible, starting from my colleagues and up to Petersburg's Python community.
In this talk we'll present latest additions to Biocad's Haskell DSL for Cypher query language.

Cypher is the query language of Neo4j graph database. To make writing of complex queries safe and future-proof, we use our own embedding of Cypher into Haskell.

We will show how we applied several well-known techniques, like Generics, Type Families and heterogeneous lists, to make GHC check more of Cypher's syntax and semantics for us.

Ideas presented in this talk are universal and will be useful in making any similar DSL in Haskell.
Scala enthusiast, working at Flo Health, interested in functional programming, distributed systems and machine learning.
Main abstractions from category theory, such as functors and monads, are mentioned and used quite often for writing programs in fuctional style.

Nevertheless most of the guides and articles explain concepts of functor and monads purely from practical point of view, showing only which methods must be implemented and which laws these implementations must obey but missing the part where all of this come from.

This might cause troubles with reading and understanding code which relies on these concepts heavily.

In this talk I'm going to explain what is the essense of functor and monad from the category theory point of view and what is the profit of using them in functional programming (Scala code examples included).


Signing up the newsletter indicates you agree with our Privacy Policy. If you decide that you no longer want to receive a newsletter, you can unsubscribe by clicking the "Unsubscribe" link, located at the bottom of each newsletter.

Evolution Gaming is the world's leading provider of video-streamed Live Casino solutions, working with more top-tier brands than any other provider in this market. We revolutionized the Live Casino platform, transforming it into a "must have" for gaming operators.

We are passionate about innovation. Our code runs 24/7 and processes financial transactions worth thousands of EUR per second. Our engineering teams are critical to the successful running of the company, with any code change having a potentially huge financial implication, in both a positive and negative sense.







Dmitry Bushenko
Head of Java Development Department @VRP Consulting
Alina Dolgikh
Product Marketing Manager @JetBrains
Software Developer @Zorachka Soft
Senior Backend Engineer @Syte.AI
Head of Minsk Ops @Intergiro
Software Engineer @Viber
Passionate about programming languages design and implementation.

F# Russian Community management team.
Backend Developer, Architect and Elixir Evangelist.

Has more then 4 years in Elixir production development, and half a dozen Hex packages under maintaining.

One of the Russian Elixir community leaders.
Passionate about programming languages design and implementation, F# Russian Community management team
Ivan has diverse experience in the IT industry, both start-ups and enterprise.

In recent years, he helped develop the local Scala community and provided all possible assistance to f (by)
Vitaliy has 5 years in Itransition Group and more than 6 years in Viber Media, where he works now.

Also he acts as a teacher at BSU.

He is interested in Open Source, Rust programming language and System Programming.


SPACE is a professional team which stands behind a huge number of IT conferences and hackathons in Belarus
FuncBY is a belarusian community of developers using functional programming languages in their work and hobby projects


Wall Street Journal named Belarus' Hi-tech Park 'The Silicon Valley' of Eastern Europe.
Belarus has a strong IT cluster of international companies. It is worth to mention EPAM, World of Tanks, Fitbit, PandaDoc, MSQRD, Juno, etc.

30 days visa-free

Minsk is a beautiful city with post war architecture & lots of parks. Even the most experienced travellers are impressed by its spacious avenues & cleanliness. Explore the city with these handy guides:
Minsk City Guide
Go to Belarus!

Hotel Discount

If you need a hotel, after purchasing a conference ticket, contact the organizers and get a discount on Willing hotel.
If you fly to Minsk airport from any country except Russia & your stay will last up to 30 days (including arrival & departure dates), the visa will be stamped to you free of charge at Minsk airport!

This concerns 74 countries' citizens.

If your country is in the list, you don't need an invitation to enter the country. You'll only need a valid passport (it must be valid 6 months after your trip to Belarus), a return ticket and medical insurance that must be purchased at Minsk airport upon arrival (before passport control), it costs a couple of euros, the insurances from your countries might be not valid for our passport control.

If your country is not in this list, we can prepare an invitation for you.

Delicious national cuisine

A unique feature of Belarusian national cuisine is a huge variety of cold soups & potato dishes. To try draniki with sour cream is a must!

Large Developers' Community

Minsk has a really strong developers community. FuncBY, as well as many other communities, has their regular meetups every month.
Maria Berezko
Content and organization
Katerina LukashenokPartnership and
corporate tickets
Previous Conferences
Previous Years' Videos
Previous Years' Photos
f(by) 2020 Code of Conduct
All attendees, speakers, sponsors and volunteers at our conference are required to agree with the following code of conduct (CoC). Organisers will enforce this code throughout the event. We are expecting cooperation from all participants to help ensuring a safe environment for everybody.

f(by) 2020 is a community conference intended for networking and experience exchange in the developers community.

f(by) 2020 is dedicated to providing a harassment-free conference experience for everyone, regardless of gender, sexual orientation, disability, physical appearance, body size, race, or religion. We do not tolerate harassment, discrimination, abasement and any form of disrespect.Sexual language and imagery is not appropriate for any conference venue, including talks.

We urge to avoid offensive communication related to gender, sexual orientation, disability, physical appearance, body size, race, religion, sexual images in public spaces, deliberate intimidation, stalking, following, harassing photography or recording, sustained disruption of talks or other events, inappropriate physical contact. Attending the event under the influence of alcohol or other narcotic substances is unacceptable.

Exhibitors in the expo hall, sponsor or vendor booths, or similar activities are also subject to the anti-harassment policy. In particular, exhibitors should not use sexualized images, activities, or other material. Booth staff (including volunteers) should not use sexualized clothing/uniforms/costumes, or otherwise create a sexualized environment.

Conference participants violating these rules may be sanctioned or expelled from the conference without a refund at the discretion of the conference organizers.

Expected Behavior
  • Participate in an authentic and active way.
  • Exercise consideration and respect in your speech and actions.
  • Attempt collaboration before conflict.
  • Refrain from demeaning, discriminatory, or harassing behavior and speech.
  • Be mindful of your surroundings and of your fellow participants. Alert organisers if you notice a dangerous situation, someone in distress, or violations of this CoC.
Thank you for helping make this a welcoming, friendly event for all!

Need Help?
Contact the organizer at