<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=utf-8">
<META content="MSHTML 6.00.2900.3132" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT size=2><FONT size=3>1st International Workshop on Harnessing Theories
for Tool Support in Software (TTSS’07) 22-23 September 2007, Macau, China
</FONT><A href="http://www.iist.unu.edu/ttss07"><FONT
size=3>http://www.iist.unu.edu/ttss07</FONT></A><FONT size=3> Co-located with
ICTAC 2007<BR><BR>The aim of the workshop is to bring together practitioners and
<BR>researchers from academia, industry and government to present and discuss
ideas about:<BR>a) 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<BR>b) 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<BR><BR>The workshop will provide enough
time for discussion on problems and research. Each presentation will be 25
minutes followed by 10 minutes discussion. Topics of interest include, but are
not limited to, the following areas:</FONT></FONT></DIV>
<DIV><FONT size=2><FONT size=3><BR>• Mathematical frameworks, methods and tools
for model-driven<BR>development<BR>• Models, calculus and tool support for
component-based and<BR>object-oriented software<BR>• rCOS and relational
mathematical frameworks of object and<BR>component systems and their tool
support<BR><BR><BR>PAPER SUBMISSION<BR>TTSS invites authors to submit original
and unpublished work. Submissions should include an abstract, key words, the
e-mail address of the corresponding author, and must not exceed 15 pages using
ENTCS style. The submission website is </FONT><A href=""><FONT
size=3>http://www.easychair.org/TTSS07</FONT></A><BR><BR><FONT
size=3>PROCEEDINGS<BR>We are talking to ENTCS about the publication of the
proceedings, and <BR>will consider the publication of a special issue of a
journal for selected papers.<BR><BR>IMPORTANT DATES<BR>• Submission deadline: 15
July, 2007<BR>• Notification of acceptance: 15 August 2007<BR>• Final manuscript
due: 1 September 2007 Organized and supported by ECNU <BR>and
UNU-IIST<BR><BR><BR><BR>Program Chairs<BR>Geguang Pu ECNU, China<BR>Volker
Stolz, UNU-IIST, Macau, China<BR><BR>Local Organization Chair<BR>Volker Stolz,
UNU-IIST, Macau, China<BR><BR>Program Committee Members<BR>Farhad Arbab, CWI,
The Netherlands<BR>Luis Barbosa, Universidade do Minho, Portugal<BR>James C.
Browne, UT Austin, US<BR>Kung-Kiu Lau, Manchester University, UK<BR>Jin Liu,
ECNU, China<BR>Xiaoshan Li, Macau University, China<BR>Markus Lumpe, Iowa State
University, USA<BR>Zongyan Qiu, Peking University, China<BR>Anders P. Ravn,
Aalborg University, Denmark<BR>Abhik Roychoudhury, NUS, Singapore<BR>Bernhard
Schätz, TU Munich, Germany<BR>Heinrich Schmidt, RMIT University,
Australia<BR>Meng Sun, CWI, The Netherlands<BR>Petr Tuma, Charles University,
Czech Republic<BR>R. Venkatesh, TATA, India<BR>Xu Wang, UNU-IIST, Macau,
China<BR>Ji Wang, NLPDP, China<BR>Naijun Zhan, CAS, China<BR>Jianhua Zhao,
Naijin University, China<BR>Gianluigi Zavattaro, University of Bologna,
Italy<BR><BR>Advisors<BR>Patrick Cousot, ENS, France<BR>Jifeng He, ECNU,
China<BR>Mathai Joseph, TATA, India<BR>Zhiming Liu, UNU-IIST, Macau,
China<BR>Bertrand Meyer, ETH, Switzerland<BR>Jim Woodcock, University of York,
UK</FONT></DIV></FONT></BODY></HTML>