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 7FE457F7B4; Tue, 11 Feb 2014 09:19:24 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ylies.falcone@ujf-grenoble.fr) identity=pra; client-ip=129.88.30.17; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ylies.falcone@ujf-grenoble.fr"; x-sender="ylies.falcone@ujf-grenoble.fr"; x-conformance=sidf_compatible Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of ylies.falcone@ujf-grenoble.fr does not assert whether or not 129.88.30.17 is permitted sender) identity=mailfrom; client-ip=129.88.30.17; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ylies.falcone@ujf-grenoble.fr"; x-sender="ylies.falcone@ujf-grenoble.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@rominette.imag.fr) identity=helo; client-ip=129.88.30.17; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ylies.falcone@ujf-grenoble.fr"; x-sender="postmaster@rominette.imag.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiUEALnc+VKBWB4Rh2dsb2JhbABQCoNEvzyBIw4BAQEIDQkHFiiCRE4FAgUCgUMBEhSHcQ3IXhMEjhQEVII6D2aBFASteIFn X-IPAS-Result: AiUEALnc+VKBWB4Rh2dsb2JhbABQCoNEvzyBIw4BAQEIDQkHFiiCRE4FAgUCgUMBEhSHcQ3IXhMEjhQEVII6D2aBFASteIFn X-IronPort-AV: E=Sophos;i="4.95,824,1384297200"; d="scan'208,217";a="48575421" Received: from mx2.imag.fr (HELO rominette.imag.fr) ([129.88.30.17]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Feb 2014 09:19:23 +0100 Received: from globule.imag.fr (globule.imag.fr [129.88.34.238]) by rominette.imag.fr (8.13.8/8.13.8) with ESMTP id s1B86RM3031232 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 11 Feb 2014 09:06:27 +0100 Received: from eduroam-040206.grenet.fr (eduroam-040206.grenet.fr [130.190.40.206]) (authenticated bits=0) by globule.imag.fr (8.13.8/8.13.8) with ESMTP id s1B85v9X021630 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Tue, 11 Feb 2014 09:06:23 +0100 From: Ylies Falcone Content-Type: multipart/alternative; boundary="Apple-Mail=_6DDC69D6-A882-4E7D-887E-29E6C0DA49E4" Date: Tue, 11 Feb 2014 09:06:23 +0100 To: =?iso-8859-1?Q?Yli=E8s_Falcone?= , Saddek Bensalem , Klaus Havelund Message-Id: <43E47794-16BF-4B3F-B12F-80DFDD93D7F4@ujf-grenoble.fr> Mime-Version: 1.0 (Mac OS X Mail 7.1 \(1827\)) X-Mailer: Apple Mail (2.1827) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.2 (rominette.imag.fr [129.88.30.17]); Tue, 11 Feb 2014 09:06:43 +0100 (CET) X-Validation-by: ylies.falcone@ujf-grenoble.fr Subject: [Caml-list] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014 --Apple-Mail=_6DDC69D6-A882-4E7D-887E-29E6C0DA49E4 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=_6DDC69D6-A882-4E7D-887E-29E6C0DA49E4 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252
[~~~~~~ Please di= sseminate widely within your teams & contacts ~~~~~~]

Dear Col= leagues,

PERSYVAL-Lab and NASA-JPL are organizing the second edition= of the CPS Summer School. The broad objective of the CPS Summer Schoo= l is to explore the manifold relationship between networked embedded&n= bsp;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 around d= ifferent aspects of rigorous engineering of Cyber-Physical Systems.
This year, the objective of the school is to survey fundamental and&nb= sp;applied aspects of modelling, monitoring and learning of systems as = ;well as to identify novel opportunities and research directions in these&n= bsp;areas through a series of lectures by international experts. Parti= cipants will also experience the relevant technologies during hands-on= courses and be given a chance to present their own work. The school w= ill provide a great opportunity to know other people working in the fi= eld, to meet distinguished scholars, and to establish contacts that ma= y lead to research collaborations in the future.

The school will con= centrate on the fields of system modelling, monitoring and learning. O= ver the last ten years we have seen a lot of growth in these areas, bu= ilding on strong theoretical foundations to apply and extend technique= s 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 cont= rol systems, health management and diagnosis systems, and system secur= ity and privacy. The field of specification mining (learning specifica= tions from system behaviour) has also seen a surge in research effort,= with the establishment of a number of competitions to drive forward t= he development of practical tools. This research community is at an id= eal stage to benefit from a school such as this, to inspire, motivate = and instruct new researchers into the field.

Students participa= ting 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 o= wn 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:

=95 System mode= ling.
=95 Monitoring.
=95 Learning.
=95 Medical devices= .
= =95 Sensor networks.

Confirmed Speak= ers:

=95 Eric Bodden (TU Darmstadt and EC SPRIDE= , Germany).
=95 Olivier Coutelou (Schneider Electric, France).
= =95 Radu Grosu (Technical Univesity Wien, Austria).
=95 Klaus Havelun= d (NASA JPL, USA).
=95 Kim G. Larsen (Aalborg University, Denmark).
=95 Martin Leucker (University of L=FCbeck, Germany).
=95 Robert= o Passerone (Universita' degli Studi di Trento, Italy).
=95 Grigore R= osu (University of Illinois at Urbana Champaign, USA).
=95 Mohamad Sa= wan (Ecole Polytechnique de Montr=E9al, Canada).
=95 Bernhard Steffe= n (Technical University Dortmund, Germany).
=95 Andreas Zeller (Saarl= and University, Germany).

Organization Commi= ttee:

=95 Saddek Bensalem - University of Grenoble, France.
<= /div>
=95 Yli=E8s Falcone - University of Grenoble, France.
=95 Klaus Hav= elund - NASA JPL, USA.

Registration fee is =80250 for studen= ts, =80400 for non-students, which includes lunches and coffee breaks from = Monday 8th through Thursday 11th, and a party. The registration fee only pa= rtially covers the costs incurred. The remaining costs are covered by PERSY= VAL-Lab. The local organization committee has arranged university accommoda= tions 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.
<= span class=3D"Apple-tab-span" style=3D"white-space: pre;"> =95 Respo= nse 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 compan= ies' staff.

More details can be found at: https://persyval-lab.org/en/summer-s= chool/cps14.

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,

S= addek Bensalem, Yli=E8s Falcone, and Klaus Havelund
= --Apple-Mail=_6DDC69D6-A882-4E7D-887E-29E6C0DA49E4--