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.

The 5th International Workshop on Product LinE Approaches in Software Engineering will be held in conjunction with the 37th International Conference on Software Engineering (ICSE 2015) on May 19, 2015

6th International Conference on Ambient Systems, Networks and Technologies in conjunction with the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015).

45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.

The Global City Teams Challenge (GCTC) was successfully launched by the National Institute of Standards and Technology (NIST) and US Ignite with a kick-off event at NIST on September 29-30. At this two day event, we had more than 350 on-site and remote attendees who came together to present project ideas and form Action Clusters on cyber-physical systems (CPS) and Internet of Things (IoT) for smart cities around the world. As of today, we have over 25 Action Clusters formed in energy, transportation, healthcare, disaster response, and many other sectors, working to demonstrate the deployments of scalable, replicable, and interoperable smart city solutions by June 2015. A current list of Action Clusters can be found at globalcityteams.org.

We are excited to announce that the National Science Foundation (NSF), one of the primary partners in the Challenge, has released an invitation to GCTC participants to submit proposals for up to $300,000 in funding. Detailed information about NSF's Early-Concept Grants for Exploratory Research (EAGER) proposals to support GCTC participants can be found here: http://1.usa.gov/1Eu2jwN

The deadline for submission of EAGERs is January 15, 2015, but earlier submissions are encouraged, and decisions will be made on a first-come, first-serve basis.

Additionally, NSF released a solicitation that makes available up to $4 million for the development of next-generation Internet applications. Many projects being pursued by GCTC participants are aligned with the NSF's solicitation, as it identifies national priorities including clean energy, transportation, health information technology, public safety/emergency preparedness, cyberlearning, and/or advanced manufacturing.

More detailed information can be found here: NSF 15-508. Application for this solicitation are also due January 15.

Of course, if you have not yet connected your CPS project or your next-generation network/IoT project with the Global City Teams Challenge, it is not too late!

LEARN MORE ABOUT NSF FUNDING OPPORTUNITIES:

US Ignite will host a webinar on Monday. November 17th at 3pm (US-Eastern) that will provide insights into the application process and outline the benefits of being a GCTC participant.

WEBINAR DETAILS:
Date: Monday, November 17, 2014
Time: 3:00PM Eastern
Log-in Information:
https://global.gotomeeting.com/join/765269669
Via Phone: Dial +1 (872) 240-3212
Access Code: 765-269-669

CONNECT YOUR PROJECT TO THE GLOBAL CITY TEAMS CHALLENGE:
Sign-up on US Ignite's Collaborative Community Exchange (CCX) on behalf of your organization
Explore our existing Action Clusters on US Ignite's Collaborative Community Exchange (CCX) and join one by reaching out to the project contact
Add your Action Cluster idea, and highlight the type of partners that will strengthen your project
Contact the organizers of the Challenge to discuss the steps to register your Action Cluster to GCTC.
We are very excited at the progress all the teams are making so far, and would love to see more Action Clusters stand up around the world. Please don't hesitate to let us know if you have any questions. We are here to help make your GCTC project a great success.

Thank you for your continued interest in the Global City Teams Challenge.

Joe Kochan
US Ignite

General Announcement

Not in Slideshow

EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015 Organized by the Euromicro Technical Committee on Real-Time Systems Conference web site: ecrts15.ecrts.org THEME AND TOPICS OF INTEREST ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.

The 12th IEEE International Conference on Embedded Software and Systems Co-located with HPCC 2015 and CSS 2015 *IMPORTANT DATES*

The 18th IEEE International Symposium On Real-Time Computing (ISORC 2015) Scope and Topics of Interest ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. We invite original submissions from academia and industry pertaining to all aspects of ORC technology. These include, but are not limited to:

10th IEEE Symposium on Industrial Embedded Systems - SIES 2015 University of Siegen Conference web site:    www.sies2015.com Submission system:      https://easychair.org/conferences/?conf=sies2015

The Fourth IFIP Conference on Sustainable Internet and ICT for Sustainability           April 14-15, 2015 Madrid, Spain Sponsored by the IFIP TC6 WG 6.3, Performance of Communication Systems Technically co-sponsored by IEEE Computer Society Technical Committee on Computer Communications (TCCC) - Approval pending Paper Registration Deadline --- DECEMBER 05, 2014 The best paper presented at the conference will receive a Best Paper Award.