|
|
| Line 15: |
Line 15: |
| | | | |
| | == Byron Cook == | | == Byron Cook == |
| | + | |
| | + | == Karl Meinke == |
| | | | |
| | == Brian Nielsen == | | == Brian Nielsen == |
| Line 36: |
Line 38: |
| | After sending the registration email, you will receive a confirmation. Please proceed to payment after you receive the confirmation email. | | After sending the registration email, you will receive a confirmation. Please proceed to payment after you receive the confirmation email. |
| | | | |
| − | If your registration is confirmed, please use the PayPal page (to be provided in March 2015). | + | If your registration is confirmed, please use the PayPal page |
| − | | + | |
| − | =Program=
| + | |
| − | | + | |
| − | | + | |
| − | =Venue=
| + | |
| − | | + | |
| − | | + | |
| − | | + | |
| − | The workshop will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular holiday 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.
| + | |
| − | | + | |
| − | ==Directions to/in Campus==
| + | |
| − | | + | |
| − | Directions for getting to campus can be found at [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html http://www.hh.se/english/abouttheuniversity/visitus.307_en.html]
| + | |
| − | | + | |
| − | The campus map can be found here: [http://www.hh.se/download/18.4cc60a491424e61ad931b4d/1385107637179/Campuskarta+A5+ENG-20+NOV+2013.pdf http://www.hh.se/download/18.4cc60a491424e61ad931b4d/1385107637179/Campuskarta+A5+ENG-20+NOV+2013.pdf]. The workshop will be located at the '''Baertling''' lecture hall, which is located at the ground floor (1st floor in Swedish terms!) of the '''J''' building (house '''Visionen'''). Coffee breaks will be held at the ground floor of the same building.
| + | |
| − | | + | |
| − | ==Directions to Halmstad==
| + | |
| − | | + | |
| − | 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 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 at [http://www.sj.se/start/startpage/index.form?l=en the Swedish Railways site]
| + | |
| − | and allow one hour from touchdown to getting to the train station (just outside customs).
| + | |
| − | (It seems that you can take an earlier or a later train on the same day regardless of the exact train you booked, but obviously you will lose your seat reservation if you have made one.) To get to your hotel, you can combine a taxi booking with your train ticket at [http://www.sj.se/start/startpage/index.form?l=en the Swedish Railways site] and a driver will wait for you with your name mentioned on a board once you arrive in Halmstad.
| + | |
| − | | + | |
| − | 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. You can buy a combined shuttle and train ticket from the [http://www.sj.se/start/startpage/index.form?l=en the Swedish Railways site].
| + | |
| − | | + | |
| − | ==Accommodation==
| + | |
| − | We have made a pre-booking for a group of rooms at [http://www.continental-halmstad.se/Engelska.html Hotel Continental]. The negotiated rate is 752 SEK per night (including breakfast) for a single room.
| + | |
| − | If you would like to use this offer, please send an email to [mailto:forfragan@continental-halmstad.se the hotel reservation] and mention the booking code "HSST2014".
| + | |
| − | | + | |
| − | | + | |
| − | Here are some other suggestions for the accommodation, with an indication of their price range, (obtained from booking.com) and their distance to the summer school venue:
| + | |
| − | | + | |
| − | * 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)
| + | |
| − | | + | |
| − | An annotated Google Map with suggestion for restaurants can be found [https://mapsengine.google.com/map/edit?mid=zg466yRKr6MA.khE1r5rg8V64 here].
| + | |
| − | | + | |
| − | =History=
| + | |
| − | This is the fourth edition of the summer school.
| + | |
| − | Information about the previous editions is provided below.
| + | |
| − | | + | |
| − | * [[HSST 2014]] (June 9- June 12, 2014),
| + | |
| − | * [[HSST 2013]] (June 3- June 5, 2013),
| + | |
| − | * [http://blog.accurate-programming.org/2012/05/second-summer-school-on-accurate.html Second Summer School on Accurate Programming] (May 30 - June 1, 2012)
| + | |
| − | | + | |
| − | | + | |
| − | =Organizers=
| + | |
| − | | + | |
| − | Please do not hesitate to contact us if you have any questions or enquiries:
| + | |
| − | | + | |
| − | * Veronica Gaspes (Organization Chair, veronica.gaspes@hh.se)
| + | |
| − | * Mohammad Mousavi (Program Co-Chair, m.r.mousavi@hh.se)
| + | |
| − | * Eva Nestius (Local Organization)
| + | |
| − | * Walid Taha (Program Co-Chair, walid.taha@hh.se)
| + | |
Testing and debugging account 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.
