Skip Main Navigation
Eventbrite
Browse Events
Organize
Help
Log InSign Up
Menu
Page Content
This event has ended.
#kievfprog Fall 2017

Actions Panel

Nov 18

#kievfprog Fall 2017

By Vladimir Kirillov @ #kievfprog

When and where

Date and time

Sat, November 18, 2017, 11:00 AM – 4:00 PM EET

Location

Institute of Mathematics Tereschenkivska 3 01004 Kyiv Ukraine

Map and directions

How to get there

Description

Kievfprog Fall 2017 is here!

11.00–13.00 Vitaly Bragilevsky @_bravit — Теория зависимых типов и её реализация в языке Idris.

Лекция будет посвящена реализации теории зависимых типов в языке программирования Idris. В её рамках будут приведены примеры использования зависимых типов в Idris, представлена внутренняя теория TT с зависимыми типами и порядок преобразования в неё внешнего языка.

13:15–14:00 Maxim Sokhatsky @5HT — Презентация гомотопического прувера Cubical Type Theory от Mortberg et al

14:15–14:45 Sergey Vinokurov @5ergv — Recursion Schemes in Haskell

15:00–15:45 Andrew Lelechenko @bodigrim — Number Theory in Haskell


Tags

  • Ukraine Events
  • Kyiv City Events
  • Things to do in Kiev
  • Kiev Conferences
  • Kiev Science & Tech Conferences
Event ended

#kievfprog Fall 2017


Follow this organizer to stay informed on future events

Vladimir Kirillov @ #kievfprog

Event creator

Events you might like

  • Startups Mentorship Program

    Startups Mentorship Program
    Startups Mentorship Program

    Sat, Feb 11, 10:00 AM
    Kiev • Kiev
    €32.64 - €80.12
  • Kyiv: Free Guided Meditation for 21 days for Freedom from Thoughts

    Kyiv: Free Guided Meditation for 21 days for Freedom from Thoughts
    Kyiv: Free Guided Meditation for 21 days for Freedom from Thoughts

    Sat, Feb 25, 9:45 PM
    Online-Zoom • Kyiv
    Free
  • Kyiv: 2023 Free Kundalini Inner Energy Awakening Meditation Course

    Kyiv: 2023 Free Kundalini Inner Energy Awakening Meditation Course
    Kyiv: 2023 Free Kundalini Inner Energy Awakening Meditation Course

    Sat, Feb 25, 9:45 PM
    Online-Zoom • Kyiv
    Free
  • I want spiritual awakening, just not alone in Kyiv! 21 Day Meditation

    I want spiritual awakening, just not alone in Kyiv! 21 Day Meditation
    I want spiritual awakening, just not alone in Kyiv! 21 Day Meditation

    Sat, Feb 25, 9:45 PM
    Online-Zoom • Kyiv
    Free
  • Kyiv: Let's change in 3 week in 2023 with Free Guided Meditation

    Kyiv: Let's change in 3 week in 2023 with Free Guided Meditation
    Kyiv: Let's change in 3 week in 2023 with Free Guided Meditation

    Sat, Feb 25, 9:45 PM
    Online-Zoom • Kyiv
    Free
  • Crypto & blockchain in Ukraine 2023

    Crypto & blockchain in Ukraine 2023
    Crypto & blockchain in Ukraine 2023

    Thu, Feb 23, 5:00 PM
    UNIT.City HQ • Kyiv
  • Techstars Startup Weekend Kyiv  - HYBRID  Event

    Techstars Startup Weekend Kyiv - HYBRID Event
    Techstars Startup Weekend Kyiv - HYBRID Event

    Fri, Apr 21, 5:00 PM
    NEST • Kyiv
    Free

Site Navigation

Use Eventbrite

  • Create Events
  • Pricing
  • Eventbrite Boost
  • Eventbrite Mobile Ticket App
  • Eventbrite Check-In App
  • Eventbrite App Marketplace
  • Event Registration Software
  • Content Standards
  • FAQs
  • Sitemap

Plan events

  • Sell Tickets Online
  • Event Planning
  • Sell Concert Tickets Online
  • Event Payment System
  • Solutions for Professional Services
  • Event Management Software
  • Community Engagement
  • Virtual Events Platform
  • QR Codes for Event Check-In
  • Post your event online

Find events

  • Browse Kyiv Events
  • Get the Eventbrite App

Connect with us

  • Report This Event
  • Help Center
  • Terms
  • Privacy
  • CA Privacy Notice
  • Accessibility
  • Community Guidelines
Eventbrite + Ticketfly

© 2023 Eventbrite