Startups Mentorship Program
Startups Mentorship Program
Sat, Feb 11, 10:00 AM
Kiev • Kiev
€32.64 - €80.12
Actions Panel
#kievfprog September 2017
When and where
Date and time
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.