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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DF1427F89E for ; Tue, 1 Apr 2014 17:31:58 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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: AoABACbaOlOAnPnlm2dsb2JhbABPCoJCf4ZDtieHNYEaFg4BAQEBAQgJCwkUKIInBgEBFS4IAhYDAQECAQQCCAMBAgYCHCgBAwgDASQJGBQTBQ8CBwSHWA3RKBeODgYEBwFMgjkPZ4EUBIlWjCmJD41BMYFfgUkJFw X-IPAS-Result: AoABACbaOlOAnPnlm2dsb2JhbABPCoJCf4ZDtieHNYEaFg4BAQEBAQgJCwkUKIInBgEBFS4IAhYDAQECAQQCCAMBAgYCHCgBAwgDASQJGBQTBQ8CBwSHWA3RKBeODgYEBwFMgjkPZ4EUBIlWjCmJD41BMYFfgUkJFw X-IronPort-AV: E=Sophos;i="4.97,773,1389740400"; d="scan'208,217";a="65866502" Received: from lists.nasa.gov ([128.156.249.229]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Apr 2014 17:31:56 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 465F860229B; Tue, 1 Apr 2014 11:30:45 -0400 (EDT) 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 lt8y+uT2K0sx; Tue, 1 Apr 2014 11:30:45 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 6DB0A60225A; Tue, 1 Apr 2014 11:30:42 -0400 (EDT) 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 F304D6021DD for ; Tue, 1 Apr 2014 11:30:39 -0400 (EDT) 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 p+2Ns86orgf7 for ; Tue, 1 Apr 2014 11:30:39 -0400 (EDT) Received: from mail.jpl.nasa.gov (smtp.jpl.nasa.gov [128.149.139.109]) by lists.nasa.gov (Postfix) with ESMTP id 91FFC602147 for ; Tue, 1 Apr 2014 11:30:35 -0400 (EDT) Received: from dhcp-137-79-206-247.jpl.nasa.gov (dhcp-137-79-206-247.jpl.nasa.gov [137.79.206.247]) (authenticated (0 bits)) by smtp.jpl.nasa.gov (Sentrion-MTA-4.3.1/Sentrion-MTA-4.3.1) with ESMTP id s31FUYSC011034 (using TLSv1/SSLv3 with cipher AES128-SHA (128 bits) verified NO) for ; Tue, 1 Apr 2014 08:30:35 -0700 From: Klaus Havelund Message-Id: Date: Tue, 1 Apr 2014 08:30:35 -0700 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-AUTH: Authorized 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="===============8744681764603238929==" 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] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE, FRANCE, JULY 7-10, 2014 --===============8744681764603238929== Content-Type: multipart/alternative; boundary="Apple-Mail=_EFDCD43D-07FF-4280-9CC1-D7854EE462DE" --Apple-Mail=_EFDCD43D-07FF-4280-9CC1-D7854EE462DE Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 [~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~] 2nd International Summer School on Cyber-Physical Systems July 7-10, 2014 Grenoble, France https://persyval-lab.org/summer-school/cps14 Universit=E9 Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the = second edition of the CPS Summer School. The broad objective of the CPS Sum= mer School is to explore the manifold relationship between networked embedd= ed systems ("the internet of things") and humans as their creators, users, = and subjects. The format of the Summer School is a four days meeting, organ= ized around different aspects of rigorous engineering of Cyber-Physical Sys= tems. 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 System modelling. Monitoring. Learning. Medical devices. Sensor networks. Scientific Organization Universit=E9 Joseph Fourier (UJF) is located at the heart of the Alps, in o= utstanding scientific and natural surroundings. UJF is a leading University= of Science, Technology and Health. Featuring in all of the major internati= onal rankings (Top 150 World Universities - Shanghai Ranking), the UJF offe= rs initial and further education for jobs of the future in a wide range of = fields: Physics and Chemistry, Mathematics and Computer Science, Biology, M= edicine and Pharmacy, Engineering and Technology, Earth Science and Astrono= my/Astrophysics, Environmental Studies, Geography and Territorial Sciences,= as well as the Science of Physical and Sports Activities. PERSYVAL-Lab focuses on pervasive systems and algorithms at the convergence= of physical and digital worlds. PERSYVAL-lab is built over high-level rese= arch laboratories present at Grenoble in Mathematics, Computer Science, Aut= omatic Control, Signal Processing, and Hardware Architecture. Jet Propulsion Laboratory (JPL) is a federally funded research and developm= ent center located in Pasadena, California, United States. JPL is managed b= y the nearby California Institute of Technology (Caltech) for the National = Aeronautics and Space Administration (NASA). The laboratory's primary funct= ion is the construction and operation of robotic planetary spacecraft. 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). Jean Goubault-Larrecq (ENS Cachan, France). Martin Leucker (University of L=FCbeck, Germany). Roberto Passerone (Universita' degli Studi di Trento, Italy). Grigore Rosu (University of Illinois at Urbana Champaign, USA). Mohamad Sawan (Ecole Polytechnique de Montr=E9al, Canada). Bernhard Steffen (Technical University Dortmund, Germany). Andreas Zeller (Saarland University, Germany). Organization Committee Saddek Bensalem (University of Grenoble, France). Yli=E8s Falcone - (University of Grenoble, France). Klaus Havelund - (NASA JPL, USA). Fees The registration fee to the CPS Summer-School is: 250 euros for students, 400 euros for academics and people from industry. The registration comprises lunches, coffee breaks, and a reception party. Application Procedure and Important Dates Attendance is limited to 80, so we will be selecting amongst the candidates. The application procedure is as follows: Applicants declare their intention to apply by registering at=20 https://persyval-calls.imag.fr/en/project/10 before April 14, 2014. The application should comprise a resume and contact information. The organization committee provides a response to applicants before April 2= 1, 2014. Applicants proceed with online Registration and Fee payment before May 10,= 2014. Online Registration Online Registration will be available only for selected applicants mid Apri= l 2014.= --Apple-Mail=_EFDCD43D-07FF-4280-9CC1-D7854EE462DE Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1

