[TYPES/announce] Fourth Halmstad Summer School on Testing (HSST 2014): Call for Participation

[M.R. Mousavi]

===========================================

The Fourth Halmstad Summer School on Testing

Halmstad University, Sweden

June 9 - June 12, 2014

http://ceres.hh.se/mediawiki/index.php/HSST_2014

===========================================


Scope
========

Software testing accounts for a major part of software development cost and
effort, yet the current practice of software testing is often
insufficiently structured and disciplined. There have been various attempts
in the past decades to bring more rigour and structure into this field,
resulting in several industrial-strength processes, techniques and tools
for different levels of testing. The 4th Halmstad Summer School on Testing
provides an overview of the state of the art in testing, including theory,
industrial cases, tools and hands-on tutorials by internationally-renowned
researchers.

Tutorials
========

Automated Test Generation via Satisfiability Modulo Theory Solvers (Thomas
Ball, Microsoft Research)

Model-Based Testing, the Difference between Theory and Practice (Machiel
van der Bijl, Axini BV)

Improved Testing of Multithreaded Programs with Dynamic Symbolic Execution
(Keijo Heljanko, Aalto University)

Property-based testing with QuickCheck  (John Hughes, QuviQ and Chalmers)

Testing and Verifying Software Properties with ACL2 and ProofPad (Rex Page,
University of Oklahoma)

Practical Model-Based Testing With Papyrus and RT-Tester (Jan Peleska,
Verified International GMBH and Bremen University)

Model-Based Testing - There is Nothing More Practical than a Good Theory
(Jan Tretmans, Radboud University Nijmegen and TNO - ESI)



Registration
==========


The registration deadline is April 15, 2014.

To apply to the summer school, please send an email to
Veronica.Gaspes at hh.se with
"Halmstad Summer School on Testing" in the title. If you have any dietary
requirements, or would like to attend only certain days of the summer
school, please specify in your email text.


The registration fee is 2000 SEK (approx. 225 EUR, ) and covers lunches,
coffee breaks, the social event, and the study material but does *not* include
the social dinner.

A ticket to the social dinner costs 500 SEK and can be requested upon
registration (please indicate in your email). After sending the
registration email, you will receive a confirmation. Please proceed to
payment after you receive the confirmation email through the summer school
web site.


Venue
======

The summer school will be held on the campus of Halmstad University  in
Halmstad, Sweden.
Halmstad is a popular summer destination located on the Swedish west coast.
Just a few minutes by bicycle or bus takes you from campus to city centre,
sandy beaches or forested Galgberget Hill.
Trains take you directly to Göteborg in 75 minutes, to the Malmö-Copenhagen
area in about 2 hours and to Stockholm in 4.5 hours.
There are also daily flights from Halmstad Airport to Stockholm.

If you are flying in internationally it is generally easiest to fly into
Copenhagen (CPH) airport (also known as Kastrup).
The best thing about flying into CPH is that you just buy a train ticket
when you arrive at the airport and simply take a train from the airport
directly to Halmstad.


More travel information can be found at the school page:

http://ceres.hh.se/mediawiki/index.php/HSST_2014#Venue



Organizers
========


Veronica Gaspes (Organization Chair,  veronica.gaspes at hh.se)

Mohammad Mousavi (Program Co-Chair, m.r.mousavi at hh.se)

Eva Nestius (Local Organization)

Walid Taha (Program Co-Chair, walid.taha at hh.se)



The abstracts of the tutorials and the biographies of the speakers can be
found at:

http://ceres.hh.se/mediawiki/index.php/HSST_2014

For more information, contact one of the organizers.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140114/ba48bf2d/attachment.html>