Design Automation Tools

Software tools for designing electronic systems.
forum

Visible to the public Extended Deadline: MeTRiD 2019 (ETAPS 2019 satellite workshop)

Papers submission: 11 February 2019 (extended)

CALL FOR PAPERS

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