Theoretical Aspects of Computing - ICTAC 2006

Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

  • Kamel Barkaoui
  • Ana Cavalcanti
  • Antonio Cerone
Conference proceedings ICTAC 2006

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Tobias Nipkow
      Pages 1-14
    2. Jim Woodcock, Leo Freitas
      Pages 15-34
    3. Aaron R. Bradley, Zohar Manna
      Pages 35-49
  3. Semantics

  4. Concurrency

    1. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
      Pages 93-107
    2. Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
      Pages 108-122
    3. Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes
      Pages 123-137
    4. Raymond Devillers, Hanna Klaudel, Maciej Koutny
      Pages 138-152
  5. Model Checking

    1. Y. Boichut, P. -C. Héam, O. Kouchnarenko
      Pages 153-167
    2. Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
      Pages 183-197
  6. Formal Languages

    1. Murdoch J. Gabbay, Aad Mathijssen
      Pages 198-212
    2. Kieu Van Hung, Do Long Van
      Pages 213-227
    3. Jan Šupol, Bořivoj Melichar
      Pages 228-241
  7. Logic and Type Theory

    1. Matteo Slanina, Henny B. Sipma, Zohar Manna
      Pages 242-256
    2. Shuling Wang, Quan Long, Zongyan Qiu
      Pages 257-271
    3. Steven Obua
      Pages 272-286

About these proceedings

Introduction

The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from academia, - dustry, and governmentto present their results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. The previous events were held in Guiyang, China (2004), and Hanoi, Vi- nam (2005). Beyond its scholarly goals, another main purpose of ICTAC is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. These proceedings record the contributions from the invited speakers and from the technical sessions. We present four invited papers, 21 technical papers, selected out of 78 submissions from 24 countries, and two extended abstracts of tutorials. The Programme Committee includes researchers from 27 countries. Each of the 78 papers was evaluated by at least three reviewers. After the evaluation, reports were returned to the Programme Committee for discussion and reso- tion of con?icts. Based on their recommendations, we concluded the consensus process, and selected the 21 papers that we present here. For the evaluation of the submitted tutorials, this year we had the help of a separate Programme Committee especially invited for that purpose.

Keywords

Isabelle automata theory concurrent systems cooperative systems formal language formal languages formal method formal methods logic logical foundations mobility model checking probabilistic methods real-time verification

Editors and affiliations

  • Kamel Barkaoui
    • 1
  • Ana Cavalcanti
    • 2
  • Antonio Cerone
    • 3
  1. 1.Laboratoire CEDRIC, Conservatoire National des Arts et MétiersFrance
  2. 2.Department of Computer ScienceUniversity of YorkYorkUK
  3. 3.UNU-IIST, Macau SARChina

Bibliographic information

  • DOI https://doi.org/10.1007/11921240
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-48815-6
  • Online ISBN 978-3-540-48816-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book