About the event

Inspired by Google’s Tech Talks initiative, this event series aims to share information of interest to the technical community. The presentations cover a wide range of topics, from basic introductions to very technical and detailed discussions. We'll talk about well-known topics and also explore some exciting and imaginative ideas. Everyone is welcome to join and learn!

There’s limited space in the venue, please only RSVP if you plan to attend.

Agenda

• 19:00 - 19:30 - Gathering
• 19:30 - 20:30 - Tech talks
• 20:30 - 21:30 - Mingling & networking

About the talks

Kotlin Multiplatform Unleashed: Kotlin Code Sharing Beyond Mobile (30’)

by Katerina Petrova, Product Marketing Manager at JetBrains

Kotlin Multiplatform (KMP) has rapidly gained popularity in the mobile community as a technology for code sharing, presenting a modern and flexible alternative to Flutter and React Native. However, the capabilities of KMP extend far beyond iOS and Android platforms. In this talk, we will explore what you can achieve today with KMP on desktops, browsers, servers, and in the cloud. I will share insights both from the experiences of KMP users with real-world production projects and from the Kotlin team itself. As avid Kotlin enthusiasts, we use KMP across various products, and some of the use cases might really surprise you!

The effect of functional programming in software verification at scale (30’)

by Vasilis Nicolaou, Founder & Director at Vaslabs Ltd

Software verification has been a significant challenge in all my job positions over the years. Different companies have tackled this issue in various ways. Some used an army of QAs, others assigned dedicated QAs to a team, and some employed a combination of both strategies. For small companies that struggle to financially maintain a dedicated team of developers, this poses a huge problem. The solution, even if only temporary, often involves developers taking on the responsibility to develop and maintain their own testing/verification pipelines and infrastructure.

In my experience with small companies, especially in my role as a tech lead, I had the opportunity to address this issue from the ground up. Simultaneously, my initial exposure to, and later, my deeper understanding of functional programming paradigms, significantly influenced the way I think about and design software verification.

In this talk, I will cover the basics of functional programming, the challenges of ensuring software quality in small teams, and the various methods we attempted to resolve these challenges. I will discuss what succeeded, what didn’t, and the valuable lessons we learned along the way.