CPS Domains

The terms denote engineering domains that have high CPS content.
event

Visible to the public  SCOPE 2017
Apr 21, 2017 7:00 am - 6:00 pm EDT

Second International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE)

in partnership with Global City Teams Challenge (GCTC) - SCOPE 2017 with GCTC

April 21, 2017, Pittsburg, PA (Co-located with CPS Week)

Workshop URL: http://cps-vo.org/group/SCOPE-17/

forum

Visible to the public IEEE IECON 2017 Call for papers - Deadline Extended to April 30

CALL FOR PAPERS - Deadline Extended to April 30

event

Visible to the public  IECON 2017
Oct 29, 2017 7:00 am - Nov 01, 2017 6:00 pm HKT

2017 43rd Annual Conference of IEEE Industrial Electronics Society (IECON2017)

IECON2017 focuses on industrial and manufacturing theory and applications of electronics, controls, communications, instrumentation, and computational intelligence. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science, technology and fellowship.

event

Visible to the public  ACSD 2017
Jun 28, 2017 7:00 am - Jun 30, 2017 6:00 pm CEST

17th International Conference on Application of Concurrency to System Design (ACSD 2017)


CONFERENCE SCOPE

The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behaviour. In particular, the following topics are of interest:

* Formal models of computation and concurrency for the above systems and

page

Visible to the public Sixth International Workshop on Cyber Physical Systems (IWoCPS-2017)

Sixth International Workshop on Cyber Physical Systems (IWoCPS-2017)

in conjunction with

21th International Conference on Control Systems and Computer Science CSCS 21
29-31 May 2017, Faculty of Automatic Control and Computers,
University Politehnica of Bucharest, Romania
http://iwocps.hpc.pub.ro

forum

Visible to the public Funded PhD Positions in Runtime Verification and Model Checking at Iowa State University

Funded PhD Assistantships - Laboratory for Temporal Logic in Aerospace

Iowa State University of Science and Technology, Ames, Iowa, USA
http://laboratory.temporallogic.org/home-page/phd_2017/

The Iowa State University of Science and Technology offers multiple fully-funded
PhD positions, commencing in either May or August, 2017, and associated
with the Laboratory for Temporal Logic (Departments of Aerospace Engineering and
Computer Science):

http://laboratory.temporallogic.org