<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
  </head>
  <body text="#000000" bgcolor="#ffffff">
    It is with great pleasure that we announce the 5th Madrid Erlounge.<br>
    <br>
    <b>When:</b> November 27th 2012 19:15 (talk starts at 19:30)<br>
    <br>
    <b>Where:</b> Sala de Grados (1ª planta Facultad de Informática,
    Universidad Complutense de Madrid) (<a class="moz-txt-link-freetext"
      href="http://gpd.sip.ucm.es/fraguas/wflp06/campus_ucm.jpg">http://gpd.sip.ucm.es/fraguas/wflp06/campus_ucm.jpg</a>)<br>
    <br>
    <b>Who: </b>Lars-Ake Fredlund<br>
    <br>
    Lars-Ake Fredlund (<a class="moz-txt-link-freetext"
      href="http://babel.ls.fi.upm.es/%7Efred/index.html">http://babel.ls.fi.upm.es/~fred/index.html</a>)
    is<br>
    a lecturer and researcher at the Universidad Politécnica of Madrid.
    His<br>
    research interests include the use of formal techniques for<br>
    constructing functionally correct and secure distributed software<br>
    applications. He was awarded a PhD in 2001 from the Royal Institute
    of<br>
    Technology, Stockholm for his thesis "A Framework for Reasoning
    about<br>
    Erlang Code". Recently Fredlund has participated in the <br>
    EU financed ProTest (<a class="moz-txt-link-freetext"
      href="http://www.protest-project.eu/">http://www.protest-project.eu/</a>)
    and<br>
    Prowess projects (<a class="moz-txt-link-freetext"
      href="http://www.prowessproject.eu/">http://www.prowessproject.eu/</a>),
    which both<br>
    attempt to improve testing practices in the software industry<br>
    using Erlang technology.<br>
    <br>
    <b>Abstract:</b><br>
    <br>
    Lars-Ake will present Quviq QuickCheck, a testing tool created by
    the<br>
    company Quviq (<a class="moz-txt-link-freetext"
      href="http://www.quviq.com/">http://www.quviq.com/</a>). The main
    functionality of the<br>
    tool is the (random) generation of test cases from semi-formal<br>
    description of the software under test.  QuickCheck has been used<br>
    extensively in industry, with very promising results. In the talk<br>
    Fredlund will give an overview of QuickCheck, including a short
    demo.<br>
    <br>
    Besides the talk, there will be some time to discuss other topics,
    for<br>
    instance, the latest news from the Erlang community in Spain and<br>
    abroad, and planning further activities.<br>
    <br>
    As usual, we will meet afterwards for some tapas and drinks.<br>
    <br>
    Welcome!<br>
    Clara<br>
    <br>
  </body>
</html>