#kievfprog 2017.1

March 18 @ NASU Institute of Mathematics
Avoiding Success at All Costs.
Register

Schedule

  • 18 March

The Past and Future of Programming Languages

11:00 AM 11:30 AM

Vladimir Kirillov

Loop fusion and inlining in imperative setting

11:30 AM 12:00 PM

Andrew Lelechenko

Introduction to lenses

12:00 PM 01:00 PM

Anton Dubovik

Type inference 101

02:00 PM 03:00 PM

Sergii Vynokurov

Type Your .conf for Fun and^W^W Profit

03:00 PM 04:00 PM

Eugene Smolanka

Fibrations and Geometric Meaning of Notation in HoTT

04:00 PM 04:30 PM

Sergiy Maksymenko

Speakers

Anton Dubovik

EPAM

18 March

Andrew Lelechenko

EPAM

18 March

Sergii Vynokurov

EPAM

18 March

Eugene Smolanka

EPAM

18 March

Vladimir Kirillov

Lagrange Inversion

18 March

Sergiy Maksymenko

Chair of Algebra and Topology Laboratory
NASU Institute of Mathematics

18 March

The Past and Future of Programming Languages

11:00 AM 11:30 AM

We're going to take a look back at 4 years of Kievfprog, guess the future of industrial programming languages and reboot Kievfprog for 2017.

Speakers

Loop fusion and inlining in imperative setting

11:30 AM 12:00 PM

Speakers

Introduction to lenses

12:00 PM 01:00 PM

Speakers

Type inference 101

02:00 PM 03:00 PM

Speakers

Type Your .conf for Fun and^W^W Profit

03:00 PM 04:00 PM

DSLs for Configurations

Speakers

Fibrations and Geometric Meaning of Notation in HoTT

04:00 PM 04:30 PM

Speakers