This month’s meetup will consists of two rather technical talks. The first, by Matthew Brecknell, will be on Coq theorem proving and dependent types. This should go for around 45 mins, by which point we should all be fried! This will be followed up by Tony Morris presenting on automated testing and will demonstrate using ScalaCheck. This will also go for around 45 mins. If by this stage you’re still able to hold a coherent conversation, we will be heading out to the pub for a beer and a light chat.
We will be recording the session and posting the video online some time during August. The slides for the talks will also be made available.
This will be our second meetup at the Microsoft offices in Brisbane and kicks off at 6:00pm. Many thanks to the Jetbrains crew for supporting us and sponsoring this meetup.
There is still plenty of room, so please drop by the Meetup.com site and register to attend. Bring your friends. Bring your girlfriend. Bring your mum.
We look forward to seeing you there!