Design Automation Tools

Software tools for designing electronic systems.
event

Visible to the public  ATVA 2019
Oct 28, 2019 7:00 am - Oct 30, 2019 6:00 pm CST

17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)

ATVA 2019 is the 17th in a series of symposia dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis by providing a forum for interaction between local and international research communities and industry in the field.

event

Visible to the public  ACM HSCC 2019
Apr 16, 2019 7:00 am - Apr 18, 2019 6:00 pm EDT

22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)

Part of CPS-IoT Week 2019

Scope

forum

Visible to the public CFP - (ARM): 17th Workshop on Adaptive and Reflexive Middleware, Rennes, France, December 10-14, 2018.

17th Workshop on Adaptive and Reflexive Middleware (ARM 2018)

http://cedric.cnam.fr/arm

Theme of 2018: "Smart and Connected Communities for Environmental Challenges"

Rennes, France, December 10-14, 2018.

in conjunction with The ACM/IFIP/USENIX Middleware conference

ARM 2018 CFP

forum

Visible to the public Multiple PhD positions in CPS cyber-security and robotics at UVA

Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).

Research areas:

forum

Visible to the public CfP: Future of Information and Communication Conference (FICC) 2019

CALL FOR PAPERS

Future of Information and Communication Conference (FICC) 2019

14-15 March, 2019 | San Francisco, CA | http://saiconference.com/FICC2019

FICC 2019 aims to provide a forum for researchers from both academia and industry to share their latest research contributions and exchange knowledge with the common goal of shaping the future of Information and Communication.

ABOUT FICC 2019