[clean-list] ICTAC 2006: Final call for papers

[Chris George]

----------------------------------------------------------------------
                         Final Call for Papers
----------------------------------------------------------------------
                              ICTAC 2006

    3rd International Colloquium on Theoretical Aspects of Computing

             Gammarth/Tunis, Tunisia, 20-24 November 2006

                  http://www.iist.unu.edu/ICTAC2006

**********************************************************************

                            IMPORTANT DATES

               Submission deadline: 8 May, 2006 (extended)

                 Acceptance notification: 14 July, 2006

                  Final version due: 1 September, 2006

**********************************************************************
      Proceedings will be published by Springer in the series LNCS
**********************************************************************


BACKGROUND AND OBJECTIVES

       ICTAC is an International Colloquium on Theoretical Aspects of
       Computing created 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. Beyond these scholarly goals,
       another main purpose of the conference 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. The previous two ICTAC events were held in
       2004, in Guiyang, China, and in 2005, in Hanoi, Vietnam.

       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

       ICTAC 2006 will have a technical program for five days
       including two days for tutorials and three days for a
       conference. There will also be a training school in the
       preceding week.

INVITED SPEAKERS

         * Zohar Manna, USA
         * Tobias Nipkow, Germany
         * Mike Reed, Macao
         * Jim Woodcock, UK

SPONSORS AND ORGANISATION

       ICTAC 2006 will be organised jointly between the University Tunis El
       Manar, UNU-IIST and the University of York.  They are also sponsors
       of ICTAC 2006.

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
       conference. 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). Authors must submit their papers in pdf format to the
       website

                 http://confman.iist.unu.edu/ICTAC2006/REG-paper/.

       All queries should be sent to: ictac2006 at iist.unu.edu.

       All accepted papers will be published by Springer in the series LNCS.
       Authors of a selection of the accepted papers will be invited to
       submit an extended version of their work to a special issue of
       Formal Aspects of Computing.

ADVISORY COMMITTEE

       Dines Bjorner, Denmark
       Manfred Broy, Germany
       Jose Luiz Fiadeiro, UK
       Jifeng He, China
       Shaoying Liu, Japan
       Zhiming Liu, Macao
       Zohar Manna, USA
       Tobias Nipkow, Germany
       Mike Reed, Macao
       Jim Woodcock, UK

ORGANISING COMMITTEE

       Kamel Barkaoui, France
       Rahma Ben Ayed, Tunisia (finance co-chair)
       Mohamed Bettaz, Jordan (conference co-chair)
       Karim Djouani, France (publicity co-chair)
       Chris George, Macao (publicity co-chair)
       Dang Van Hung, Macao (finance co-chair)
       Ali Mili, USA (conference co-chair)
       Zaidi Sahnoun, Algeria

PROGRAM COMMITTEE

       Marc Aiguier, France
       Eric Badouel, France
       Kamel Barkaoui, France (co-chair)
       Jose Barros, Portugal
       Hubert Baumeister,  Germany
       Samir Ben Ahmed, Tunisia
       Rahma Ben Ayed, Tunisia
       Mohamed Bettaz, Jordan
       Michel Bidoit, France
       Jonathan Bowen, UK
       Khaled Bsaies, Tunisia
       Cristian Calude, New Zealand
       Ana Cavalcanti, UK (co-chair)
       Antonio Cerone, Macao (co-chair)
       Jessica Chen, Canada
       Yifeng Chen, UK
       Jim Davies, UK
       Mourad Debbabi, Canada
       David Deharbe, Brazil
       Jin Song Dong, Singapore
       Wan Fokkink, Netherlands
       Marcelo Frias, Argentina
       Maurizio Gabbrielli, Italy
       Valentin Goranko, South Africa
       Susanne Graf, France
       Lindsay Groves, New Zealand
       Michael R. Hansen, Denmark
       Thomas Henzinger, Switzerland
       Dang Van Hung, China
       Purush Iyer, USA
       Petr Jancar, Czech Republic
       Takuya Katayama, Japan
       Maciej Koutny, UK
       Xuandong Li, China
       Xinxin Liu, China
       Antonia Lopes, Portugal
       Andrea Maggiolo-Schettini, Italy
       Antoni Mazurkiewicz, Poland
       Mohamed Mezguiche, Algeria
       Ali Mili, USA
       Roland Mittermeir, Austria
       Carroll Morgan, Australia
       Alberto Pardo, Uruguay
       Jean-Eric Pin, France
       R. Ramanujam, India
       Anders Ravn, Denmark
       Wolfgang Reif, Germany
       Ingrid Rewitzky, South Africa
       Mark Ryan, UK
       Augusto Sampaio, Brazil
       Bernhard Schaetz, Germany
       Emil Sekerinski, Canada
       Carolyn Talcott, USA
       Tayssir Touili, France
       Do Long Van, Vietnam
       Martin Wirsing, Germany
       Hongjun Zheng, USA