[~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~]
Dear Colleagues,
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 five days meeting, organized around different aspects of rigorous
engineering of Cyber-Physical Systems.
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.
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.
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.
Topics:
• System modeling.
• Monitoring.
• Learning.
• Medical devices.
• Sensor networks.
Confirmed Speakers:
• Eric Bodden (TU Darmstadt and EC SPRIDE, Germany).
• Olivier Coutelou (Schneider Electric, France).
• Radu Grosu (Technical Univesity Wien, Austria).
• Klaus Havelund (NASA JPL, USA).
• Kim G. Larsen (Aalborg University, Denmark).
• Martin Leucker (University of Lübeck, Germany).
• Roberto Passerone (Universita' degli Studi di Trento, Italy).
• Grigore Rosu (University of Illinois at Urbana Champaign, USA).
• Mohamad Sawan (Ecole Polytechnique de Montréal, Canada).
• Bernhard Steffen (Technical University Dortmund, Germany).
• Andreas Zeller (Saarland University, Germany).
Organization Committee:
• Saddek Bensalem - University of Grenoble, France.
• Yliès Falcone - University of Grenoble, France.
• Klaus Havelund - NASA JPL, USA.
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.
Application Procedure and Important Dates (please refer to the Website for the
full procedure):
• Deadline for Application: April 14, 2014.
• Response to Applicants: April 21, 2014.
• Online Registration and Fee payment: May 10, 2014.
• Summer school on CPS: July 7-11, 2014.
Since attendance is limited, priority will be given to Ph.D. students and
companies' staff.
More details can be found at: https://persyval-lab.org/en/summer-school/cps14.
Applications can be submitted at: https://persyval-calls.imag.fr/en/project/10.
Enquiries can be sent to cps-school.organizat...@imag.fr.
Best Regards,
Saddek Bensalem, Yliès Falcone, and Klaus Havelund_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
