10. FDL 2007: Barcelona, Spain

AMS-1: Curcuit level simulation techniques

AMS-2: Heterogenous systems

AMS-3: Advanced modeling methods

AMS-4: Applications

CSD-1: Abstraction Layers for TLM

CSD-2: Combining models of computing

CSD-3: Modeling paradigms for embedded systems

CSD-4: Test and Verification

CSD-5: Specific languages & applications

CSD-UML: CSD UML Common session

PVD-1: RTL synthesis & mixed signal verification from PSL

PVD-2: PSL: the future

PVD-3: Formal verification & high level properties

UML-1: Model driven engineering experiments

UML-2: Software platform modeling

UML-3: Time modeling & assertion generation

UML-4: MARTE usages