Manufacturing

Applications of CPS technologies used in manufacturing.
forum

Visible to the public F-IDE 2015: Call for papers (FM2015 Workshop)

The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015)

22 June 2015, Oslo, Norway | http://www.eecs.qmul.ac.uk/~masci/fide2015

OVERVIEW

The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015) will be held in Oslo, Norway, in June, 2015.

forum

Visible to the public FORMATS 2015 - First Call for Papers

FORMATS 2015 - 13th International Conference on Formal Modeling and Analysis of Timed Systems

http://formats2015.unifi.it

Objective

event

Visible to the public  WATERS '15
Jul 07, 2015 8:00 am - 5:00 pm CEST

International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems

The goal of the International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) is to create a common ground and a community to share methodologies, software tools, best practices, data sets, application models, benchmarks and any other way to improve comparability of results in the current practice of research in real-time and embedded systems.

forum

Visible to the public CfP: WATERS 2015: 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems

6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'15)

http://waters2015.inria.fr
July 7, 2015 in Lund, Sweden
In conjunction with ECRTS'15

The goal of the WATERS workshop series is to create a common ground and a community to share methodologies, software tools, best practices, data sets, application models, benchmarks and any other way to improve comparability of results in the current practice of research in real-time and embedded systems.

forum

Visible to the public WearSys 2015 call for papers

Workshop on Wearable Systems and Applications (WearSys 2015)

To be held in conjunction with MobiSys 2015 at Florence, Italy

forum

Visible to the public WearSys 2015 call for poster and demo

Workshop on Wearable Systems and Applications (WearSys 2015)

To be held in conjunction with MobiSys 2015 at Florence, Italy

forum

Visible to the public WearSys 2015 call for poster and demo

Workshop on Wearable Systems and Applications (WearSys 2015)

To be held in conjunction with MobiSys 2015 at Florence, Italy

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.

forum

Visible to the public Deadline Extension for FM'15 Industry Submissions

FM 2015 Industry Track

as part of the 20th International Symposium on Formal Methods | Oslo, Norway, June 22-26, 2015

http://fm2015.ifi.uio.no/fm2015-industry-track/

IMPORTANT DATES:

  • Feb 15, 2015: Industry Track Submission:
  • March 13, 2015: Industry Track Notification
  • June 22 - 26, 2015: Main Conference

CALL FOR INDUSTRY TRACK PAPERS