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

Actions Panel

Sep 11

#kievfprog September 2017

By Vladimir Kirillov @ #kievfprog

When and where

Date and time

Mon, September 11, 2017, 6:00 PM – 8:00 PM EEST

Location

Institute of Mathematics Tereschenkivska 3 01004 Kyiv Ukraine

Map and directions

How to get there

Description

Join us @ imath at 18:00 with Vadim Zaliva, a PhD candidate at Carnegie Mellon University.

Vadim is going to talk about his research in PLT: Coq Formalization of an Operator Language for Verified High-Performance Code Generation.

Tags

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

#kievfprog September 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