Design Automation Tools

Software tools for designing electronic systems.
forum

Visible to the public SCOPES 2015 - Call For Papers

18th International Workshop on Software and Compilers for Embedded Systems

June 1-3, 2015
Schloss Rheinfels, St. Goar, Germany

http://www.scopesconf.org

A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized in 2015. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA.

event

Visible to the public  IST-AWSN'15
Jun 02, 2015 8:00 am - Jun 05, 2015 5:00 pm BST

10th International Symposium on Intelligent Techniques for Ad hoc and Wireless Sensor Networks

IST-AWSN'15 will be held in conjunction with the 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015) in London, United Kingdom, June 2-5, 2015.

forum

Visible to the public FORTE 2015: last Call for Papers

FORTE 2015
A DisCoTec Member Conference

35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems

discotec2015.inria.fr/

taking place on June 2-4, 2015 in Grenoble, France

event

Visible to the public  NOCS 2015
Sep 28, 2015 8:00 am - Sep 30, 2015 5:00 pm PDT

The 9th IEEE/ACM International Symposium on Networks-on-Chip (NOCS 2015) will be held September 28 - 30, 2015 in Vancouver, Canada

event

Visible to the public  LCTES 2015
Jun 18, 2015 8:00 am - Jun 19, 2015 5:00 pm PDT

The ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems will be held on June 18 and 19 as part of the FCRC 2015 (Federated Computing Research Conference 2015) in Portland, Oregon, USA. This will be the sixteenth conference in the LCTES series.

forum

Visible to the public  LCTES 2015: First CFP

First Call for Papers

LCTES 2015: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems

LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact.

event

Visible to the public  FormaliSE 2015
May 18, 2015 8:00 am - 5:00 pm CEST

3rd FME Workshop on Formal Methods in Software Engineering will be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th)