Workshops

Upcoming Events



Sven Hultins Gata 9, Gothenburg, Sweden

NOV, 2016 Gothenburg, Sweden

Quickcheck Workshop

We invite users of the QuickCheck tool to demonstrate their work and share their experiences. The workshop is intended for people that have been using QuickCheck and want to learn more about it.

The theme of this workshop is testing for the faulty cases, that is, test that even if faults happen, the system survives and recovers.

Theme: Testing for the faulty cases Price: €100 ex. VAT


Want to know about the dates & place?



4, rue Pétrelle, 75009 Paris, France

DEC, 2016 Paris, France

ejabberd Workshop

The goal of the workshop is to give in-depth overview of the feature of ejabberd that can be use in the context of Internet of Things networks.

The workshop is intended for people that have been using ejabberd and want to learn how to deepen their XMPP and ejabberd understanding.

Theme: Internet of Things Price: €100 ex. VAT


Want to know about the dates & place?


Past Events



London, UK

MAR 22, 2016 London, UK

Basho Riak Workshop

This training program is a set curriculum to familiarise individuals with Riak features and development best practices, including: key-value core, the Erlang client, conflict resolution, and data modelling.

This event is designed for Software Developers, Engineers and Architects. May also be useful to Data Scientists and Technology Managers or Executives.

Participants will come away with the knowledge to design and develop basic applications using Riak. Includes theory, best practices, and hands-on lab time. Each attendee will receive lunch plus a free Little Riak Book and Riak t-shirt!

Please bring your own laptop in order to participate in the hands-on labs, running a Unix-based OS or virtual environment.



  • 9:30 Intro to Riak

  • 10:00 Basic Anatomy

  • 10:30 Talking to Riak

  • — BREAK —

  • 11:00 Consistent Hashing, Claim

  • 11:30 Replication, Sloppy Quorum

  • 12:00 Ownership Handoff, Hinted Handoff

  • 12:30 The Claim Game (LAB)

  • — LUNCH —

  • 14:00 Riak Installation & Setup (LAB)

  • 14:30 CRUD Operations (LAB)

  • — BREAK —

  • 16:00 Data Modelling, Access Patterns

  • 16:30 Conflict Discovery & Resolution



Schinkestraße 9, 12047 Berlin, Germany

FEB 23, 2016 Berlin, Germany

Quickcheck Workshop

This workshop will provide a hands-on course to QuickCheck Mini, the free version of Quviq QuickCheck. The course is open for Elixir and Erlang programmers that want to learn property-based testing from the experts.

The course covers basic property and generator development. It covers both the Elixir and Erlang version of QuickCheck Mini. Participants are encouraged to bring their own laptop for hands-on work during the workshop.



Krakow, Poland

JAN 26, 2016 Krakow, Poland

ejabberd Workshop

This ejabberd Advanced Erlang Workshop will focus on leverage the power of Elixir and ejabberd together. As an ejabberd developer, you will learn how to get started with Elixir. As an Elixir developer, you will learn what ejabberd can bring you as a central framework component of your system.

Here are the talks that will be presented (initial schedule):

  • Elixir Introduction for ejabberd developer
  • Developing for ejabberd in Elixir: Environment, toolchain and API
  • ejabberd Pubsub Core as Phoenix channel back-end
  • Testing ejabberd Erlang code base with Elixir


4, rue Pétrelle, 75009 Paris, France

NOV 17, 2015 Paris, France

ejabberd Workshop

The workshop will cover the need of messaging and distributing events to group of clients in realtime. We invite users to demonstrate their work, architecture and customizations.

The workshop is intended for people that have been using ejabberd and want to learn how to deepen their XMPP and ejabberd understanding.

Watch videos

Session 1: Building advanced broadcast messaging service with XMPP and ejabberd

  • Talk 1: ejabberd State of the art to implement one-to-many chat services (Mickaël Rémond)
    Mickaël will be presenting all the methods available in ejabberd and XMPP to build large scale groupchat system that meet the challenge of modern messaging. In a world where browser-based chat and mobile messaging applications are the dominant clients for large XMPP networks, building groupchat system on top of XMPP is not as straightforward as it should be. However, XMPP and ejabberd have adapted themselves to these new requirements.

    The talk will cover and compare various XMPP extensions that are used today for distribution one-to-many messages:

    • Multi-User Chat: What it is used for, how to get the best of it and how to use ejabberd APIs to extend it and customize it.
    • XMPP based extended stanza addressing (called multicast service, defined in XEP-0033).
    • Admin broadcast for mass-messaging users.

    Mickaël will then explore a conversation-based, presence-less approach to enable group discussion in ejabberd and XMPP. This will be an opportunity to present our work-in-progress extension to enable Skype or WhatsApp-like group conversations.

  • Talk 2: Broadcasting with XMPP PubSub. Building efficient and scalable message broadcast services (Christophe Romain and Jérôme Sautret)

    The goal will give you a broad overview of ejabberd PubSub extensible implementation. It will explains how you can benefit from the multiple plugins available to configure a scalable Pubsub deployment for your own specific needs.

    This talk will be also a good opportunity to give an overview of ejabberd PubSub API and introduce participants to PubSub plugin development.


