Defense

Application of CPS technologies deployed in military contexts.
forum

Visible to the public NSF CPS Week 2015 Student Travel Support Grants

CPS Week 2015 (Seattle, WA, USA, April 13-16, 2015) has secured limited number funds for student travel support through the generous support of the National Science Foundation. It is anticipated that the each travel support grant will be $1,500.00. Travel support will be in the form of fixed stipend to help cover expenses such as conference registration, hotel/accommodations, transportation and airfare, and meals. Grantees are expected to leverage additional funds from their home institutions to cover remaining costs.

group

Visible to the public 2015 NSF Early-Career Investigators' Workshop on Cyber-Physical Systems in Smart Cities

License: 
Creative Commons 2.5
2015 NSF Early-Career Investigators' Workshop on Cyber-Physical Systems in Smart Cities

Seattle, WA / April 13-17, 2015

Background on CPS and Smart Cities

Cyber-physical systems (CPS) are engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components.

event

Visible to the public  SaFoMe 2015
Jun 22, 2015 8:00 am - 5:00 pm CEST

2nd International Workshop on Safety and Formal Methods

Overview

The SaFoMe workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, and lessons learned in the application of formal methods to safety certification, verification and/or validation in (but not limited to) component-based systems.

forum

Visible to the public SaFoMe 2015 - 1st Call for Papers (June 22,2015 -- co-located with FM2015)

2nd International Workshop on Safety and Formal Methods -- SaFoMe 2015

Co-located with FM 2015: 20th International Symposium on Formal Methods (http://fm2015.ifi.uio.no)

June 22-26, 2015 -- Oslo, Norway

Workshop will take place on June 22, 2015

Web: https://es-static.fbk.eu/events/safome15

For more information: tonettas[at]fbk[dot]eu and rj[dot]rodriguez[at]unileon[dot]es

IMPORTANT DATES