rv AT lists.cs.illinois.edu

Subject: Runtime Verification and Monitoring

List archive

[RV] PERSYVAL-Lab Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013

From: Yliès Falcone <Ylies.Falcone AT ujf-grenoble.fr>
To: "ligtous AT imag.fr" <ligtous AT imag.fr>, "gdr.gpl AT imag.fr" <gdr.gpl AT imag.fr>, "gdr-im AT gdr-im.fr" <gdr-im AT gdr-im.fr>, "rv AT cs.uiuc.edu" <rv AT cs.uiuc.edu>, "fmics AT inrialpes.fr" <fmics AT inrialpes.fr>, "concurrency AT tue.nl" <concurrency AT tue.nl>, "seworld AT cs.colorado.edu" <seworld AT cs.colorado.edu>, "theorynt AT listserv.nodak.edu" <theorynt AT listserv.nodak.edu>, "EAPLS AT jiscmail.ac.uk" <eapls AT jiscmail.ac.uk>, "PetriNets AT daimi.au.dk" <PetriNets AT daimi.au.dk>, "easst-members AT mail.cs.uni-potsdam.de" <easst-members AT mail.cs.uni-potsdam.de>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "petrinet AT informatik.uni-hamburg.de" <petrinet AT informatik.uni-hamburg.de>, "nvti-list AT cwi.nl" <nvti-list AT cwi.nl>, "ipalist AT listserver.tue.nl" <ipalist AT listserver.tue.nl>, "lics AT research.bell-labs.com" <lics AT research.bell-labs.com>, "papm AT informatics.ed.ac.uk" <papm AT informatics.ed.ac.uk>, "announcements AT lists.artist-embedded.org" <announcements AT lists.artist-embedded.org>, "fm-announcements-bounces AT lists.nasa.gov" <fm-announcements-bounces AT lists.nasa.gov>, "nwpt-info AT lists.ioc.ee" <nwpt-info AT lists.ioc.ee>, "gi-fg214 AT informatik.uni-kiel.de" <gi-fg214 AT informatik.uni-kiel.de>, "PROCOS AT JISCMAIL.AC.UK" <PROCOS AT jiscmail.ac.uk>, "fmindia AT cmi.ac.in" <fmindia AT cmi.ac.in>, "EAPLS AT jiscmail.ac.uk" <EAPLS AT jiscmail.ac.uk>, "events AT fmeurope.org" <events AT fmeurope.org>, "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "ccl AT ps.uni-sb.de" <ccl AT ps.uni-sb.de>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>, "lprolog AT cs.umn.edu" <lprolog AT cs.umn.edu>, "lics AT comlab.ox.ac.uk" <lics AT comlab.ox.ac.uk>, "META-HEURISTICS AT JISCMAIL.AC.UK" <META-HEURISTICS AT jiscmail.ac.uk>, "MODERN-HEURISTICS AT JISCMAIL.AC.UK" <MODERN-HEURISTICS AT jiscmail.ac.uk>, "EVOLUTIONARY-COMPUTING AT JISCMAIL.AC.UK" <EVOLUTIONARY-COMPUTING AT jiscmail.ac.uk>, "aco-list AT iridia.ulb.ac.be" <aco-list AT iridia.ulb.ac.be>, "emo-list AT dei.uc.pt" <emo-list AT dei.uc.pt>, "ro AT poleia.lip6.fr" <ro AT poleia.lip6.fr>, "sma AT loria.fr" <sma AT loria.fr>, "asr-forum AT cines.fr" <asr-forum AT cines.fr>, "gotha AT cines.fr" <gotha AT cines.fr>, "ec-digest-l AT metis3.gmu.edu" <ec-digest-l AT metis3.gmu.edu>, "lnv AT mat.uc.pt" <lnv AT mat.uc.pt>, "jet AT inria.fr" <jet AT inria.fr>, "bull-i3 AT irit.fr" <bull-i3 AT irit.fr>
Cc: Saddek Bensalem <saddek.bensalem AT imag.fr>
Subject: [RV] PERSYVAL-Lab Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013
Date: Tue, 5 Feb 2013 14:58:01 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/rv/>
List-id: Runtime Verification and Monitoring <rv.cs.uiuc.edu>
Mailscanner-null-check: 1360677487.0514@lLMG0W1r7RQwlupYoFkeIg

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

Dear Colleagues,

IET ICT Labs and PERSYVAL-Lab (Pervasive systems and algorithms at the convergence of physical and digital worlds) Based on high-level research laboratories present at Grenoble in Mathematics, Computer Science, Automatic Control, Signal Processing, and Hardware Architecture, is organizing the 1st edition of the CPS Summer School.

This school will bring together some of the best lecturers from Europe and the USA, in a one week programme, and be a fantastic opportunity for interaction. It will be held in the campus of Grenoble University- France.

All details can be found at:

http://www-verimag.imag.fr/PERSYVAL-Lab-Summer-School-on.html?lang=en

Hard deadline for applications is May 1st 2013. Attendance is limited to 80, so we will be selecting amongst the candidates.

Registration fee is €350 for students, €650 for non-students, which includes lunches from Monday 8th through Friday 12th. The registration fee only partially covers the costs incurred. The remaining costs are covered by the EIT ICT Labs and PERSYVAL-Lab.

The programme will offer world-class courses and significant opportunities for interaction with leading researchers in the area of Cyber Physical Systems.

Best Regards,

Yliès

[RV] PERSYVAL-Lab Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013, Yliès Falcone, 02/05/2013