[TYPES/announce] Halmstad Summer School on Testing (June 3 - June 5)

M.R. Mousavi m.r.mousavi at hh.se
Tue Apr 9 02:50:25 EDT 2013

The Third Halmstad Summer School on Testing

Halmstad University, Halmstad, Sweden

June 3 - June 5, 2013



Software testing accounts for a major part of software development cost and
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 rigor
and structure into this field,
resulting in several industrial-strength processes, techniques and tools
for different levels of testing.
The 3rd 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.


Test-Driven Software Development in Java Including Concurrency (Robert
Cartwright, Rice)

Industrial-Strength Model-Based Testing and its Methodology (Wen-Ling Huang
and Jan Peleska, Verified Systems and Bremen)

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

Closing the V - by going from V to DEL (Tony Larsson, Halmstad)

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

Introduction to Model-Based Testing (Mohammad Mousavi, Halmstad)

Hands on ScalaCheck (Rickard Nilsson, Lund)

Accurate Programming Using ScalaCheck (Walid Taha, Halmstad)


The registration deadline is May 1, 2013.

The registration fee is 1000 SEK (approx. 120 EUR) and covers lunches and
coffee breaks.

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.


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.

Directions for getting to campus can be found here:


The campus map, with a link to a printable pdf version can be found here:


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.
The train leaves from the airport itself approximately once an hour on
 We recommend that you check the time-table here:


and allow one hour from touchdown to getting to the train station (just
outside customs).

In Halmstad, everything is either in walking distance or a short taxi ride
Usually there are taxis at the station.
If there are none there is a phone that connects directly to the local taxi
For the eventuality that the phone is not working, it is good to have a
cell phone handy.
The number for the taxi company is written on the phone.

Note that CPH is in Denmark (and not in Sweden).
So, if you need visas for European countries, make sure you get one that
works for both.
If for some reason you cannot or do not want to use CPH, the next best
international airport is in Gothenburg (GOT), locally known as Landvetter.

The tricky thing about using that airport is that you would first have to
take a 45 minute shuttle from the airport to the Gothenburg train station,
and then take the train to Halmstad.
That is one transfer and one wait.


Here are some suggestions for the accommodation, with an indication of
their price range, (obtained from booking.com) and their distance to the
summer school venue:

Hotel Continental (~140-160 EUR / night, 1.5km)

Scandic Hallandia (~160-200 EUR / night, 2km)

Hotel Amadeus (~100-120 EUR / night, 2.5km)

First Hotel Martenson (~130-150 EUR / night, 2km)

Quality Hotel Halmstad (~80-100 EUR / night, 3 km)

STF Halmstads Hostel Kaptenshamn (~80-100 EUR / night, 2km)


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:


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/20130409/259bab41/attachment-0001.html>

More information about the Types-announce mailing list