<!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>