February 14, 2014
Seeking London Venue for Monthly "High-Integrity Thursday Club" Meet-upI'm putting the finishing touches to a plan for a new monthly meet-up for people interested in how we might bring tools and techniques for creating more reliable software into the mainstream.
This will run on the second Thursday of each month, starting on March 13th, venue TBC.
The aim is to bring together likeminded people - developers, academics, tool makers etc - to explore ways in which high-integrity software might become more the norm than the exception.
Each meeting will feature an hour of presentations or tutorials from 6:30-7:30pm, followed by Q&A, then off to a nearby hostelry by 8pm for some high-integrity beer to continue the conversation.
I'll kick us off in the first meet-up with a session called "Who's afraid of Formal Methods?" just to get the ball rolling.
But first, we'll need a venue. If you have (or know someone who might have) a suitable meeting room in central London you might be generous enough to let us use between 6-8pm on the second Thursday of each month, please get in touch. It will need to seat about 30 people, and have a data projector (or massive telly.)
Posted 4 years, 4 months ago on February 14, 2014