Contact Person : Adam Morawiec; Last Date for the submission of abstract : 26/04/2016; Description : FDL is devoted to dissemination in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex HW/SW embedded systems, and mixed-technology systems.