Summer School on Cyber-Physical Systems (https://bit.ly/hsscps18)
June 11-15, 2018 - Halmstad University, Sweden
The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in embedded systems and popular beaches. This year’s school will take place from June 11th-15th, 2018.
The summer school is intended for professionals from industry (engineers, researchers, and managers) and academics (including doctoral students). Participants will learn about key topics from prominent leaders in the field. The schedule is designed to allow significant opportunities for interaction between the participants and the speakers. Lectures from previous editions can be found at http://bit.ly/cps-lectures
Speakers and Topics:
- Erika Abraham, RWTH Aachen University: Reachability Analysis Techniques for Hybrid Systems
- De-Jiu Chen, KTH Royal Institute of Technology: Dependable Autonomous Systems
- Thao Dang, IMAG, Semi Formal Validation of CPS
- Sinem Coleri Ergen, Koc University: Wireless Network design for Cyber-Physical Systems
- Taylor T. Johnson, Vanderbilt University: Design-Time and Runtime Verification for Safe Autonomous Cyber-Physical Systems
- Karl Meinke, KTH Royal Institute ofTechnology: Analysis of Cyber-Physical Systems using Machine Learning
- Dorsa Sadig, Stanford University: Safe and Interactive Robotics
- Elisabeth Uhlemann, Mälardalen University: Timely and Reliable Wireless Vehicular Communications
All lectures will be conducted in English.
The summer school will take place at Halmstad University in building H room Himmel, a meeting room with an overview of the city and the Kattegat sea area. Halmstad is easily reachable by train from Copenhagen and Gothenburg airports, and by air from Stockholm.
Directions to/in Campus
Directions for getting to campus can be found at http://www.hh.se/english/abouttheuniversity/visitus.307_en.html
The campus map can be found here. The summer school will be located in room Himmel, which is located at the ground floor of the 'H' building. Coffee breaks will be held at the same building. Lunches will be served in the ground floor of the Spiro restaurant in the G building.
Directions to Halmstad
Trains take you directly to Göteborg in about 1 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 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 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 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 the Swedish Railways site.
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
- Continental Hotel (~100-150 EUR / night, 2km)
- 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 here.
Please do not hesitate to contact us if you have any questions or enquiries:
- Walid Taha: Halmstad University (Program Chair, mailto:firstname.lastname@example.org)
- Walid Gomaa: Egypt Japan University of Science and Technology (Program Committee, mailto:email@example.com)
- Kazunori Ueda: Waseda University (Program Committee, mailto:firstname.lastname@example.org)
- Martin Törngren: KTH Royal Institute of Technology (Program Committee, mailto:email@example.com)
- Maria Vesterlund (Local Organization, mailto:firstname.lastname@example.org)
- Walid Taha (Publicity Chair, mailto:Walid.Taha@hh.se)
The deadline for registration is May 1st, 2018. Registration is done online at http://bit.ly/cps-reg.