Session 2: XMPP reliability, QA and production management at scale

  • Talk 1: Managing large scale ejabberd infrastructures: Dealing with operational challenges with Docker (Christophe Romain)

    The talk will present experimental technics to push Erlang application deployment further. It will shows in the specific case of ejabberd how you can use new container tool like Docket to manage large scale XMPP services without downtime.

  • Talk 2: Property-based testing of XMPP: generate your tests automatically (Thomas Arts)

    Thomas was a researcher at Ericsson, and then a professor at Chalmers University, before co-founding Quviq. As a researcher in Ericsson’s Computer Science Laboratory he worked on software verification tools for Erlang. This provided a natural transition to working with advanced testing technology at Quviq, where Thomas is CTO. Thomas manages the research and development of QuickCheck, a tool for automatic test case generation from properties of a system.



Sven Hultins Gata 9, Gothenburg, Sweden

OCT 6, 2015 Gothenburg, Sweden

QuickCheck Workshop

We invite users of the QuickCheck tool to demonstrate their work and share their experiences. The workshop is intended for people that have been using QuickCheck and want to learn more about it.

Watch videos

This first workshop brings together QuickCheck enthusiasts to discuss advance topics in the use of QuickCheck. Presenters include Torben Hoffmann (Basho) and Jesper Louis Andersen (Erlang Solutions) with their exciting work. Talks are about 30 minutes, followed by 30 minutes discussions.

  • 9:00 - 10:00 Torben Hoffmann, QuickCheck Mocking for "the Game of Life"

    Torben is an Architect at Basho and has been working with Erlang since 2006. He has been CTO of Erlang Solutions and worked as technical architect for Motorola and ISSUU. He has talked about his Motorola achievements at Erlang eXchange 2008 and EUC 2010. He has been holding the Erlang banner high as a self confessed Erlang Priest at several conferences such as CodeMesh, Build Stuff, Goto, QCon, NDC, Craft and Lambda Days. Before becoming an Erlanger he worked with software quality assurance, process improvement and people management.

  • 10:15 - 10:45 Ulf Norell, QuickCheck Function Generators

    Ulf is the brains behind Quviq’s C-testing interface, and the QuickCheck infrastructure underlying our AUTOSAR testing. He is a language creator and QuickCheck developer, responsible for many useful features in Quviq's products.

  • 10:45 - 11:15 Benjamin Vedder, Property-Based Testing and Fault Injection on Real-Time Hardware

    Benjamin is a PhD student at SP Technical Research Institute of Sweden in cooperation with Halmstad University in the area of computer science with focus on testing safety aspects of software-intensive systems. Benjamin's main interests are embedded and intelligent systems. Quad copters, electric long boards and motor controllers is what he dedicates much of his spare time on. Several software and hardware projects are documented on his personal homepage vedder.se

  • 11:30 - 12:30 Jesper Louis Andersen, How I handled Erlang R18 Maps with QuickCheck

    Jesper has programmed Erlang since 2006 and has worked professionally with the language since 2011. Former trophies on the wall are BitTorrent clients, Billing systems, Web backends, and a slew of Open Source projects with QuickCheck models. Jesper holds a b.a. in Computer Science and likes to dabble in the world of Logic, Computation and Mathematics. He has a keen interest in the application of formal methods to real world problems.

  • 12:30 - 13:30 Lunch

  • 13:30 - 14:00 Tobias Gedell, QuickCheck-CI

    Tobias joined Quviq in 2014 and has, among others, worked on QuickCheck in Continuous Integration. Tobias has a background in the financial trading industry and has worked with a variety of functional programming languages. He is a profound QuickCheck adept and lead developer of the web service quickcheck-ci.com

  • 14:00 - 14:30 Pawel Antemijczuk, QuickCheck in a large organization

    Pawel is a development engineer at Motorola Solutions programming Erlang since 2012. He graduated from Technical University of Denmark with a Master's thesis on performance testing Motorola products using QuickCheck. His daily job revolves around creating new and improved ways of testing, trying to preach the ways of property-based testing across the organization.

  • 14:45 - 15:30 Alex Gerdes, Generating programs using Attribute Grammars

    During his PhD Alex created Ask-Elle, an online functional programming tutor for Haskell. His programming skills are now used to strengthen QuviQ’s QuickCheck team. He joined QuviQ in 2012, and focusses on using QuickCheck for testing web services.

  • 15:30 - 16:00 John Hughes, Cool research going on around QuickCheck

    John Hughes is CEO of Quviq and one of the QuickCheck inventors.