[ANN] 5th Madrid Erlounge - Erlang Programming

The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Message from discussion [ANN] 5th Madrid Erlounge
Received-SPF: pass (google.com: domain of erlang-questions-boun...@erlang.org designates 192.121.151.104 as permitted sender) client-ip=192.121.151.104;
Message-ID: <50A62154.9060...@fi.upm.es>
Date: Fri, 16 Nov 2012 12:19:48 +0100
From: Clara Benac Earle <cbe...@fi.upm.es>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.9.2.28) Gecko/20120313 Thunderbird/3.1.20
MIME-Version: 1.0
To: erlang-questi...@erlang.org
Subject: [erlang-questions] [ANN] 5th Madrid Erlounge
Precedence: list
Content-Type: multipart/mixed; boundary="===============2425484303951359322=="
Errors-To: erlang-questions-boun...@erlang.org
Sender: erlang-questions-boun...@erlang.org

This is a multi-part message in MIME format.
--===============2425484303951359322==
Content-Type: multipart/alternative;
 boundary="------------060300050106080202060205"

This is a multi-part message in MIME format.
--------------060300050106080202060205
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit

It is with great pleasure that we announce the 5th Madrid Erlounge.

*When:* November 27th 2012 19:15 (talk starts at 19:30)

*Where:* Sala de Grados (1ï¿½ planta Facultad de Informï¿½tica, Universidad 
Complutense de Madrid) (http://gpd.sip.ucm.es/fraguas/wflp06/campus_ucm.jpg)

*Who: *Lars-Ake Fredlund

Lars-Ake Fredlund (http://babel.ls.fi.upm.es/~fred/index.html) is
a lecturer and researcher at the Universidad Politï¿½cnica of Madrid. His
research interests include the use of formal techniques for
constructing functionally correct and secure distributed software
applications. He was awarded a PhD in 2001 from the Royal Institute of
Technology, Stockholm for his thesis "A Framework for Reasoning about
Erlang Code". Recently Fredlund has participated in the
EU financed ProTest (http://www.protest-project.eu/) and
Prowess projects (http://www.prowessproject.eu/), which both
attempt to improve testing practices in the software industry
using Erlang technology.

*Abstract:*

Lars-Ake will present Quviq QuickCheck, a testing tool created by the
company Quviq (http://www.quviq.com/). The main functionality of the
tool is the (random) generation of test cases from semi-formal
description of the software under test.  QuickCheck has been used
extensively in industry, with very promising results. In the talk
Fredlund will give an overview of QuickCheck, including a short demo.

Besides the talk, there will be some time to discuss other topics, for
instance, the latest news from the Erlang community in Spain and
abroad, and planning further activities.

As usual, we will meet afterwards for some tapas and drinks.

Welcome!
Clara


--------------060300050106080202060205
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit

<!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&ordf; planta Facultad de Inform&aacute;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&eacute;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.&nbsp; 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>

--------------060300050106080202060205--

--===============2425484303951359322==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
erlang-questions mailing list
erlang-questi...@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions

--===============2425484303951359322==--
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
Account Options
