July 26, 2010 6:00 PM - 42 attended
BFG Meetup
Selected By:
Tom Adams
* Matthew Brecknell on Coq theorem proving and dependent types (45 mins)
* Tony Morris on automated testing (45 mins)
42 attended
-
-
-
Craig AspinallTwo great talks, one mind bending and the other sparked some good debate. Looking forward to next month already!
-
sanjiv sahayamTony and Matt did a great job with their presentations as per usual! Thanks guys. Although there were good questions from the group, I did feel that some questions could have been posed in a "friendlier" manner. We are all here to learn and it would be nice to keep that in mind when posing questions and directing criticisms.
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
A former member
-
A former member
-
A former member
-
Free access to FoundersHookup.com for all members who are developers.
from FoundersHookup
Other nearbyMeetups
Why these groups?
x
The Meetup Groups shown here are topically similar to Brisbane Functional Programming Group (BFPG).
Groups are more likely to be displayed here if they:
- have a Meetup scheduled
- have a high rating
- have a group photo
- are "public" and not "private"
- have shown they are likely to stick around (older than 30 days)
near Brisbane
