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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/11560647
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29107-7
  • Online ISBN 978-3-540-32072-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book