Theoretical Aspects of Computing – ICTAC 2005

Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

  • Dang Van Hung
  • Martin Wirsing
Conference proceedings ICTAC 2005

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3722)

Table of contents

  1. Front Matter
  2. Invited Speakers

    1. José Meseguer
      Pages 1-28
    2. Do Long Van, Kieu Van Hung, Phan Trung Huy
      Pages 29-48
    3. He Jifeng, Xiaoshan Li, Zhiming Liu
      Pages 70-95
  3. Formal Languages

    1. Sébastien Limet, Pierre Pillot
      Pages 110-124
    2. K. G. Subramanian, A. Roslin Sagaya Mary, K. S. Dersanambika
      Pages 125-135
  4. Computer Science Logics

    1. Naijun Zhan, Jinzhao Wu
      Pages 136-150
    2. Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
      Pages 166-179
  5. Program Construction

    1. Jianguo Zhou, Yifeng Chen
      Pages 195-210
    2. Alberto de la Encina, Luis Llana, Fernando Rubio
      Pages 211-226
  6. Real-Time Systems

    1. Raymond Boute, Andreas Schäfer
      Pages 242-256
    2. Martin Fränzle, Michael R. Hansen
      Pages 257-271
    3. Rongjie Yan, Guangyuan Li, Zhisong Tang
      Pages 272-287
  7. Concurrency and Refinement

    1. Ranald Clouston, Robert Goldblatt
      Pages 288-302
    2. He Jifeng, C. A. R. Hoare
      Pages 303-317
    3. Rob Jan van Glabbeek
      Pages 318-333
    4. Michel Bidoit, Rolf Hennicker
      Pages 334-350
  8. Software Security

    1. Gérard Boudol
      Pages 366-380
    2. Chen Zhao, Nuermaimaiti Heilili, Shengping Liu, Zuoquan Lin
      Pages 381-393
    3. Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling
      Pages 394-408
  9. Quantitative Logics

  10. Object-Orientation and Component Systems

    1. Sun Meng, Luís S. Barbosa, Zhang Naixiao
      Pages 469-484
    2. Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, He Jifeng
      Pages 485-500
    3. Kenro Yatake, Toshiaki Aoki, Takuya Katayama
      Pages 501-516
    4. Nguyen Truong Thang, Takuya Katayama
      Pages 517-531
  11. Model-Checking and Algorithms

    1. Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
      Pages 562-578
  12. Applied Logics and Computing Theory

    1. G. Bonfante, M. Kaczmarek, J. -Y. Marion
      Pages 579-593
    2. Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc Khanh Tran
      Pages 594-608
  13. Tutorials at ICTAC 2005

    1. Dang Van Hung
      Pages 609-612
  14. Back Matter

About these proceedings


This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. 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. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.


Algorithms algorithm computer computer science formal language formal languages real-time

Editors and affiliations

  • Dang Van Hung
    • 1
  • Martin Wirsing
    • 2
  1. 1.College of TechnologyVietnam National UniversityHanoiVietnam
  2. 2.Institute of Computer ScienceLMU MunichMunichGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-29107-7
  • Online ISBN 978-3-540-32072-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site