18:00 - 18:45 Introduction to QuickCheck by Thomas Arts, CTO of Quviq 19:00 - 19:30 Finding race conditions with your data by Joseph Wayne Norton, Gemini Mobile Technologies 19:30 - 20:00 How I found five lurking race conditions in mnesia with 200 lines of QuickCheck code by John Hughes, CEO of Quvi