Design Automation Tools

Software tools for designing electronic systems.
forum

Visible to the public ISLPED Low Power Design Contest (Extended Deadline, April 15th)

ACM/IEEE INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN

The International Symposium on Low Power Electronics and Design (ISLPED) is the premier forum for presentation
of innovative research in all aspects of low power electronics and design, ranging from process technologies and
analog/digital circuits, simulation and synthesis tools, system-level design and optimization, to system software
and applications.

Sapienza University of Rome, Italy; July 22-24, 2015

event

Visible to the public  CyPhy'15
Oct 08, 2015 8:00 am - 5:00 pm CEST

The Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15)

(Held in conjunction with ESWEEK 2015)

forum

Visible to the public CfP: LOPSTR 2015 - Deadline extended: May 2

25th International Symposium on Logic-Based Program Synthesis and Transformation

Co-located with PPDP 2015

Special Issue of Formal Aspects of Computing
http://alpha.diism.unisi.it/lopstr15/
University of Siena, Siena, IT, July 13-15, 2015

EXTENDED DEADLINES
Abstract submission: April 26, 2015
Paper/Extended abstract submission: May 2, 2015

forum

Visible to the public USE'15 CfP deadline extension to April 10th, (colocated with FM2015) :1st workshop on Usages of Symbolic Execution

1st workshop on Usages of Symbolic Execution USE'15

co-located with FM'15

23 June 2015, Olso, Norway | http://perso.ecp.fr/~gallp/Workshop_USE.html

Important Dates

event

Visible to the public  VL/HCC 2015
Oct 18, 2015 8:00 am - Oct 22, 2015 5:00 pm EDT

VL/HCC 2015 - IEEE Symposium on Visual Languages and Human-Centric Computing

October 18-22, 2015 | Atlanta, Georgia, USA

We are pleased to invite you to submit papers to the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), to be held in Atlanta, Georgia, USA at the Georgia Tech Hotel & Conference Center, October 18-22, 2015.

SCOPE AND TOPICS

forum

Visible to the public Final CFP: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2015)

VL/HCC 2015 - IEEE Symposium on Visual Languages and Human-Centric Computing

October 18-22, 2015 | Atlanta, Georgia, USA

We are pleased to invite you to submit papers to the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), to be held in Atlanta, Georgia, USA at the Georgia Tech Hotel & Conference Center, October 18-22, 2015.

SCOPE AND TOPICS

event

Visible to the public  DMCC 2015
Jul 20, 2015 8:00 am - Jul 24, 2015 5:00 pm CEST

The 7th International Workshop on Dependable Many-Core Computing (DMCC 2015)

As part of The International Conference on High Performance Computing & Simulation (HPCS 2015)
http://hpcs2015.cisedu.info or http://cisedu.us/rp/hpcs15

July 20 - July 24, 2015 | The Hilton Amsterdam Hotel | Amsterdam, The Netherlands

forum

Visible to the public Call for Papers: 7th International Workshop on Dependable Many-Core Computing (DMCC 2015)

The 7th International Workshop on Dependable Many-Core Computing (DMCC 2015)

As part of The International Conference on High Performance Computing & Simulation (HPCS 2015)
http://hpcs2015.cisedu.info or http://cisedu.us/rp/hpcs15

July 20 - July 24, 2015 | The Hilton Amsterdam Hotel | Amsterdam, The Netherlands

forum

Visible to the public FMSEET15 - Last Call for Papers - Deadline Extension to April 7th, 2015

The 1st Formal Methods in Software Engineering Education and Training Workshop (FMSEET 2015)

Co-Located with FM 2015

June 23rd, 2015, Oslo, Norway | http://fmseet.aau.at