Forum on specification and Design Languages FDL 2012

From: Ernst Christen <christen.1858@comcast.net>
Date: Thu Mar 15 2012 - 12:08:54 PDT

Below please find some information about the Forum on specification and Design Languages FDL 2012, an event where work on and with design languages is being presented and discussed. I am sorry if you receive this information multiple times.

Ernst Christen

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

The Forum on specification and Design Languages FDL 2012 takes place in
Vienna this year from September 18 to 20. Topics are

* Assertion Based Design, Verification & Debug
* Language-Based System Design
* Embedded Analog and Mixed-Signal System Design
* UML and MDE for Embedded System Specification & Design

Topics of interest include specification, modeling, simulation,
(symbolic) analysis, verification, design, (virtual) prototyping, and
synthesis of analogue, mixed-signal, and mixed-technology systems,
wireless sensor nets, and cyber physical systems. Focus of contributions
should be on languages, models, representations, and tools such as
VHDL-AMS, SystemC-AMS, Modelica, Matlab/Simulink, etc. The Embedded
Analog and Mixed-Signal System Design Thematic Area (EAMS TA) aims at
presenting research activities, design experiences, and standardization
issues related to these topics.

The Call for Paper can be found via
http://www.ecsi.org/sites/default/files/PDF/FDL2012%20CfP.pdf

and more general information via
http://www.ecsi.org/fdl

Deadline for paper submission is April 2, 2012. Final versions of
accepted papers are expected by July 30, 2012.

General Chair FDL 2012 is Jan Haase (Vienna University of Technology)
haase@ict.tuwien.ac.at
https://www.ict.tuwien.ac.at/mitarbeiter/haase

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
To unsubscribe to the vhdl-ams mailing list:
mailto:Majordomo@eda.org?subject=Unsubscribe&body=unsubscribe%20vhdl-ams
Received on Thu Mar 15 12:10:46 2012

This archive was generated by hypermail 2.1.8 : Thu Mar 15 2012 - 12:11:32 PDT