Design Automation Tools

Software tools for designing electronic systems.
forum

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

Submitted by Katie Dey on Thu, 02/07/2019 - 11:59am

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

Submitted by Anonymous on Thu, 01/17/2019 - 10:58am

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

Submitted by akarns on Mon, 10/08/2018 - 9:43am

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.

Submitted by boulouk on Mon, 08/27/2018 - 3:58pm

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