Design Automation Tools

Software tools for designing electronic systems.
forum

Visible to the public Call for Papers: FormaliSE 2015

Submitted by Anonymous on Tue, 12/23/2014 - 12:21pm

3rd FME Workshop on Formal Methods in Software Engineering
to be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th), in Florence, Italy
http://www.formalise.org/

event

Visible to the public  SETTA 2015
Nov 04, 2015 8:00 am - Nov 06, 2015 7:15 pm CST

Submitted by Anonymous on Mon, 12/22/2014 - 6:14pm

The Symposium on Dependable Software Engineering: Theories, Tools and Applications will be held November 4-6, 2015 at Nanjing University.

forum

Visible to the public Call for Papers SETTA 2015

Submitted by Anonymous on Mon, 12/22/2014 - 6:09pm

Symposium on Dependable Software Engineering: Theories, Tools and Applications

Nanjing University | November 4-6, 2015

IMPORTANT DATES

  • June 12,2015 Abstracts
  • June 19,2015 Submission of papers
  • August 21,2015 Notification to authors
  • September 4,2015 Camera-ready versions

KEYNOTE SPEAKERS

forum

Visible to the public CfP: ECYPS’2015:3rd EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems

Submitted by Anonymous on Mon, 12/22/2014 - 5:17pm

On behalf of the Scientific and Organizing Committees it is our great pleasure to invite you to Budva, an exceptional place on the Mediterranean See coast of Montenegro, to participate in:

  • MECO'2015: 4th Mediterranean Conference on Embedded Computing, and
  • ECYPS'2015: 3rd EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems

MECO'2015 covers a broad area of modeling, analysis, design, validation and application of embedded computing systems.

forum

Visible to the public CfP :The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)

Submitted by Anonymous on Mon, 12/22/2014 - 5:10pm

The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)

http://satoss.uni.lu/sacps2015

in conjunction with ANT-2015 conference

June 2 - 5, 2015 London, UK

SCOPE

event

Visible to the public  FMICS 2015
Jun 22, 2015 8:00 am - Jun 23, 2015 6:00 pm CEST

Submitted by Anonymous on Mon, 12/22/2014 - 5:04pm

The 20th International Workshop on Formal Methods for Industrial Critical Systems will be held in co-location with FM 2015: 20th International Symposium on Formal Methods 22-23 June 2015 in Oslo, Norway

forum

Visible to the public CfP: FMICS'15: 20th International Workshop on Formal Methods forIndustrial Critical Systems

Submitted by Anonymous on Mon, 12/22/2014 - 4:59pm

FIRST CALL FOR PAPERS

FMICS 2015
20th International Workshop on
Formal Methods for Industrial Critical Systems
(http://fmics2015.org/)

22-23 June 2015, Oslo, Norway

In co-location with FM 2015: 20th International Symposium on Formal Methods

forum

Visible to the public Registration Open - OpenModelica/MODPROD Workshops Febr 2015 Attachments:

Submitted by Anonymous on Mon, 12/22/2014 - 3:38pm

Registration Open - OpenModelica/MODPROD Workshops Febr 2015

Location: Linkoping University, Linkoping, Sweden

  • 9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015
  • 7th OpenModelica Annual Workshop, February 2, 2015

Special theme for this year: Open Source

Keynote for OpenModelica'2015 workshop:

forum

Visible to the public 2nd CFP: 20th Intl. Symposium on Formal Methods (FM 2015), Oslo

Submitted by Anonymous on Tue, 12/09/2014 - 12:59pm

Call for Papers: 20th International Symposium on Formal Methods

Oslo, Norway, June 22-26, 2015

http://fm2015.ifi.uio.no/

NEWS:

There will be special issues of the Journals

  • Acta Informatica
  • Formal Aspects of Computing

featuring selected papers from FM 2015.

IMPORTANT DATES: