ICTAC 2007
The 4th International Colloquium on Theoretical Aspects of Computing

26 September - 28 September 2007

Macao SAR, China

CALL FOR WORKSHOP PROPOSALS

ICTAC is an International Colloquium on Theoretical Aspects of Computing founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. The previous three ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006).

The topics of the conference include, but are not limited to:

• automata theory and formal languages
• principles and semantics of programming languages
• logics and their applications
• software architectures and their description languages
• software specification, refinement, and verification
• model checking and theorem proving
• formal techniques in software testing
• models of object and component systems
• coordination and feature interaction
• integration of formal and engineering methods
• service-oriented development
• models of concurrency, security, and mobility
• theory of parallel, distributed, and internet-based (grid) computing
• real-time, embedded and hybrid systems
• type and category theory in computer science
• case studies
• theories, tools and experiments of verified systems
• integration of theories of system development and their tool support

ICTAC 2007 will have a technical program for five days including a two-day festschrift symposium dedicated to the 70th birthdays of former UNU-IIST directors, Dines Bjørner and Zhou Chaochen, and three days for a conference. There will also be a training school in the preceding week on topics of Domain Modelling and the Duration Calculus, to which Dines Bjørner and Zhou Chaochen have made significant contribution.

Workshop Proposals

You are invited to organize an workshop as a satellite event of ICTAC07 during 22-23 September, 2007 on a theme that fits the topics of the conference. Typically, workshops on the following themes:

• Domain modelling
• Duration CalCulus
• Unifying theories, and
• Grand challenges

which are ralated to Dines Bjørner's and Zhou Chaochen's work or/and hot topics in the area of formal methods, are particularly encouraged.

Please submit workshop proposals to the Workshop Chair by e-mail. All workshop proposal submissions should have a detailed description of the workshop theme and the time duration. For further information and instructions about proposal submission, please contact the Workshop Chair (dvh@iist.unu.edu).

Deadline for Workshop Proposal Submissions

1 May 2007

Associated Events

• School on Domain Modelling and the Duration Calculus, 17-21 September 2007, Shanghai
• Festschrift Symposium dedicated to the 70th birthdays of Dines Bjørner and Zhou Chaochen, 24-25 September 2007, Macao
• Workshops, 22-23 September, 2007, Macao

 - 15 Years Of Duration Calculus, 22-23 September 2007, Macao