[TYPES/announce] [Deadline November 11th - Extended] Apply to Attend: CPS V&V Industrial Challenges & Foundations workshop held at Carnegie Mellon, Dec 11-12

[Sarah Loos]

[Deadline to apply: *November 11th *(extended from November 4th)]

About:
*CPS Verification and **Validation Industrial Challenges & Foundations
(CPS V&V IC&F) is* a two-day workshop for CPS V&V experts in
Industry and Academia.  The workshop will take place on the Carnegie Mellon
University campus, December 11-12.  The purpose of this NSF-sponsored
workshop is to make academic solutions meet industrial challenges with the
goal of identifying the most important present and future foundational
challenges in CPS V&V.  Full details can be found here:
*http://www.ls.cs.cmu.edu/CPSVVIF/
<http://www.ls.cs.cmu.edu/CPSVVIF/>*

Inspired by the successes of the one-day *Industry Workshop on Verification
of Embedded Control Systems* hosted by the CMACS NSF Expedition in
Computing at CMU in 2011, we have decided to extend the workshop to a wider
audience of academics and have a greater focus on identifying the
foundational challenges facing CPS in the future.  The workshop will give
participants the opportunity to share the most important core
ideas and challenges in CPS and invite an open collaborative discussion to
identify the most pressing issues at hand in CPS verification and validation.


Apply:
This workshop is a great opportunity for senior grad
students and postdocs to make industry and academic connections and
for junior grad students to get a broader picture of the CPS community, the
major challenges we face, and the role of academia in cutting
edge V&V research. We encourage grad students and postdocs to apply to
attend CPS V&V IC&F.  The NSF has provided limited travel funds to support
student attendance.  Students must submit an application to attend the
workshop by *November 11th* (applications can be submitted here:
*http://www.ls.cs.cmu.edu/CPSVVIF/Apply.html
<http://www.ls.cs.cmu.edu/CPSVVIF/Apply.html>*).

Industry Participation and Competition:
The workshop will follow a competition for CMU undergraduate students,
*The CPS V&V Grand
Prix,* which will be judged by industry experts from a variety
of CPS and verification domains: Bosch, MapleSoft, Toyota, Reactive
Systems, MathWorks, Intel, GM, and Google.  The competition will be held on
the evening of December 10th.  For more information, see
*http://www.ls.cs.cmu.edu/
<http://www.ls.cs.cmu.edu/CPSVVIF/GrandPrix.html>*
*CPSVVIF/GrandPrix.html <http://www.ls.cs.cmu.edu/CPSVVIF/GrandPrix.html>*

Steering Committee:
Bruce Krogh (*krogh at ece.cmu.edu <krogh at ece.cmu.edu>*)
Sarah Loos (*sloos at cs.cmu.edu <sloos at cs.cmu.edu>*)
André Platzer (*aplatzer at cs.cmu.edu <aplatzer at cs.cmu.edu>*)
Scott Smolka (*sas at cs.sunysb.edu <sas at cs.sunysb.edu>*)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20141106/93f94dc4/attachment-0001.html>