Design Automation Tools

Software tools for designing electronic systems.
event

Visible to the public  TERMGRAPH 2016
Apr 08, 2016 7:00 am - 6:00 pm CEST

Submitted by Anonymous on Thu, 12/17/2015 - 4:49pm

CALL FOR PAPERS

9th International Workshop on Computing with Terms and Graphs
(TERMGRAPH 2016)

a Satellite Event of ETAPS 2016

Background

forum

Visible to the public Call for participation: ERTS 2016

Submitted by Anonymous on Thu, 12/17/2015 - 4:20pm

ERTS 2016 - EMBEDDED REAL TIME SOFTWARE AND SYSTEMS

January 27th - 29th 2016 | Toulouse - France | http://www.erts2016.org

The Organizing Committee along with the Technical Committee are pleased to announce that ERTS 2016 programme is now available on the conference website www.erts2016.org

6 main topics which gather over 60 presentations

event

Visible to the public  FM 2016
Nov 07, 2016 7:00 am - Nov 11, 2016 6:00 pm EET

Submitted by Anonymous on Thu, 12/17/2015 - 4:13pm

FM 2016: 21st International Symposium on Formal Methods

FM 2016 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work.

forum

Visible to the public CfP: 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (CPSWeek 2016)

Submitted by Anonymous on Tue, 12/08/2015 - 1:07pm

CALL FOR PAPERS

2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2016)

Affiliated with CPSWeek 2016

April 11th, 2016, Vienna, Austria | https://snr2016.pages.ist.ac.at/

Important Dates

  • Submissions deadline: January 20, 2016
  • Notification: March 09, 2016
  • Final version: March 16, 2016
  • Workshop date: April 11, 2016

Scope

forum

Visible to the public ICAC 2016 2nd Call-for-Papers

Submitted by Anonymous on Wed, 11/18/2015 - 5:16pm

2ND CALL FOR PAPERS

13th IEEE International Conference on Autonomic Computing (ICAC 2016)

Wuerzburg, Germany, July 19-22, 2016 | http://icac2016.uni-wuerzburg.de/

In cooperation with USENIX and SPEC

CONFERENCE PATRONS
SAP, Huawei, Hewlett Packard Enterprise, Google, Microsoft

WORKSHOPS