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 -- 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