Call for Papers Program Committees Conference Topics Submission

TTSS'08 - Call for Papers

Conference Topics

The aim of the workshop is to bring together practitioners and researchers from academia, industry and government to present and discuss ideas about:

How to deal with the complexity of software projects by multi-view modeling and separation of concerns about the design of functionality, interaction, concurrency, and extra-functionality, and
How to ensure correctness and dependability of software using formal methods and tools of modeling, design, verification and validation into design and development processes and environments.

The workshop will provide enough time for discussion on problems and research. Each presentation will be 20 minutes followed by 10 minutes discussion. Topics of interest include, but are not limited to, the following areas:

Mathematical frameworks, methods and tools for model-driven development
Models, calculus and tool support for component-based and object-oriented software
rCOS and relational mathematical frameworks of object and component systems and their tool support

Important Dates

Workshop:	30 August 2008, Sabanci University
Final manuscript due:	~~18 August, 2008~~
Notification of acceptance:	9 August, 2008 (notifications sent)
Submission deadline:	28 July, 2008 (passed)

News

Invited speaker: Einar Broch Johnsen (UIO, Norway)
ENTCS Proceedings published as volume 243.

Call for Papers as PDF

Jianhua Zhao / Volker Stolz