Design Automation Tools

Software tools for designing electronic systems.
forum

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

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

Project Details
Institution(s): 
University of California-Berkeley
project

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

Project Details
Institution(s): 
University of Michigan Ann Arbor
event

Visible to the public  ARC 2018
May 02, 2018 7:00 am - May 04, 2018 6:00 pm EEST

14th International Symposium on Applied Reconfigurable Computing (ARC 2018)

Reconfigurable computing technologies offer the promise of substantial performance gains over traditional architectures via customizing, even at runtime, the topology of the underlying architecture to match the specific needs of a given application. Contemporary configurable architectures allow for the definition of architectures with functional and storage units that match in function, bit-width and control structures the specific needs of a given computation.

event

Visible to the public  CITE 2017
Oct 23, 2017 7:00 am - Oct 25, 2017 6:45 pm JST

The 8th International Conference on Information Technology in Education (CITE 2017)

Special tracks within the Conference on Creative Education (CCE 2017). The main objective of CITE 2017 is to provide a platform for researchers, engineers and academicians from all over the world to present their research results and development activities on Information Technology in Education.

forum

Visible to the public CfP: 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT'2017)

CALL FOR PAPERS

8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT'2017)

Munich, Germany | December 1, 2017 | http://www.eoolt.org/2017/

All accepted papers will be published in the Scopus-indexed ACM Digital Library.

Important dates:

event

Visible to the public  EOOLT 2017
Dec 01, 2017 7:00 am - 6:00 pm CET

December 1, 2017 | Munich, Germany

Many engineers rely heavily on model-based design and control of complex cyber-physical systems. Of paramount importance is the ability to capture all central aspects of such systems in the models, including the physical behavior of the system components and the architecture description of its software and hardware.

forum

Visible to the public CfP: SBMF 2017 - Deadline extension

CALL FOR PAPERS

20th Brazilian Symposium on Formal Methods (SBMF)

27th of November to 1st of December, 2017 | Recife, Pernambuco, Brazil | http://www.sbc.org.br/sbmf2017

IMPORTANT DATES