© 2011

Theoretical Aspects of Computing – ICTAC 2011

8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

  • Antonio Cerone
  • Pekka Pihlajasaari
Conference proceedings ICTAC 2011

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

Table of contents

  1. Front Matter
  2. David Lorge Parnas
    Pages 4-5
  3. Willem Visser
    Pages 6-6
  4. Luca Aceto, David de Frutos Escrig, Carlos Gregorio-Rodríguez, Anna Ingolfsdottir
    Pages 7-24
  5. Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks
    Pages 25-44
  6. Ei Ando, Binay Bhattacharya, Yuzhuang Hu, Tsunehiko Kameda, Qiaosheng Shi
    Pages 45-61
  7. Liliana Cojocaru, Erkki Mäkinen
    Pages 77-94
  8. Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jiří Srba
    Pages 95-115
  9. Silvia Ghilezan, Jelena Ivetić, Pierre Lescanne, Silvia Likavec
    Pages 116-134
  10. Rolf Hennicker, Alexander Knapp
    Pages 135-153
  11. Yijing Liu, Zongyan Qiu, Quan Long
    Pages 154-172
  12. Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaies, Ali Mili
    Pages 173-193
  13. Paul Birevu Muyinda, Jude T. Lubega, Kathy Lynch, Theo van der Weide
    Pages 194-217
  14. Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif
    Pages 239-255
  15. Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys
    Pages 256-266
  16. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011.
The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.


automata theory formal methods grammar systems programm semantics programming calculi systems modeling verification

Editors and affiliations

  • Antonio Cerone
    • 1
  • Pekka Pihlajasaari
    • 2
  1. 1.International Institute for Software TechnologyThe United Nations UniversityMacauChina
  2. 2.Data Abstraction (Pty) LtdJohannesburgSouth Africa

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment