FDL: Forum on specification and Design Languages

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
FDL 2018 Forum on specification and Design Languages
Sep 10, 2018 - Sep 12, 2018 Munich, Germany Apr 28, 2018 (Apr 21, 2018)
FDL 2016 Forum on specification & Design Languages
Sep 14, 2016 - Sep 16, 2016 Bremen, Germany May 3, 2016 (Apr 26, 2016)
FDL 2014 Forum on specification and Design Languages
Oct 14, 2014 - Oct 16, 2014 Munich, Germany May 5, 2014
FDL 2013 Forum on specification and Design Languages
Sep 24, 2013 - Sep 26, 2013 Paris, France May 22, 2013
FDL 2012 Forum on Specification & Design Languages
Sep 18, 2012 - Sep 20, 2012 Vienna, Austria Apr 2, 2012
FDL 2011 Forum on Specification & Design Languages
Sep 13, 2011 - Sep 15, 2011 Oldenburg, Germany May 1, 2011
FDL 2008 Forum on Specification, Verification & Design Languages
Sep 23, 2008 - Sep 25, 2008 Stuttgart, Germany Mar 31, 2008
 
 

Present CFP : 2018

FDL is an international forum to exchange experiences and promote new trends in the application of languages, their associated design methods, and tools for the design of electronic systems. FDL stimulates scientific and controversial discussions within and in-between scientific topics as described below. The program structure includes original research sessions, tutorials, panels, and technical discussions, as well as standardization meetings. Furthermore, “Wild and Crazy Ideas” are welcome.

For all of these tracks, electronic systems of interest to FDL include (but once again are not limited to) those that are used in Internet of Things (IoT), Cyber-Physical Systems (CPS), mixed criticality embedded systems, automated driving and driver assistance, real-time systems, reconfigurable and secure computing.

We welcome authors to submit manuscripts on topics including, but not limited to:


Language- and Formalism-Based Design Methodologies

This track seeks novel research contributions that employ languages and formalisms in the design, test, verification, and simulation of modern day electronic systems. These contributions may consist of (but are not limited to) the use of requirements and property specifications, models of computations, automata, networks, model and component-based design, platform modeling and abstraction, and system-level design languages, including synchronous languages and formalisms for the emerging quantum computing. Moreover, we encourage contributions on the design of new and disruptive languages.

Techniques for Modern Architectures and Applications

This track seeks research contributions demonstrating effective techniques for system design involving modern approaches such as machine learning and its verification, as well as modern computing architectures such as energy-efficient computing, accelerators including GPUs and FPGAs, and IoT applications for the design and verification of electronic systems. Examples may include (but are not limited to) parallel simulation, compilers with support for multi/many-core and heterogeneous architectures, high-level hardware and software synthesis, virtual prototyping, and design space exploration.

Tools, Flows and Industry-Relevant Applications

This track solicits contributions that present authors' experiences in designing applications that are relevant to electronic systems industries. The contributions should focus on applications that identify valuable design, test, simulation and verification practices for applications of the future. The contributions may also demonstrate effective use of tools for successfully developing industry-relevant
applications
 

Related Resources

ASPLOS 2019   Architectural Support for Programming Languages and Operating Systems
CAV 2019   31st International Conference on Computer-Aided Verification
PLDI 2019   Programming Language Design and Implementation
DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
WF-IoT 2019   IEEE 5th World Forum on Internet of Things
FM 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
(RMEG-March-2019) 2019   2nd International Forum on Recent Advances in Management, E Commerce, Global Economy and Social Sciences (RMEG-March-2019) Tokyo, Japan
Ei/Scopus-CSMO 2019   2019 3rd International Conference on Simulation, Modeling and Optimization (CSMO 2019)
CLEF 2019   CLEF 2019 | Conference and Labs of the Evaluation Forum
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering