16. FDL 2013: Paris, France

AFM: Application of Formal Methods for Design Space Exploration and Refinement

AFM/EAMS: Verification of Heterogeneous Systems: Theory and Industrial Experiences

EAMS 1: Modeling Communication and Circuit's Behavior

EAMS 2: Model Generation for Embedded Analog/Mixed-Signal Systems

MDE 1: Modeling Languages Extensions and Best Practices

MDE 2: Model Driven Engineering at Work

DES 1: SystemC Infrastructure and Extensions

DES 2: Platform Based Design

DES 3: Simulation, Analysis and Validation

SystemVerilog: the New Standard

maintained by Schloss Dagstuhl LZI at University of Trier