[TYPES/announce] 6th Halmstad Summer School on Testing: Call for Participation and Student Presentations

[M.R. Mousavi]

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

The 6th Halmstad Summer School on Testing

Halmstad University, Sweden

June 13 - June 16, 2016

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

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


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 6th 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
========

Automatic Software Verification with the Infer Static Analyzer  (Dino
Distefano, Queen Mary, University of London and Facebook, UK)

Testing and Verification Methods for Many-Core Concurrency (Alastair F.
Donaldson, Imperial College, UK)

Is Mutation Analysis Ready for Prime Time? (Jeff Offutt, George Mason
University, USA)

Fault Model-Based Testing from State-Oriented Models (Alexandre Petrenko,
Computer Research Institute of Montreal (CRIM), Canada)

The Role of Testing and Tools for Innovation (Per Runeson, Lund University,
Sweden)

Fault Tree Analysis (Marielle Stoelinga, University of Twente, The
Netherlands)


Ph.D. Symposium
===============

We have 6 time slots for Ph.D. presentations, where each student gets
to present her/his research project (and possibly results) and receive
feedback from our experts.
We solicit abstracts of 2 pages in the EasyChair Style in order to make a
selection (see:http://www.easychair.org/publications/for_authors ).
The abstract should contain a clear overview of the problem description,
approach, (existing results, if any,) and future milestone.


Abstract submissions can be made already via
https://easychair.org/conferences/?conf=hsst2016 .

The deadline for submissions is May 15, 2016.



Registration
==========

The registration deadline is April 15, 2016.

To apply to the summer school, please fill in the form at:
http://bit.ly/HSST2016 .
If you have any dietary requirements, or
would like to attend only certain days of the summer school, please
indicate in the form .


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

A ticket to the social event and the social dinner costs 500 SEK and can be
requested upon registration.


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 toHalmstad.


More travel information can be found at the school page:

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



Organizers
========

Stella Erlandsson (Local Organization, stella.erlandsson at hh.se)

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

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

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_2016

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/20160322/cb5d38dd/attachment-0001.html>