posted by organizer: fdl || 2989 views || tracked by 8 users: [display]

FDL 2018 : Forum on specification and Design Languages

FacebookTwitterLinkedInGoogle


Conference Series : Forum on specification and Design Languages
 
Link: http://fdl-conference.org/
 
When Sep 10, 2018 - Sep 12, 2018
Where Munich, Germany
Abstract Registration Due Apr 21, 2018
Submission Deadline Apr 28, 2018
Notification Due Jun 26, 2018
Final Version Due Jul 21, 2018
Categories    design languages   formal methods   simulation   validation
 

Call For Papers

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

FDL 2021   24th IEEE Forum on specification & Design Languages
CAV 2021   33rd International Conference on Computer-Aided Verification
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
FM 2021   Formal Methods 2021
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
SCOPUS-CSMO 2021   5th International Conference on Simulation, Modeling and Optimization (CSMO 2021)
CLNLP 2021   2021 2nd International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2021)
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
PADS 2021   ACM SIGSIM Conference on Principles of Advanced Discrete Simulation