[Air-L] Halmstad Summer School on Testing (June 3 - Jun 5): Call for Participation /fw

Sari sari at cs.aau.dk
Wed Apr 10 02:34:22 PDT 2013


The Third Halmstad Summer School on Testing

Halmstad University, Halmstad, Sweden

June 3 - June 5, 2013

http://blog.accurate-programming.org/


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

Tutorials
========

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)


Registration
==========


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 <mailto:Veronica.Gaspes at hh.se> with "Halmstad 
Summer School on Testing" in the title.


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.



Directions for getting to campus can be found here:


http://www.hh.se/english/abouttheuniversity/visitus.307_en.html


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


http://hh.se/english/discover/visitus/campusmap.1252_en.html


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 
weekdays.
  We recommend that you check the time-table here:


http://www.sj.se/start/startpage/index.form?l=en


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 away.
Usually there are taxis at the station.
If there are none there is a phone that connects directly to the local 
taxi company.
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.



Accommodation
=============

Here are some suggestions for the accommodation, with an indication of 
their price range, (obtained from booking.com <http://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)



Organizers
========


Veronica Gaspes (Organization Chair, veronica.gaspes at hh.se 
<mailto:veronica.gaspes at hh.se>)

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

Eva Nestius (Local Organization)

Walid Taha (Program Co-Chair, walid.taha at hh.se <mailto:walid.taha at hh.se>)



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

http://blog.accurate-programming.org/

For more information, contact one of the organizers.






More information about the Air-L mailing list