#kievfprog 2016

November 26 @ Microsoft Ukraine
Discovering Boundaries of the Math of Computation since 2012.

Schedule

  • 26 November

Introduction to Servant

10:00 AM 11:00 AM

Julian Arni

A Play on Regular Expressions

11:00 AM 12:00 PM

Sergey Vinokurov

Analyzing Events via Riak, Pipes and Foldl

01:00 PM 02:00 PM

Kostiantyn Rybnikov

Abstract Algebra and Computations

02:00 PM 03:00 PM

Andriy Oliynyk

Sponsors

Speakers

Julian Arni

Haskell Consultant
Turing Jump

26 November

Sergey Vinokurov

Haskell Programmer
Barclays

26 November

Kostiantyn Rybnikov

VP of Engineering
ThoughtLeadr

26 November

Andriy Oliynyk

Associate Professor
Taras Shevchenko National University of Kyiv

26 November

Microsoft Ukraine

Microsoft is an multinational technology company headquartered in Redmond, Washington, that develops, manufactures, supports and sells computer software, consumer electronics, and personal computers and services.

Microsoft Ukraine, a regional branch of Microsoft provided their headquarters as the venue for Kievfprog 2016.

Intetics

Welcome to Intetics. Opportunities for you start here!
Talented team that brings success to clients all over the world during more than 20 years.
More than 500 like-minded teammates with agile minds and innovative mindsets.
Great atmosphere of support and fun.
Endless opportunities to improve expertise, advance career, expand knowledge and gain confidence.
That's Intetics. Join us!


Attendify

Attendify helps event planners go mobile with private social networking apps that boost attendee engagement, increase sponsor revenue, and deliver data and insights to optimize event marketing spend.

Levi9 Ukraine

Levi Nine is a Dutch IT Services company with currently over 750 highly educated and skilled IT professionals in Eastern and Central Europe. Our teams work remotely on software products and revenue generating systems for Dutch and International clients.

Intuix

Intuix is Silicon Valley internet infrastructure boutique, specialising in custom services for quality-conscious clients. On commodity level Intuix provides Internet infrastructure services such colocation, VPS hosting, nameservice and domain registration.


Intuix founders are also involved in .UA TLD operations, including running anycast nameserver cloud.

Introduction to Servant

10:00 AM 11:00 AM

Servant is an extensible, type-level DSL for describing Web API for Haskell, a leading functional programming language lead by researchers Microsoft Research Lab in Cambridge.
Julian, one of its original authors, is going to glance over the ideas championed by Servant and will introduce us to productive web development using Servant.

Speakers

A Play on Regular Expressions

11:00 AM 12:00 PM

Speakers

Analyzing Events via Riak, Pipes and Foldl

01:00 PM 02:00 PM

Web-scale event analytics using Haskell, Pipes and Foldl.

Speakers

Abstract Algebra and Computations

02:00 PM 03:00 PM

We will discuss formal algebraic and logical approaches to proofs and
computations.

Speakers