Design Automation Tools

Software tools for designing electronic systems.
forum

Visible to the public 2nd CFP: Rigorous System Design, MeTRiD workshop

Submitted by Anonymous on Wed, 11/08/2017 - 10:41am

2nd CALL FOR PAPERS - Deadline extended to 05 February 2018

1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018)

Thessaloniki, Greece | 15 April 2018 | https://project.inria.fr/metrid2018/

satellite workshop of ETAPS 2018

event

Visible to the public  ARCS 2018
Apr 09, 2018 7:00 am - Apr 12, 2018 6:00 pm CEST

Submitted by Anonymous on Thu, 10/05/2017 - 12:20pm

CALL FOR PAPERS, WORKSHOPS, & TUTORIALS

31st International Conference on Architecture of Computing Systems (ARC 2018)

April 09 -12, 2018 | Braunschweig, Germany at the Technical University of Braunschweig | http://arcs2018.itec.kit.edu/

forum

Visible to the public CfP: Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018)

Submitted by Anonymous on Fri, 09/22/2017 - 9:16am

CALL FOR PAPERS - Deadline October 15, 2017

Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018)

January 7, 2018 | Varanasi, India | https://sites.google.com/view/scc2018/home

in conjunction with The 19th International Conference on Distributed Computing and Networking (ICDCN 2018)

forum

Visible to the public CfP: Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018)

Submitted by Anonymous on Fri, 09/22/2017 - 9:13am

CALL FOR PAPERS - Deadline October 15, 2017

Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018)

January 7, 2018 | Varanasi, India | https://sites.google.com/view/scc2018/home

The 19th International Conference on Distributed Computing and Networking (ICDCN 2018), to be held between Jan 4-7, 2018 at IIT-BHU, Varanasi, India will have a workshop on Smart Cities: http://iitbhu.ac.in/ICDCN2018/

forum

Visible to the public CfP: Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018)

Submitted by Anonymous on Fri, 09/22/2017 - 9:13am

CALL FOR PAPERS - Deadline October 15, 2017

Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018)

January 7, 2018 | Varanasi, India | https://sites.google.com/view/scc2018/home

in conjunction with The 19th International Conference on Distributed Computing and Networking (ICDCN 2018)

project

Visible to the public CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security

Submitted by alberto@eecs.berk... on Thu, 09/21/2017 - 3:02pm
Project Details
Institution(s): 
University of California-Berkeley
Sponsor Award URL: 
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1739816
project

Visible to the public CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems

Submitted by Stephane Lafortune on Thu, 09/21/2017 - 2:27pm
Project Details
Institution(s): 
University of Michigan Ann Arbor
Sponsor Award URL: 
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1738103