<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;"><h2 class="rtecenter" dir="ltr" style="border: 0px; margin: 0px; padding: 0.35em 0px 0.35em 12px; font-size: 1.12em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); text-align: center; text-indent: 0px;"><strong style="border: 0px; margin: 0px; padding: 0px;"><span style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; line-height: normal; text-align: start;">[~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~]</span></strong></h2><h2 class="rtecenter" dir="ltr" style="border: 0px; margin: 0px; padding: 0.35em 0px 0.35em 12px; font-size: 1.12em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); text-align: center; text-indent: 0px;"><strong style="border: 0px; margin: 0px; padding: 0px;">2nd International Summer School on Cyber-Physical Systems</strong></h2><h2 class="rtecenter" dir="ltr" style="border: 0px; margin: 0px; padding: 0.35em 0px 0.35em 12px; font-size: 1.12em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); text-align: center; text-indent: 0px;"><strong style="border: 0px; margin: 0px; padding: 0px;">July 7-10, 2014 Grenoble, France</strong></h2><h2 class="rtecenter" dir="ltr" style="border: 0px; margin: 0px; padding: 0.35em 0px 0.35em 12px; font-size: 1.12em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); text-align: center; text-indent: 0px;"><strong style="border: 0px; margin: 0px; padding: 0px;"><a href="https://persyval-lab.org/summer-school/cps14">https://persyval-lab.org/summer-school/cps14</a></strong></h2><h2 class="rtecenter" dir="ltr" style="border: 0px; margin: 0px; padding: 0.35em 0px 0.35em 12px; font-size: 1.12em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); text-align: center; text-indent: 0px;"><br></h2><div><span style="text-indent: 0.8em;">Université Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of the CPS Summer School. The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems ("the internet of things") and humans as their creators, users, and subjects. The format of the Summer School is a four days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems.</span></div></div><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;">This year, the objective of the school is to survey fundamental and applied aspects of modelling, monitoring and learning of systems as well as to identify novel opportunities and research directions in these areas through a series of lectures by international experts. Participants will also experience the relevant technologies during hands-on courses and be given a chance to present their own work. The school will provide a great opportunity to know other people working in the field, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future.</div><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;">The school will concentrate on the fields of system modelling, monitoring and learning. Over the last ten years we have seen a lot of growth in these areas, building on strong theoretical foundations to apply and extend techniques to new application domains. Runtime verification is a growing field with more and more efffective applications in safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. The field of specification mining (learning specifications from system behaviour) has also seen a surge in research effort, with the establishment of a number of competitions to drive forward the development of practical tools. This research community is at an ideal stage to benefit from a school such as this, to inspire, motivate and instruct new researchers into the field.</div><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;">Students participating at this summer school will learn the current state of the art in modeling, monitoring, and learning. Students will be able to apply new techniques coming from various communities and backgrounds to their own domain. The CPS Summer School will be held at Grenoble University. Courses will be given in English by experts from industry and academia working in various fields of CPS.</div><h3 style="border: 0px; margin: 0px; padding: 0.35em 0px; font-size: 1.09em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); line-height: 16px; text-align: justify;">Topics</h3><ul dir="ltr" style="border: 0px; margin: 1em auto; padding: 0px 0px 0px 3em; font-size: 13px; list-style: circle; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;"><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">System modelling.</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Monitoring.</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Learning.</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Medical devices.</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Sensor networks.</li></ul><h3 dir="ltr" style="border: 0px; margin: 0px; padding: 0.35em 0px; font-size: 1.09em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); line-height: 16px; text-align: justify;">Scientific Organization</h3><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;"><a href="http://www.ujf-grenoble.fr/" style="border: 0px; margin: 0px; padding: 0px; text-decoration: none; color: rgb(221, 69, 0);">Université Joseph Fourier</a> (UJF) is located at the heart of the Alps, in outstanding scientific and natural surroundings. UJF is a leading University of Science, Technology and Health. Featuring in all of the major international rankings (Top 150 World Universities - Shanghai Ranking), the UJF offers initial and further education for jobs of the future in a wide range of fields: Physics and Chemistry, Mathematics and Computer Science, Biology, Medicine and Pharmacy, Engineering and Technology, Earth Science and Astronomy/Astrophysics, Environmental Studies, Geography and Territorial Sciences, as well as the Science of Physical and Sports Activities.</div><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;"><a href="https://persyval-lab.org/" style="border: 0px; margin: 0px; padding: 0px; text-decoration: none; color: rgb(221, 69, 0);">PERSYVAL-Lab</a> focuses on pervasive systems and algorithms at the convergence of physical and digital worlds. PERSYVAL-lab is built over high-level research laboratories present at Grenoble in Mathematics, Computer Science, Automatic Control, Signal Processing, and Hardware Architecture.</div><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;"><a href="http://www.jpl.nasa.gov/" style="border: 0px; margin: 0px; padding: 0px; text-decoration: none; color: rgb(221, 69, 0);">Jet Propulsion Laboratory</a> (JPL) is a federally funded research and development center located in Pasadena, California, United States. JPL is managed by the nearby California Institute of Technology (Caltech) for the National Aeronautics and Space Administration (NASA). The laboratory's primary function is the construction and operation of robotic planetary spacecraft.</div><h3 dir="ltr" style="border: 0px; margin: 0px; padding: 0.35em 0px; font-size: 1.09em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); line-height: 16px; text-align: justify;">Confirmed Speakers</h3><ul dir="ltr" style="border: 0px; margin: 1em auto; padding: 0px 0px 0px 3em; font-size: 13px; list-style: circle; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;"><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Eric Bodden (TU Darmstadt and EC SPRIDE, Germany).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Olivier Coutelou (Schneider Electric, France).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Radu Grosu (Technical Univesity Wien, Austria).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Klaus Havelund (NASA JPL, USA).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Kim G. Larsen (Aalborg University, Denmark).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Jean Goubault-Larrecq (ENS Cachan, France).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Martin Leucker (University of Lübeck, Germany).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Roberto Passerone (Universita' degli Studi di Trento, Italy).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Grigore Rosu (University of Illinois at Urbana Champaign, USA).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Mohamad Sawan (Ecole Polytechnique de Montréal, Canada).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Bernhard Steffen (Technical University Dortmund, Germany).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Andreas Zeller (Saarland University, Germany).</li></ul><h3 dir="ltr" style="border: 0px; margin: 0px; padding: 0.35em 0px; font-size: 1.09em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); line-height: 16px; text-align: justify;">Organization Committee</h3><ul dir="ltr" style="border: 0px; margin: 1em auto; padding: 0px 0px 0px 3em; font-size: 13px; list-style: circle; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px; text-align: justify;"><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Saddek Bensalem (University of Grenoble, France).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Yliès Falcone - (University of Grenoble, France).</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Klaus Havelund - (NASA JPL, USA).</li></ul><div style="text-align: justify;"><h3 style="border: 0px; margin: 0px; padding: 0.35em 0px; font-size: 1.09em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); line-height: 16px;">Fees</h3><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px;">The registration fee to the CPS Summer-School is:</div><ul style="border: 0px; margin: 1em auto; padding: 0px 0px 0px 3em; font-size: 13px; list-style: circle; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px;"><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">250 euros for students,</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">400 euros for academics and people from industry.</li></ul><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px;">The registration comprises lunches, coffee breaks, and a reception party.</div><h3 style="border: 0px; margin: 0px; padding: 0.35em 0px; font-size: 1.09em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); line-height: 16px;">Application Procedure and Important Dates</h3><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px;">Attendance is limited to 80, so we will be selecting amongst the candidates.</div><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px;">The application procedure is as follows:</div><ol style="border: 0px; margin: 1em auto; padding: 0px 0px 0px 3em; font-size: 13px; list-style-position: initial; list-style-image: initial; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px;"><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Applicants declare their intention to apply by registering at <div style="border: 0px; margin: 0px; padding: 0px;"><a href="https://persyval-calls.imag.fr/en/project/10" style="border: 0px; margin: 0px; padding: 0px; text-decoration: none; color: rgb(221, 69, 0);">https://persyval-calls.imag.fr/en/project/10</a></div><div style="border: 0px; margin: 0px; padding: 0px;">before <strong style="border: 0px; margin: 0px; padding: 0px;">April 14, 2014</strong>.<br>The application should comprise a resume and contact information.</div></li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">The organization committee provides a response to applicants before <strong style="border: 0px; margin: 0px; padding: 0px;">April 21, 2014</strong>.</li><li style="border: 0px; margin: 0.5em 0px 0px; padding: 0px;">Applicants proceed with online Registration and Fee payment before <strong style="border: 0px; margin: 0px; padding: 0px;">May 10, 2014</strong>.</li></ol><h3 style="border: 0px; margin: 0px; padding: 0.35em 0px; font-size: 1.09em; font-family: Orienta, sans-serif; color: rgb(51, 51, 51); line-height: 16px;">Online Registration</h3><div style="border: 0px; margin: 0px 0px 0.6em; padding: 0px; font-size: 13px; text-indent: 0.8em; color: rgb(80, 80, 80); font-family: 'Droid Sans', sans-serif; line-height: 16px;">Online Registration will be available only for selected applicants mid April 2014.</div></div></body></html>