#kievfprog From Linear Algebra to SIMD Instructions in Coq

Join us @ imath at 18:00 with Vadim Zaliva (http://www.crocodile.org/lord/), 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. Do not forget to register with Eventbrite (https://www.eventbrite.com/e/kievfprog-september-2017-tickets-37417175780) and follow us on Twitter for more updates: https://twitter.com/kievfprog