[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.gas...@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) 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.gas...@hh.se) Mohammad Mousavi (Program Co-Chair, m.r.mous...@hh.se) Eva Nestius (Local Organization) Walid Taha (Program Co-Chair, walid.t...@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.