[TYPES] Call for Papers - ICTAC05 (Hanoi)

[Bernhard K. Aichernig]

Call for Papers - ICTAC05

INTERNATIONAL COLLOQUIUM ON
THEORETICAL ASPECTS OF  COMPUTING

Hanoi, Vietnam - 17--21 October, 2005
http://www.iist.unu.edu/ictac05
=====================

BACKGROUND AND OBJECTIVES

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. We believe that this will help
developing countries to strengthen their research, teaching and
development in computer science and engineering, improve the links
between developing countries and developed countries, and establish
collaboration in research and education. The first ICTAC (ICTAC'04) was
held in Guiyang, China.

ICTAC'05 will have a technical program for five days
including two days for tutorials and three days for a conference, and a
training school for 5 days.

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
- document-driven development
- models of concurrency,  security, and mobility
- theory of parallel, distributed, and  internet-based (grid)
computing
- real-time and embedded systems
- type and category theory in  computer science


SPONSORS AND ORGANISATION

ICTAC'05 will be organised jointly between the Institute of
Information Technology of the Vietnamese Academy of Sciences and
Technology (IoIT), the University of Technology of the Vietnam
National University in Hanoi (UoT-VNU) and UNU-IIST. UNU-IIST, IoIT
and UoT-VNU are also sponsors of ICTAC'05. There will be an
one-week training school during 10--14 October 2005 before the conference.


SUBMISSION AND PUBLICATION

Submissions to the conference must not have been published or be
concurrently considered for publication elsewhere. All submissions
will be judged on the basis of originality, contribution to the field,
technical and presentation quality, and relevance to the workshop.
Papers should be written in English and not exceed 15 pages in LNCS
format (see http://www.springer.de/comp/lncs/authors.html for
details). The proceedings will be published by Springer in the Lecture
Notes in Computer Science series by Springer-Verlag. A web site for
uploading papers linked to the conference web page
http://www.iist.unu.edu/ictac05 will be open at the appropriate
time. All queries should be sent to: dvh at iist.unu.edu, or
wirsing at informatik.uni-muenchen.de.

IMPORTANT DATES

- Submission deadline:  25 May 2005
- Acceptance notification: 1 July 2005
- Final version due:  25 July 2005
- Tutorial proposal submission deadline: 11 July 2005
- Tutorial proposal acceptance notification:
    25 July 2005
- Tutorials:  17-18 October, 2005
- Conference dates: 19 -- 21 October, 2005


ADVISORY COMMITTEE

Dines Bjorner, Singapore
Manfred Broy, Germany
Jifeng He, UNU-IIST
Mathai Joseph, India
Shaoying Liu, Japan
Zhiming Liu, UNU-IIST
Jim Woodcock, UK
Jose Luiz Fiadeiro, UK
Tobias Nipkow, Germany

PUBLICITY CHAIR

Bernhard K. Aichernig, UNU-IIST

ORGANISING COMMITTEE


Le Hai Khoi, IoIT (co-chair)
Ho Si Dam, UoT-VNU (co-chair)
Nguyen Tue, UoT-VNU
Bui The Duy, UoT-VNU
Le Quoc Hung, IoIT
Do Nang Toan, IoIT
Ngo Quoc Tao, IoIT

PROGRAM COMMITTEE

Marc Aiguier, France
Keijiro Araki, Japan
J.O.A. Ayeni, Nigeria
Jay Bagga, USA
Hubert Baumeister, Germany
Michel Bidoit, France
Jonathan Bowen, UK
Victor A. Braberman, Argentina
Cristian S. Calude, New Zealand
Ana Cavalcanti, UK
Yifeng Chen, UK
Dang Van Hung, UNU-IIST (co-chair)
Jim Davies, UK
Janos Demetrovics, Hungary
Jin Song Dong, Singapore
Henning Dierks, Germany
Do Long Van, Vietnam
Marcelo F. Frias, Argentina
Wan Fokkink, Netherlands
Susanna Graf, France
Valentin Goranko, South Africa
Dimitar Guelev, Bulgaria
Michael R. Hansen, Denmark
Jozef Hooman, Netherlands
Purush Iyer, USA
Ryszard Janicki, Canada
Takuya Katayama, Japan
Maciej Koutny, UK
Xuandong Li, China
Antonia Lopes, Portugal
Antoni Mazurkiewicz, Poland
Hrushikesha Mohanty, India
Ngo Quang Hung, USA
Nguyen Cat Ho, Vietnam
Paritosh Pandya, India
Jean-Eric Pin, France
Narjes Ben Rajeb, Tunisia
R. Ramanujam, India.
Anders P. Ravn, Denmark
Gianna Reggio, Italy
Wolfgang Reif, Germany
Riadh Robbana, Tunisia
Mark Ryan, UK
Zaidi Sahnoun, Algeria
Augusto Sampaio, Brazil
Don Sannella, UK
Bernhard Schaetz, Germany
Andrea Maggiolo-Schettini, Italy
Carolyn Talcott, USA
P. S. Thiagarajan, Singapore
Ji Wang, China
Martin Wirsing, Germany (co-chair)
Mingsheng Ying, China
Jian Zhang, China
Hongjun Zheng, USA
-- 
Bernhard Aichernig, Research Fellow of UNU-IIST  www.iist.unu.edu/~bka
----------------------------------------------------------------------
SEFM 2005:  3rd IEEE International Conference on Software Engineering
             and Formal Methods, Koblenz, Germany, 7.- 9. Sept. 2005
             http://sefm2005.uni-koblenz.de

ICTAC 2005: International Colloquium on Theoretical Aspects of
             Computing, Hanoi, Vietnam, 17-21 October, 2005
             http://www.iist.unu.edu/ictac05/