First QuickCheck Lounge - 21 Sep 2011, Tokyo Japan

Wednesday, September 21st, 2011. 18:00 - 20:00.
Gemini Mobile Technologies
1-10-5 Dogenzaka, Shibuya-ku, Shibuya Place 7F, Tokyo

Quviq and Gemini Mobile Technologies are pleased to announce the first QuickCheck lounge in Japan in which people interest in the testing tool QuickCheck can meet in an informal way listening to seminars and discussing software testing with QuickCheck.  Presentations will be in English.

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 Quviq

The event is free of charge but please register online since seating is limited.

If you'd like to join the nomikai afterwards, please register online.  The location and cost of the nomikai will be decided later.


Prof Thomas Arts is the co-founder and CTO of Quviq, the company producing QuickCheck as testing tool for Erlang.  Thomas was one of the members of Ericsson's computer science lab where he worked on program verification and the development of the Erlang programming language. He has also worked in the broad spectrum theoretical computer science, formal methods and industrial case-study research, mainly applying all kind of techniques to systems written in Erlang. Thomas views QuickCheck as the way forward when it comes to guaranteeing software quality; it is the perfect mix between formal specifications and a pragmatic approach to testing.

Joseph Wayne Norton is a technical director, system architect, developer, and Erlang enthusiast active in the mobile industry and nosql community.  Based out of Tokyo, Japan, he works for Gemini Mobile Technologies.

Prof John Hughes is co-founder and CEO of Quviq AB. John has ledseveral research projects in the area of functional languages and software testing. Within Quviq the best of these research results are made available in supported tools of high quality.  Before John's involvement with Erlang, he was deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current language standard.