FP in C++, Haskell TensorFlow, Apache Spark, Eta, Program Verification - Coq

If you would like to give a lightning talk, please message me via Meetup.com

A few talks lined up already:

Speaker: Toby Allsopp
Fun with C++ (State of the art of FP in C++ )

Speaker: Randall Britten
TensorFlow using Haskell
Eta (Haskell on the JVM) "Hello World" example lightning talk

Speaker: Nicolas Maquet
Distributed FP in Apache Spark

Speaker: Daniel Britten (Student)
Program Verification using Coq

(The order of the talks might be different from how they are listed above.)

Venue and Pizza courtesy of MYOB