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 699F57EE80 for ; Sun, 24 Mar 2013 09:08:51 +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: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Ylies.Falcone@ujf-grenoble.fr) 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 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: AiUEADi0TlGBWB4RgWdsb2JhbABDDoUQwFaCCg4BAQsLJgoegn4WAQiBRQESiBQECMB6BI1igTKCamEDnGWNUUCBaQ X-IPAS-Result: AiUEADi0TlGBWB4RgWdsb2JhbABDDoUQwFaCCg4BAQsLJgoegn4WAQiBRQESiBQECMB6BI1igTKCamEDnGWNUUCBaQ X-IronPort-AV: E=Sophos;i="4.84,900,1355094000"; d="scan'208,217";a="7614548" Received: from mx2.imag.fr (HELO rominette.imag.fr) ([129.88.30.17]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Mar 2013 09:08:35 +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 r2O85Y5B004399 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Sun, 24 Mar 2013 09:05:34 +0100 Received: from [192.168.1.21] (158.238.71.86.rev.sfr.net [86.71.238.158]) (authenticated bits=0) by globule.imag.fr (8.13.8/8.13.8) with ESMTP id r2O85Xg0005599 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Sun, 24 Mar 2013 09:05:34 +0100 From: Ylies Falcone Content-Type: multipart/alternative; boundary="Apple-Mail=_8EBDC0DC-1550-41F6-8E8A-307BFF553240" Message-Id: <4D77A54C-B5E5-4A81-B337-E0415FA68EB4@ujf-grenoble.fr> Date: Sun, 24 Mar 2013 09:05:33 +0100 To: agents@cs.umbc.edu, appsem@appsem.org, caml-list@inria.fr, compunode@compulog.org, coq-club@pauillac.inria.fr, isabelle-users@cl.cam.ac.uk, "lics@informatik.hu-berlin.de" , list@prooftheory.org, logic-announce@uclink4.berkeley.edu, logic-list@helsinki.fi, mailinglist@fmeurope.org, moca-announce@list.it.uu.se, performance@merlot.usc.edu, prog-lang@diku.dk Mime-Version: 1.0 (Mac OS X Mail 6.2 \(1499\)) X-Mailer: Apple Mail (2.1499) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.2 (rominette.imag.fr [129.88.30.17]); Sun, 24 Mar 2013 09:05:34 +0100 (CET) X-IMAG-MailScanner-Information: Please contact MI2S MIM for more information X-MailScanner-ID: r2O85Y5B004399 X-IMAG-MailScanner: Found to be clean X-IMAG-MailScanner-SpamCheck: X-IMAG-MailScanner-From: ylies.falcone@ujf-grenoble.fr MailScanner-NULL-Check: 1364717136.14934@GywnL9nEaWOc6wfLg1pJ7g X-Validation-by: ylies.falcone@ujf-grenoble.fr Subject: [Caml-list] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013 --Apple-Mail=_8EBDC0DC-1550-41F6-8E8A-307BFF553240 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 [~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~] Dear Colleagues, EIT ICT Labs and PERSYVAL-Lab are organizing the first edition of the CPS S= ummer School. The CPS Summer School will explore the manifold relationship = between networked embedded systems and humans as their creators, users, and= subjects. The format of the Summer School will be a five days meeting, org= anized around different aspects of rigorous engineering of Cyber Physical S= ystems. The CPS Summer School will bring together some of the best lecturers from E= urope and the USA, in a one week programme. The programme will offer world-= class courses and significant opportunities for interaction with leading re= searchers in the area of Cyber Physical Systems.=20 Topics: =95 Computer security and cryptography. =95 System modelling. =95 Medical devices. =95 Sensor networks. Confirmed Speakers: =95 Prof. Manfred Broy - TU Munich (Germany). =95 Dr. Olivier Coutelou - Schneider Electric Grenoble (France). =95 Dr. Julien Francq - Cassidian (France). =95 Prof. Kim G Larsen - Aalborg University (Denmark). =95 Dr. David Lesens - Astrium Space Transportation (France). =95 Prof. Peter Marwedel - TU Dortmund (Germany). =95 Dr. Emmanuel Prouff - ANSSI (France). =95 Prof. Joseph Sifakis - EPFL (Switzerland) and Verimag (France). =95 Prof. Oleg Sokolsky - University of Pennsylvania (USA). =95 Dr. Jocelyne Troccaz - TIMC/CNRS, Grenoble (France). =95 Dr. Thomas Watteyne - Dust Networks, Inc., Hayward (USA). Registration fee is =80350 for students, =80500 for non-students, which inc= ludes lunches and coffee breaks from Monday 8th through Friday 12th, and a = party. The registration fee only partially covers the costs incurred. The = remaining costs are covered by the EIT ICT Labs and PERSYVAL-Lab. The local= organization committee has arranged university accommodations for students= . The accommodation student-fee for the week is 200 euros. Application Procedure and Important Dates (please refer to the Website for = the full procedure): =95 Deadline for Application: May 1, 2013. =95 Response to Applicants: May 10, 2013.=20 =95 Online Registration and Fee payment: May 20, 2013. 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. Applications can be submitted at: https://persyval-calls.imag.fr/en/project= /6. Enquiries can be sent to cps-school.organization@imag.fr. Best Regards, Yli=E8s Falcone Associate Professor University Grenoble 1 (UJF)= --Apple-Mail=_8EBDC0DC-1550-41F6-8E8A-307BFF553240 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252 [~~~~~~ Pl= ease disseminate widely within your teams & contacts ~~~~~~]

Dear Colleagues,

EIT ICT = Labs and PERSYVAL-Lab are organizing the first edition of the CPS Summ= er School. The CPS Summer School will explore the manifold relationship&nbs= p;between networked embedded systems and humans as their creators, users,&n= bsp;and subjects. The format of the Summer School will be a five days meeti= ng, organized around different aspects of rigorous engineering of Cybe= r Physical Systems.

The CPS Summer School= will bring together some of the best lecturers from Europe and the US= A, in a one week programme. The programme will offer world-class courses an= d significant opportunities for interaction with leading researchers i= n the area of Cyber Physical Systems. 

To= pics:

=95 Computer security and= cryptography.
=95 System modelling.
=95 Medical devices.
=95 Sensor networks.

Confirmed= Speakers:

=95 Prof. Manfred Bro= y - TU Munich (Germany).
=95 Dr. Olivier = Coutelou - Schneider Electric Grenoble (France).
=95 Dr. Julien Francq - Cassidian (France).
<= /span>=95 Prof. Kim G Larsen - Aalborg University (Denmark).
=95 Dr. David Lesens - Astrium Space Transportati= on (France).
=95 Prof. Peter Marwedel - T= U Dortmund (Germany).
=95 Dr. Emmanuel Pr= ouff - ANSSI (France).
=95 Prof. Joseph S= ifakis - EPFL (Switzerland) and Verimag (France).
=95 Prof. Oleg Sokolsky - University of Pennsylvania (USA).
=95 Dr. Jocelyne Troccaz - TIMC/CNRS, Grenoble = (France).
=95 Dr. Thomas Watteyne - Dust = Networks, Inc., Hayward (USA).

Registrat= ion fee is =80350 for students, =80500 for non-students, which includes&nbs= p;lunches and coffee breaks from Monday 8th through Friday 12th, and a part= y.  The registration fee only partially covers the costs incurred= . The remaining costs are covered by the EIT ICT Labs and PERSYVAL-Lab= . The local organization committee has arranged university accommodati= ons for students. The accommodation student-fee for the week is 200 eu= ros.

Application Procedure and Important Dates= (please refer to the Website for the full procedure):

=95 Deadline for Application: May= 1, 2013.
=95 Response to Applicants:&nbs= p;May 10, 2013. 
=95 Online Registra= tion and Fee payment: May 20, 2013.

Since attendance is limited, priority will be given = to Ph.D. students and companies' staff.

M= ore details can be found at: https://persyval-lab.org/en/summer-school/cps.

Applications can be submitted at: https://per= syval-calls.imag.fr/en/project/6.

Enquirie= s can be sent to cps-school.organization@imag.fr.

= Best Regards,

Yli=E8s Falcone
Associate Prof= essor
University Grenoble 1 (UJF)
= --Apple-Mail=_8EBDC0DC-1550-41F6-8E8A-307BFF553240--