July 7-10, 2014 Grenob= le, France

https://persyv= al-lab.org/summer-school/cps14


Universit=E9 Joseph Fourier, PERSYVAL-Lab, and NASA-JPL= are organizing the second edition of the CPS Summer School. The broad obje= ctive of the CPS Summer School is to explore the manifold relationship betw= een networked embedded systems ("the internet of things") and humans as the= ir creators, users, and subjects. The format of the Summer School is a four= days meeting, organized around different aspects of rigorous engineering o= f Cyber-Physical Systems.
This year, the objective of the school is to surve= y 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. Parti= cipants will also experience the relevant technologies during hands-on cour= ses and be given a chance to present their own work. The school will provid= e a great opportunity to know other people working in the field, to meet di= stinguished scholars, and to establish contacts that may lead to research c= ollaborations in the future.
The school will concentrate on the fields of system modellin= g, monitoring and learning. Over the last ten years we have seen a lot of g= rowth in these areas, building on strong theoretical foundations to apply a= nd 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 securi= ty and privacy. The field of specification mining (learning specifications = from system behaviour) has also seen a surge in research effort, with the e= stablishment of a number of competitions to drive forward the development o= f practical tools. This research community is at an ideal stage to benefit = from a school such as this, to inspire, motivate and instruct new researche= rs into the field.
Students participating at this summer school will learn the current st= ate 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 Universit= y. Courses will be given in English by experts from industry and academia w= orking in various fields of CPS.

Topics
    System m= odelling.
  • Monitoring.
  • Learning.
  • Medical devices.
  • Sensor networks.

Scientific Organization

Universit=E9 Joseph Fourier (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. F= eaturing in all of the major international rankings (Top 150 World Universi= ties - Shanghai Ranking), the UJF offers initial and further education for = jobs of the future in a wide range of fields: Physics and Chemistry, M= athematics and Computer Science, Biology, Medicine and Pharmacy, Engineerin= g and Technology, Earth Science and Astronomy/Astrophysics, Environmental S= tudies, Geography and Territorial Sciences, as well as the Science of Physi= cal and Sports Activities.
P= ERSYVAL-Lab focuses on pervasive systems and algorithms at the con= vergence of physical and digital worlds. PERSYVAL-lab is built over high-le= vel research laboratories present at Grenoble in Mathematics, Computer Scie= nce, Automatic Control, Signal Processing, and Hardware Architecture.
=
Jet Propulsion Laboratory = ;(JPL) is a federally funded research and development center located in Pas= adena, California, United States. JPL is managed by the nearby California I= nstitute of Technology (Caltech) for the National Aeronautics and Space Adm= inistration (NASA). The laboratory's primary function is the construction a= nd operation of robotic planetary spacecraft.

Confirmed Speakers

  • Eric Bodden (TU Darmstadt and EC SPRIDE, Germa= ny).
  • O= livier Coutelou (Schneider Electric, France).
  • Radu Grosu (Technical Univesity Wie= n, Austria).
  • Klaus Havelund (NASA JPL, USA).
  • Kim G. Larsen (Aalborg University, Denmark= ).
  • Jea= n Goubault-Larrecq (ENS Cachan, France).
  • Martin Leucker (University of L=FCbeck, = Germany).
  • Roberto Passerone (Universita' degli Studi di Trento, Italy).
  • Grigore Rosu (U= niversity of Illinois at Urbana Champaign, USA).
  • Mohamad Sawan (Ecole Polytechniq= ue de Montr=E9al, Canada).
  • Bernhard Steffen (Technical University Dortmund, Germa= ny).
  • A= ndreas Zeller (Saarland University, Germany).

Organization Committee

  • Saddek Bensalem (University of G= renoble, France).
  • Yli=E8s Falcone - (University of Grenoble, France).
  • Klaus H= avelund - (NASA JPL, USA).
Fees

The registration fee= to the CPS Summer-School is:
  • 250 euros= for students,
  • 400 euros for academics and people from industry.
The registration comprises lunches, coffee brea= ks, and a reception party.

Application Procedure and Important= Dates

Attendance is limited to 80, = so we will be selecting amongst the candidates.
The application procedure is as follows:
  1. Applicants decla= re their intention to apply by registering at 
    bef= ore April 1= 4, 2014.
    The application should comprise a resume and contact i= nformation.
  2. The organization committee provides a response to applicants be= fore April = 21, 2014.
  3. Applicants proceed with online Registration and Fee payment &n= bsp;before = May 10, 2014.

Online Registration

Online Registration will be available only for sel= ected applicants mid April 2014.
= --Apple-Mail=_EFDCD43D-07FF-4280-9CC1-D7854EE462DE-- --===============8744681764603238929== 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 --===============8744681764603238929==--