Design Automation Tools

Software tools for designing electronic systems.
event

Visible to the public  iFM 2014
Sep 09, 2014 8:00 am - Sep 11, 2014 5:00 pm CEST

11th International Conference on integrated Formal Methods, iFM 2014

Co-located with the 11th International Symposium on Formal Aspects of
Component Software, FACS 2014

event

Visible to the public  FACS 2014
Sep 10, 2014 8:00 am - Sep 12, 2014 5:00 pm CEST

The 11th International Symposium on Formal Adspects of Comonent Software

Co-located with iFM 2014: The 11th International Conference on Integrated Formal Methods
Component-based software development is a paradigm that has been proposing sound engineering principles and techniques for coping with the complexity of software-intensive systems.
forum

Visible to the public CfP: Integrated Formal Methods 2014

**********************************************************************

11th International Conference on integrated Formal Methods, iFM 2014

Co-located with the 11th International Symposium on Formal Aspects of
Component Software, FACS 2014

September 9 - 12, 2014 - Bertinoro, Italy
http://ifm2014.cs.unibo.it

**********************************************************************

IMPORTANT DATES

forum

Visible to the public CfP: Factory Automation Track at IEEE INDIN 2014

CALL FOR PAPERS
12th IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS
INDIN 2014

PORTO ALEGRE, BRAZIL
JULY 27-30 2014

* TRACK 5: FACTORY AUTOMATION*

Thomas Bangemann - Ifak - DE
Lucia Lo Bello - University of Catania - IT
Niels Lohse - University of Nottinghn - UK

IEEE INDIN is the premier conference series presenting the state of the art
and future perspectives of industrial information technologies, where
industry experts, researchers, and academics share ideas and experiences

event

Visible to the public  SETS 2104
Jun 02, 2014 8:00 am - 5:00 pm CEST

1st International Workshop about Sets and Tools (SETS 2014)

Affiliated to ABZ 2014

forum

Visible to the public 2nd CfP: SETS 2014

--------------------------------------------------------------------------------

CALL FOR PAPERS -- SETS 2014

********************************************************************************
1st International Workshop about Sets and Tools (SETS 2014)
June 2, 2014, Toulouse, France
Affiliated to ABZ 2014
http://sets2014.cnam.fr/
********************************************************************************

AIM

forum

Visible to the public CfP: Special Session on Design of Cyber-Physical Systems at the Euromicro Conference on Digital System Design 2014

------------------------------------------------------------------------------------------------------------

CALL FOR PAPERS

SPECIAL SESSION ON DESIGN OF CYBER-PHYSICAL SYSTEMS (DCPS)

17th Euromicro Conference on Digital System Design,

in Verona, Italy, August 27-29, 2014.

------------------------------------------------------------------------------------------------------------