caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Ylies Falcone <Ylies.Falcone@ujf-grenoble.fr>
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" <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
Subject: [Caml-list] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013
Date: Sun, 24 Mar 2013 09:05:33 +0100	[thread overview]
Message-ID: <4D77A54C-B5E5-4A81-B337-E0415FA68EB4@ujf-grenoble.fr> (raw)

[-- Attachment #1: Type: text/plain, Size: 2584 bytes --]

[~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~]

Dear Colleagues,

EIT ICT Labs and PERSYVAL-Lab are organizing the first edition of the CPS Summer 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, organized around different aspects of rigorous engineering of Cyber Physical Systems.

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

Topics:

	• Computer security and cryptography.
	• System modelling.
	• Medical devices.
	• Sensor networks.

Confirmed Speakers:

	• Prof. Manfred Broy - TU Munich (Germany).
	• Dr. Olivier Coutelou - Schneider Electric Grenoble (France).
	• Dr. Julien Francq - Cassidian (France).
	• Prof. Kim G Larsen - Aalborg University (Denmark).
	• Dr. David Lesens - Astrium Space Transportation (France).
	• Prof. Peter Marwedel - TU Dortmund (Germany).
	• Dr. Emmanuel Prouff - ANSSI (France).
	• Prof. Joseph Sifakis - EPFL (Switzerland) and Verimag (France).
	• Prof. Oleg Sokolsky - University of Pennsylvania (USA).
	• Dr. Jocelyne Troccaz - TIMC/CNRS, Grenoble (France).
	• Dr. Thomas Watteyne - Dust Networks, Inc., Hayward (USA).

Registration fee is €350 for students, €500 for non-students, which includes 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):

	• Deadline for Application: May 1, 2013.
	• Response to Applicants: May 10, 2013. 
	• Online Registration and Fee payment: May 20, 2013.

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/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ès Falcone
Associate Professor
University Grenoble 1 (UJF)

[-- Attachment #2: Type: text/html, Size: 5427 bytes --]

             reply	other threads:[~2013-03-24  8:08 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-03-24  8:05 Ylies Falcone [this message]
2013-04-26  5:01 Ylies Falcone

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4D77A54C-B5E5-4A81-B337-E0415FA68EB4@ujf-grenoble.fr \
    --to=ylies.falcone@ujf-grenoble.fr \
    --cc=agents@cs.umbc.edu \
    --cc=appsem@appsem.org \
    --cc=caml-list@inria.fr \
    --cc=compunode@compulog.org \
    --cc=coq-club@pauillac.inria.fr \
    --cc=isabelle-users@cl.cam.ac.uk \
    --cc=lics@informatik.hu-berlin.de \
    --cc=list@prooftheory.org \
    --cc=logic-announce@uclink4.berkeley.edu \
    --cc=logic-list@helsinki.fi \
    --cc=mailinglist@fmeurope.org \
    --cc=moca-announce@list.it.uu.se \
    --cc=performance@merlot.usc.edu \
    --cc=prog-lang@diku.dk \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).