CPS 2018 - Revision history

Ceres at 11:39, 27 August 2018

2018-08-27T11:39:29Z

Ceres at 06:28, 1 May 2018

2018-05-01T06:28:54Z

Ceres at 06:27, 1 May 2018

2018-05-01T06:27:53Z

Ceres at 05:54, 18 April 2018

2018-04-18T05:54:59Z

Ceres at 19:25, 6 March 2018

2018-03-06T19:25:51Z

Ceres at 19:18, 5 March 2018

2018-03-05T19:18:14Z

Ceres at 17:23, 5 March 2018

2018-03-05T17:23:29Z

Ceres at 17:20, 5 March 2018

2018-03-05T17:20:52Z

Ceres at 17:16, 5 March 2018

2018-03-05T17:16:37Z

Ceres at 17:15, 5 March 2018

2018-03-05T17:15:20Z

← Older revision		Revision as of 11:39, 27 August 2018
Line 3:		Line 3:

	'''June 11-15, 2018 - Halmstad University, Sweden'''		'''June 11-15, 2018 - Halmstad University, Sweden'''
		+
		+	In cooperation with the ELLIIT Network

	[[File:Poster_CPS2018.png\|400px\|thumb\|super\|CPS 2018 Poster. ([[media:Poster_CPS2018_PDF.pdf\|PDF]])]]		[[File:Poster_CPS2018.png\|400px\|thumb\|super\|CPS 2018 Poster. ([[media:Poster_CPS2018_PDF.pdf\|PDF]])]]

@@ Line 19: / Line 19: @@
 * 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
+* Thao Dang, CNRS/Verimag, 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

@@ Line 19: / Line 19: @@
 * Erika Abraham, RWTH Aachen University: Reachability Analysis Techniques for Hybrid Systems
 * De-Jiu Chen, KTH Royal Institute of Technology: Dependable Autonomous Systems
 * 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

← Older revision		Revision as of 05:54, 18 April 2018
Line 10:		Line 10:
	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 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.	+	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

@@ Line 29: / Line 29: @@
 =Venue=
-The summer school will take place at Halmstad University in building H room Hav, 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.
+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.
@@ Line 36: / Line 36: @@
 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 [http://www.hh.se/download/18.38e7400514bc4e0933ad51d7/1426518013751/Campus-map-march-2015.pdf here]. The summer school will be located in room 'Hav', 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.
+The campus map can be found [http://www.hh.se/download/18.38e7400514bc4e0933ad51d7/1426518013751/Campus-map-march-2015.pdf 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.

← Older revision		Revision as of 19:18, 5 March 2018
Line 1:		Line 1:

−	'''Summer School on Cyber-Physical Systems~~, CPS 2018~~''' (https://bit.ly/hsscps18)	+	'''Summer School on Cyber-Physical Systems''' (https://bit.ly/hsscps18)

	'''June 11-15, 2018 - Halmstad University, Sweden'''		'''June 11-15, 2018 - Halmstad University, Sweden'''

@@ Line 18: / Line 18: @@
 * Erika Abraham, RWTH Aachen University: Reachability Analysis Techniques for Hybrid Systems
-* De-Jiu Chen, KTH Royal Institute ofTechnology: Dependable Autonomous Systems
+* De-Jiu Chen, KTH Royal Institute of Technology: Dependable Autonomous Systems
-* Sinem Coleri Ergen, Koc University: Wireless Network design forCyber-Physical Systems
+* 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-PhysicalSystems using Machine Learning
+* 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 WirelessVehicular Communications
+* Elisabeth Uhlemann, Mälardalen University: Timely and Reliable Wireless Vehicular Communications
-* All lectures will be conducted in English.
 =Venue=

@@ Line 79: / Line 79: @@
 * [http://www.ueda.info.waseda.ac.jp/~ueda/ Kazunori Ueda]: Waseda University (Program Committee, mailto:ueda@ueda.info.waseda.ac.jp)
 * [https://www.kth.se/profile/martint Martin Törngren]: KTH Royal Institute of Technology (Program Committee, mailto:martint@kth.se)
-* Maria Vesterlund (Local Organization, mailto:stella.erlandsson@hh.se)
+* Maria Vesterlund (Local Organization, mailto:maria.vesterlund@hh.se)
 * Walid Taha (Publicity Chair, mailto:Walid.Taha@hh.se)

@@ Line 75: / Line 75: @@
 Please do not hesitate to contact us if you have any questions or enquiries:
-* [http://www.hh.se/english/research/professors/walidmohamedtaha.10235.html Walid Taha]: Halmstad University (mailto:maroneal@gmail.com)
+* [http://www.hh.se/english/research/professors/walidmohamedtaha.10235.html Walid Taha]: Halmstad University (Program Chair, mailto:maroneal@gmail.com)
-* [http://www.cps.ejust.edu.eg Walid Gomaa]: Egypt Japan University of Science and Technology (mailto:walid.gomaa@ejust.edu.eg)
+* [http://www.cps.ejust.edu.eg Walid Gomaa]: Egypt Japan University of Science and Technology (Program Committee, mailto:walid.gomaa@ejust.edu.eg)
-* [http://www.ueda.info.waseda.ac.jp/~ueda/ Kazunori Ueda]: Waseda University (mailto:ueda@ueda.info.waseda.ac.jp)
+* [http://www.ueda.info.waseda.ac.jp/~ueda/ Kazunori Ueda]: Waseda University (Program Committee, mailto:ueda@ueda.info.waseda.ac.jp)
-* [https://www.kth.se/profile/martint Martin Törngren]: KTH Royal Institute of Technology (mailto:martint@kth.se)
+* [https://www.kth.se/profile/martint Martin Törngren]: KTH Royal Institute of Technology (Program Committee, mailto:martint@kth.se)
 * Maria Vesterlund (Local Organization, mailto:stella.erlandsson@hh.se)
 * Walid Taha (Publicity Chair, mailto:Walid.Taha@hh.se)