9. FDL 2006: Darmstadt, Germany

AMS-1: Formal and symbolic techniques for AMS Design

AMS-2: C-based Design of Mixed Signal Systems

See CSD Session 1

AMS-3: Modelling Approaches

AMS-4: Verification and methodology

AMS-5: Modelling Tools

CSD-1: C-based Design of Mixed Signal Systems

CSD-2: Design representation and transformation

CSD-3: Simulation

CSD-4: Modelling of architectures

CSD-5: Transaction level modelling

CSD-6: Power and Performance analysis

FPD-1: How do you monitor this property?

FPD-2: Collaborative and industrial project results

FPD-5: What is your favourite specification paradigm?

Special Session: The ICODES Project

UML Keynote

UML-1: Design flows for SoC

UML-2: Models for design space exploration

UML-3: Studies for UML based workflows

maintained by Schloss Dagstuhl LZI at University of Trier