<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); "><br></div><div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); "><br></div><div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); position: static; z-index: auto; "><div style="color: rgb(80, 0, 80); ">[~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~]</div><br style="color: rgb(80, 0, 80); "><span style="color: rgb(80, 0, 80); ">Dear Colleagues,</span><br style="color: rgb(80, 0, 80); "><br style="color: rgb(80, 0, 80); "><span style="color: rgb(80, 0, 80); ">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 </span><span style="color: rgb(80, 0, 80); "><font color="#222222" face="Roboto, Arial, sans-serif"><span style="line-height: 15px; ">(« the internet of things »)</span></font></span><span style="color: rgb(80, 0, 80); "> and humans as their creators, users, and subjects. The format of the Summer School is a five days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems.</span><br style="color: rgb(80, 0, 80); "><br style="color: rgb(80, 0, 80); "><span style="color: rgb(80, 0, 80); ">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.</span><br style="color: rgb(80, 0, 80); "><br style="color: rgb(80, 0, 80); "><span style="color: rgb(80, 0, 80); ">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.</span><br style="color: rgb(80, 0, 80); "><br style="color: rgb(80, 0, 80); "><span style="color: rgb(80, 0, 80); ">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.</span><br style="color: rgb(80, 0, 80); "><br style="color: rgb(80, 0, 80); "><span style="color: rgb(80, 0, 80); ">Topics:</span><div style="color: rgb(80, 0, 80); "><br><div><div><span style="white-space: pre-wrap; "> </span> System modeling.<br></div><div><span style="white-space: pre-wrap; "> </span> Monitoring.<br></div><div><span style="white-space: pre-wrap; "> </span> Learning.<br></div><div><span style="white-space: pre-wrap; "> </span> Medical devices.<br></div><div><span style="white-space: pre-wrap; "> </span> Sensor networks.</div></div><div><br></div><div>Confirmed Speakers:</div><div><br></div><div><div><div><span style="white-space: pre-wrap; "> </span> Eric Bodden (TU Darmstadt and EC SPRIDE, Germany).<br></div><div><span style="white-space: pre-wrap; "> </span> Olivier Coutelou (Schneider Electric, France).<br></div><div><span style="white-space: pre-wrap; "> </span> Radu Grosu (Technical Univesity Wien, Austria).<br></div><div><span style="white-space: pre-wrap; "> </span> Klaus Havelund (NASA JPL, USA).<br></div><div><span style="white-space: pre-wrap; "> </span> Kim G. Larsen (Aalborg University, Denmark).<br></div><div><span style="white-space: pre-wrap; "> </span> Martin Leucker (University of Lόbeck, Germany).<br></div><div><span style="white-space: pre-wrap; "> </span> Roberto Passerone (Universita' degli Studi di Trento, Italy).<br></div><div><span style="white-space: pre-wrap; "> </span> Grigore Rosu (University of Illinois at Urbana Champaign, USA).<br></div><div><span style="white-space: pre-wrap; "> </span> Mohamad Sawan (Ecole Polytechnique de Montrιal, Canada).<br></div><div><span style="white-space: pre-wrap; "> </span> Bernhard Steffen (Technical University Dortmund, Germany).<br></div><div><span style="white-space: pre-wrap; "> </span> Andreas Zeller (Saarland University, Germany).</div></div><div><br></div><div>Organization Committee:</div><div><br><div><span style="white-space: pre-wrap; "> </span> Saddek Bensalem - University of Grenoble, France.<br></div><div><span style="white-space: pre-wrap; "> </span> Yliθs Falcone - University of Grenoble, France.<br></div><div><span style="white-space: pre-wrap; "> </span> Klaus Havelund - NASA JPL, USA.</div></div><br>Registration fee is 250 for students, 400 for non-students, which includes lunches and coffee breaks from Monday 8th through Thursday 11th, and a party. The registration fee only partially covers the costs incurred. The remaining costs are covered by PERSYVAL-Lab. The local organization committee has arranged university accommodations for students. Please refer to the Website for more details.</div><div><br>Application Procedure and Important Dates (please refer to the Website for the full procedure):<br><br><span style="white-space: pre-wrap; "> </span> Deadline for Application: April 14, 2014.<br><span style="white-space: pre-wrap; "> </span> Response to Applicants: April 21, 2014.<br><span style="white-space: pre-wrap; "> </span> Online Registration and Fee payment: May 10, 2014.</div><div><span style="white-space: pre-wrap; "> </span> Summer school on CPS: July 7-11, 2014.</div><div><br>Since attendance is limited, priority will be given to Ph.D. students and companies' staff.<br><br>More details can be found at: <a href="https://persyval-lab.org/en/summer-school/cps14" target="_blank" style="color: rgb(17, 85, 204); ">https://persyval-lab.org/<wbr>en/summer-school/cps14</a>.<br><br>Applications can be submitted at: <a href="https://persyval-calls.imag.fr/en/project/10" target="_blank" style="color: rgb(17, 85, 204); ">https://persyval-calls.<wbr>imag.fr/en/project/10</a>.<br><br>Enquiries can be sent to <a href="mailto:cps-school.organization@imag.fr" target="_blank" style="color: rgb(17, 85, 204); ">cps-school.organization@<wbr>imag.fr</a>.<br><br>Best Regards,<br><div><br></div><div>Saddek Bensalem, Yliθs Falcone, and Klaus Havelund</div></div></div></div></body></html>