Applications of CPS technologies used in health care.
event
Submitted by Anonymous on Tue, 10/15/2013 - 4:46pm
FM 2014 is the nineteenth in a series of symposia organized by
Formal Methods Europe, an independent association whose aim is
forum
Submitted by Anonymous on Tue, 10/15/2013 - 3:16pm
ACM TECS Call for Papers for the Special Issue on
Application of Concurrency to System Design
Concurrent computing systems were investigated by scientists
since early 1960s. Many formal methods were introduced for
their specification and verification, for example: Petri
nets, process algebras (CCS, CSP, pi-calculus), VDM++, etc.
These formal models were employed in many application areas,
where concurrency played an important role: electronic circuits,
event
Submitted by Anonymous on Tue, 10/15/2013 - 2:49pm
The International Conference on Information Processing in Sensor Networks (IPSN) is a leading, single-track, annual forum on research in networked sensing and control, broadly defined. IPSN brings together researchers from academia, industry, and government to present and discuss recent advances in both theoretical and experimental research.
forum
Submitted by Anonymous on Tue, 10/15/2013 - 2:45pm
forum
Submitted by Anonymous on Mon, 10/07/2013 - 2:34pm
Cyber-Physical Systems Week (CPSweek) 2014
-- Call for Workshops and Call for Tutorials --
CPSweek is the meeting point for leading researchers in the thriving area of cyber-physical systems. Topics of CPSweek cover a large range of scientific areas, spanning topics from computer science, physics, embedded systems, electrical engineering, control theory, as well as application disciplines such as systems biology, robotics, and medicine, to name just a few.
forum
Submitted by Anonymous on Mon, 10/07/2013 - 2:28pm
HSCC 2014
17th International Conference on Hybrid Systems: Computation and Control
April 15-17, 2014
Berlin, Germany
URL: hscc-conference.org
Important dates:
Submission deadline: October 14, 2013.
Rebuttal phase: November 27-December 2, 2013.
Author notification: December 17, 2013.
Camera-ready submission: February 3, 2014
Conference dates: April 15-17, 2014
Conference Scope:
