From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9F0047F7B4 for ; Fri, 14 Feb 2014 08:14:45 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fm-announcements-bounces@lists.nasa.gov) identity=pra; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fm-announcements-bounces@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=mailfrom; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=helo; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkCAIvB/VKAnPnlm2dsb2JhbABPCoJCfMAKgRYWDgEBAQEBBgsLCRQogicGAQEVLggCFgUCAQQCCAMBAgYCRAQIAwEkCSwTBQ8JBIdkDckwBI4XBgQHAUyCOg9mgRQEiUiMEIkEF40cL4FfgUcJFw X-IPAS-Result: AhkCAIvB/VKAnPnlm2dsb2JhbABPCoJCfMAKgRYWDgEBAQEBBgsLCRQogicGAQEVLggCFgUCAQQCCAMBAgYCRAQIAwEkCSwTBQ8JBIdkDckwBI4XBgQHAUyCOg9mgRQEiUiMEIkEF40cL4FfgUcJFw X-IronPort-AV: E=Sophos;i="4.95,843,1384297200"; d="scan'208,217";a="49037834" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP; 14 Feb 2014 08:14:43 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 1A031601C3B; Fri, 14 Feb 2014 00:50:40 -0500 (EST) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id olcsbxfaGBID; Fri, 14 Feb 2014 00:50:39 -0500 (EST) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 284B3601AF3; Fri, 14 Feb 2014 00:50:37 -0500 (EST) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id CE33B601757 for ; Fri, 14 Feb 2014 00:50:34 -0500 (EST) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id fVxUQ3kyZ6Eg for ; Fri, 14 Feb 2014 00:50:34 -0500 (EST) Received: from mail.jpl.nasa.gov (mailhost.jpl.nasa.gov [128.149.139.105]) by lists.nasa.gov (Postfix) with ESMTP id 80CE960170E for ; Fri, 14 Feb 2014 00:50:33 -0500 (EST) Received: from [192.168.0.6] (cpe-76-171-10-135.socal.res.rr.com [76.171.10.135]) (authenticated (0 bits)) by smtp.jpl.nasa.gov (Sentrion-MTA-4.3.1/Sentrion-MTA-4.3.1) with ESMTP id s1E5oDMh026327 (using TLSv1/SSLv3 with cipher AES128-SHA (128 bits) verified NO) for ; Thu, 13 Feb 2014 21:50:14 -0800 From: Klaus Havelund Message-Id: <04E6E1D8-4ECF-4265-A41B-399EFF66EFCC@jpl.nasa.gov> Date: Thu, 13 Feb 2014 21:50:32 -0800 To: "fm-announcements@lists.nasa.gov" Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) X-Mailer: Apple Mail (2.1503) X-Source-Sender: klaus.havelund@jpl.nasa.gov X-JPL-Spam-Score': 80% X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============6979891648846027152==" Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: klaus.havelund@jpl.nasa.gov Subject: [Caml-list] [fm-announcements] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014 --===============6979891648846027152== Content-Type: multipart/alternative; boundary="Apple-Mail=_8E0C58D0-4776-45CC-8597-7EC20134BBA0" --Apple-Mail=_8E0C58D0-4776-45CC-8597-7EC20134BBA0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 [~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~] Dear Colleagues, PERSYVAL-Lab and NASA-JPL are organizing the second edition of the CPS Summ= er School. The broad objective of the CPS Summer School is to explore the m= anifold relationship between networked embedded systems (=AB the internet o= f things =BB) and humans as their creators, users, and subjects. The format= of the Summer School is a five days meeting, organized around different as= pects 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 ide= ntify novel opportunities and research directions in these areas through a = series of lectures by international experts. Participants will also experie= nce 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 futu= re. The school will concentrate on the fields of system modelling, monitoring a= nd 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 techn= iques to new application domains. Runtime verification is a growing field w= ith more and more efffective applications in safety/mission-critical system= s, 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 beh= aviour) has also seen a surge in research effort, with the establishment of= a number of competitions to drive forward the development of practical too= ls. This research community is at an ideal stage to benefit from a school s= uch as this, to inspire, motivate and instruct new researchers into the fie= ld. Students participating at this summer school will learn the current state o= f the art in modeling, monitoring, and learning. Students will be able to a= pply new techniques coming from various communities and backgrounds to thei= r own domain. The CPS Summer School will be held at Grenoble University. Co= urses will be given in English by experts from industry and academia workin= g in various fields of CPS. Topics: =95 System modeling. =95 Monitoring. =95 Learning. =95 Medical devices. =95 Sensor networks. Confirmed Speakers: =95 Eric Bodden (TU Darmstadt and EC SPRIDE, Germany). =95 Olivier Coutelou (Schneider Electric, France). =95 Radu Grosu (Technical Univesity Wien, Austria). =95 Klaus Havelund (NASA JPL, USA). =95 Kim G. Larsen (Aalborg University, Denmark). =95 Martin Leucker (University of L=FCbeck, Germany). =95 Roberto Passerone (Universita' degli Studi di Trento, Italy). =95 Grigore Rosu (University of Illinois at Urbana Champaign, USA). =95 Mohamad Sawan (Ecole Polytechnique de Montr=E9al, Canada). =95 Bernhard Steffen (Technical University Dortmund, Germany). =95 Andreas Zeller (Saarland University, Germany). Organization Committee: =95 Saddek Bensalem - University of Grenoble, France. =95 Yli=E8s Falcone - University of Grenoble, France. =95 Klaus Havelund - NASA JPL, USA. Registration fee is =80250 for students, =80400 for non-students, which inc= ludes 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 commit= tee has arranged university accommodations for students. Please refer to th= e Website for more details. Application Procedure and Important Dates (please refer to the Website for = the full procedure): =95 Deadline for Application: April 14, 2014. =95 Response to Applicants: April 21, 2014. =95 Online Registration and Fee payment: May 10, 2014. =95 Summer school on CPS: July 7-11, 2014. Since attendance is limited, priority will be given to Ph.D. students and c= ompanies' staff. More details can be found at: https://persyval-lab.org/en/summer-school/cps= 14. Applications can be submitted at: https://persyval-calls.imag.fr/en/project= /10. Enquiries can be sent to cps-school.organization@imag.fr. Best Regards, Saddek Bensalem, Yli=E8s Falcone, and Klaus Havelund= --Apple-Mail=_8E0C58D0-4776-45CC-8597-7EC20134BBA0 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252


Dear Colleagues,

P= ERSYVAL-Lab and NASA-JPL are organizing the second edition of the CPS = Summer School. The broad objective of the CPS Summer School is to expl= ore the manifold relationship between networked embedded systems = (=AB the= internet of things =BB) and humans as their creators, users, and subjects. The=  format of the Summer School is a five days meeting, organized ar= ound different aspects of rigorous engineering of Cyber-Physical Syste= ms.

This year, the objective= of the school is to survey fundamental and applied aspects of modelli= ng, monitoring and learning of systems as well as to identify novel op= portunities 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 chanc= e to present their own work. The school will provide a great opportuni= ty to know other people working in the field, to meet distinguished sc= holars, and to establish contacts that may lead to research collaborat= ions in the future.

The sc= hool will concentrate on the fields of system modelling, monitoring an= d learning. Over the last ten years we have seen a lot of growth in th= ese areas, building on strong theoretical foundations to apply and ext= end techniques to new application domains. Runtime verification is a g= rowing field with more and more efffective applications in safety/miss= ion-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 (learn= ing specifications from system behaviour) has also seen a surge in res= earch effort, with the establishment of a number of competitions to dr= ive forward the development of practical tools. This research communit= y is at an ideal stage to benefit from a school such as this, to inspi= re, motivate and instruct new researchers into the field.

Students participating at this summer sc= hool will learn the current state of the art in modeling, monitoring, = and learning. Students will be able to apply new techniques coming fro= m various communities and backgrounds to their own domain. The CPS Sum= mer School will be held at Grenoble University. Courses will be given = in English by experts from industry and academia working in various fi= elds of CPS.

Topics:<= div style=3D"color: rgb(80, 0, 80); ">
=95 System modeling.
=95 Monitoring.
=95 Learning.
=95 Medical devices.
=95 Sensor networks.

Confirmed Speakers:

=95 Eric Bodden (TU Darm= stadt and EC SPRIDE, Germany).
=95 Olivier Coutelou (Schneider Electric, France).
=95 Radu Grosu (Tec= hnical Univesity Wien, Austria).
=95 Klaus Havelund (NASA JPL, USA).
=95 Kim G. Larsen (Aalborg Unive= rsity, Denmark).
=95 Martin Leucker (University of L=FCbeck, Germany).
=95 Roberto Passerone (Univers= ita' degli Studi di Trento, Italy).
=95 Grigore Rosu (University of Illinois at Urbana C= hampaign, USA).
=95 Mohamad Sawan (Ecole Polytechnique de Montr=E9al, Canada).
=
=95 Bernhard Steffen (= Technical University Dortmund, Germany).
=95 Andreas Zeller (Saarland University, German= y).

Organization Committee:

=95 Saddek Bensalem - Un= iversity of Grenoble, France.
=95 Yli=E8s Falcone - University of Grenoble, France.
<= /div>
=95 Klaus Havelun= d - NASA JPL, USA.

Registration fee is =80250 for students, = =80400 for non-students, which includes lunches and coffee breaks from Mond= ay 8th through Thursday 11th, and a party. The registration fee only partia= lly covers the costs incurred. The remaining costs are covered by PERSYVAL-= Lab. The local organization committee has arranged university accommodation= s for students. Please refer to the Website for more details.
Application Procedure and Important Dates (please refer to the Website for= the full procedure):

=95 Deadline for Application: April 14, 2014.
=95 Response to Applicants: April 21, 2014.
=95 Online Registration and Fee= payment: May 10, 2014.
= =95 Summer school on CPS: July 7-11, 2014.

Since atten= dance is limited, priority will be given to Ph.D. students and companies' s= taff.

More details can be found at: https://persyval-lab.org/en/summer-school/cps14.
Applications can be submitted at: cps-school.organization@imag.fr.

Best Regards,

Saddek Bensalem= , Yli=E8s Falcone, and Klaus Havelund
= --Apple-Mail=_8E0C58D0-4776-45CC-8597-7EC20134BBA0-- --===============6979891648846027152== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --- To opt-out from this mailing list, send an email to fm-announcements-request@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner@lists.nasa.gov --===============6979891648846027152==--