[TYPES/announce] 8th Halmstad Summer School on Testing (June 11-14)

[M.R. Mousavi]

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

The 8th Halmstad Summer School on Testing

Halmstad University, Sweden

(Organised in cooperation with the TOCSYC Network)

June 11 - June 14, 2018

http://ceres.hh.se/mediawiki/HSST_2018

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


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

Model-based Mutation Testing: the Science of Killing Bugs in a Black Box,
Bernhard Aichernig, TU Graz, Austria

Testing concurrent and distributed systems, Mauro Pezzé, University of
Lugano, Switzerland

Model-Based Testing: Theory, Tools, and Applications, Jan Tretmans, ESI by
TNO and Radboud University Nijmegen, The Netherlands and Halmstad
University, Sweden

Automated testing of applications at the GUI level, Tanja Vos, Technical
University of Valencia, Spain and the Open University, The Netherlands

Real Bugs, Real Projects, Real Impact, Andrzej Wasowski, IT University of
Copenhagen, Denmark

(An additional speaker's confirmation is pending.)

Registration
==========

The registration deadline is May 1, 2018.

To apply to the summer school, please fill in the form at:
http://bit.ly/HSST2018 .
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 3800 SEK (approx. 380 EUR) and covers lunches,
coffee breaks, the study material, the social event, and a social dinner
(but not drinks).

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

The deadline for Ph.D. abstract submission is May 15, 2018.

We have 8 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, solely authored by a Ph.D. student, 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 already be made  via https://easychair.org/
conferences/?conf=hsst2018 .


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 about an hour, to the
Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours.
There are also daily flights from Halmstad Airport (and the nearby
Ängelholm Airport) to Stockholm Bromma Airport.

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_2018#Venue

Organizers
========

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

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

Richard Torkar (Program Co-Chair, richard.torkar at cse.gu.se)

The abstracts of the tutorials can be found at:

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

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/20180406/76755702/attachment-0001.html>