Health Care

Applications of CPS technologies used in health care.
forum

Visible to the public CFP - Embedded Software Engineering Track (ESE) at SEAA 2015

Embedded Software Engineering (ESE) track

at 41th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA)

Funchal, Madeira, Portugal, August 26-28, 2015

http://paginas.fe.up.pt/~dsd-seaa-2015/seaa2015/call-for-papers-seaa-2015/ese-track/

IMPORTANT DATES:

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.

forum

Visible to the public ETFA 2015 - Call for Papers

Submission Deadline: March 15, 2015

CALL FOR REGULAR, SPECIAL SESSIONS, & WORK IN PROGRESS PAPERS

20th IEEE International Conference on Emerging Technologies & Factory Automation Luxembourg (ETFA 2015)

8-11 September 2015

Web site: http://www.etfa2015.org/

event

Visible to the public  ECYPS 2015
Jun 14, 2015 8:00 am - Jun 18, 2015 6:30 pm CEST

Cyber-physical systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The vision of smart systems connected and collaborating through various interfaces and communication media to form the global Internet of Things (IoT) is not a science-fiction anymore, but is quickly becoming an actual reality. The future smarter and more fit to use CPS will have important applications in virtually all economic and social segments, and their economic and societal impact will be enormous.

forum

Visible to the public 2nd CFP: 20th Intl. Symposium on Formal Methods (FM 2015), Oslo

Call for Papers: 20th International Symposium on Formal Methods

Oslo, Norway, June 22-26, 2015

http://fm2015.ifi.uio.no/

NEWS:

There will be special issues of the Journals

  • Acta Informatica
  • Formal Aspects of Computing

featuring selected papers from FM 2015.

IMPORTANT DATES: