Logic List Mailing Archive

ICTAC05 (International Colloquium on Theoretical Aspects of Computing), Hanoi, Vietnam, October 2005

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@iist.unu.edu, or 
wirsing@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