ICTAC'09

  6th International Colloquium on Theoretical Aspects of Computing

		   ***  CALL FOR PARTICIPATION  ***

		 Pullman Putrajaya Lakeside, Malaysia
		 University Kebangsaan Malaysia (UKM)

		       August 14th - 20th 2009

		    http://www.ictac.net/ictac09/
----------------------------------------------------------------------

Summary
-------

14-15 August:  A Short Course On TLA+ by Leslie Lamport, Microsoft USA

16-17 August:  Tutorials by
              - Leslie Lamport
              - Zhimming Liu
              - Sriram Rajamani
              - Annabel McIver

17 August:     Workshop TTSS

18-20 August:  Main Colloquium
              4 Invited Speakers:
                - Zuohua Ding
                - Leslie Lamport
                - Annabel McIver
                - Sriram Rajamani
              20 Presenations based on LNCS Papers

Visit http://www.ictac.net/ictac09 for registration and latest
information.


Overview
---------

The 6th International Colloquium  on Theoretical Aspects  of Computing
is taking place from  the 16th till the  20th of August 2009  in Kuala
Lumpur, Malaysia. ICTAC'09  is     organized by Abdullah   Mohd   Zin,
Universiti Kebangsaan  Malaysia   and  Jeff Sanders,    United  Nation
University, Institute  of   Software Technology,  Macao.  The   PC  is
chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW).

About ICTAC 2009
----------------

ICTAC 2009 is the 6th  International Colloquium on Theoretical Aspects
of  Computing, the latest  in  a series  founded by the  International
Institute for  Software  Technology of  the  United Nations University
(UNU-IIST).  The    main purpose  of  ICTAC   is    to bring  together
practitioners and researchers  from academia,  industry and government
to present research and  to  exchange ideas and  experience addressing
challenges  in  both theoretical  aspects  of   computing and in   the
exploitation   of   theory  through  methods   and  tools   for system
development. The previous four   ICTAC  events were held  in  Guiyang,
China (2004), Hanoi,   Vietnam (2005),  Tunis, Tunisia (2006),   Macau
(2007) and Istanbul (2008).

Satellite Events
----------------

The main conference  is surrounded by a  short course on TLA+ given by
Leslie Lamport, the workshop on Harnessing Theories for Tool Support
in Software (TTSS), and a dedicated tutorials day.

Main Conference
---------------

Invited Speakers
----------------
Zuohua Ding	 Zhejiang Sci-Tech University
Leslie Lamport   Microsoft
Annabelle McIver Macquarie University
Sriram Rajamani  Microsoft

Scope
-----

Topics include, but are not limited to:

 * software specification, refinement, verification and testing
 * model checking and theorem proving
 * software architectures
 * coordination and feature interaction
 * integration of theories, formal and engineering methods and tools
 * models of concurrency, security, and mobility
 * parallel, distributed, and internet-based (grid) computing
 * real-time, embedded and hybrid systems
 * automata theory and formal languages
 * principles and semantics of languages
 * logics and their applications
 * type and category theory in computer science
 * case studies, theories, tools and experiments of verified systems
 * service-oriented architectures: models and development methods
 * domain modelling and domain-specific technology: examples,
   frameworks and experience

Committees & Contacts
---------------------

General Chair
-------------
Abdullah Mohd Zin  Universiti Kebangsaan Malaysia
Jeff Sanders       United Nation University, Institute of Software
                  Technology, Macao

Program Chairs
--------------
Martin Leucker     Technische Universität München, Germany
Carroll Morgan     University of New South Wales

Local Organizing Committee
--------------------------
Zarina Shukur, Universiti Kebangsaan Malaysia (Chairperson)
Nazlia Omar
Syahanim Mohd Salleh

Program Committee
-----------------

Parosh Abdulla      Uppsala University, Schweden
Keijiro Araki       Kyushu University, Japan
Farhad Arbab        Leids University, The Netherlands
Christel Baier	    Technical University of Dresden, Germany
Mario Bravetti	    Universita di Bologna, Italian
Ana Cavalcanti	    University of York, England
Van Hung Dang       United Nations University, Macao
David Deharbe	    Federal University of Rio Grande do Norte, Brazil
Wei Dong	    National University of Defense Technology, China
Deepak D'Souza	    Indian Institute of Science, India
John Fitzgerald	    Newcastle Uiversity, England
Wan Fokkink	    Vrije University Amsterdam, The Netherlands
Marcelo Frias	    University of Buenos Aires,  Argentina
Kokichi Futatsugi   JAIST, Japan
Paul Gastin	    LSV/ENS Cachan, France
Susanne Graf	    VERIMAG, France
Lindsay Groves	    Victoria University of Wellington, New Zealand
Anne Haxthausen	    Technical University of Denmark, Denmark
Moonzoo Kim	    KAIST, South Korea
Kim G. Larsen	    Aalborg University, Denmark
Insup Lee	    University of Pennsylvania, USA
Martin Leucker	    TU Munich, Germany
Kamal Lodaya	    Institute of Mathematical Sciences, India
Larissa Meinicke    Abo Akademi, Finland
Ugo Montanari	    University of Pisa, Italian
Carroll Morgan	    University of New South Wales, Australia
Ahmed Patel	    Universiti Kebangsaan Malaysia, Malaysia
Pekka Pihlajasaari  Data Abstraction (Pty) Ltd, South Africa
Abhik Roychoudhury  National University of Singapore, Singapore
Hassen Saidi	    SRI International, USA
Augusto Sampaio	    Universidade Federal de Pernambuco, Brazil
Cesar Sanchez	    IMDEA, Spain
Marjan Sirjani	    University of Tehran, Iran
Sofiene Tahar	    Concordia University, Canada
Serdar Tasiran	    Koc University, Turkey
Helmut Veith	    Technical University Darmstadt, Germany
Mahesh Viswanathan  University of Illinois at Urbana, USA
Tomas Vojnar	    Brno University of Technology, Czech Republic
Ji Wang		    Zhejiang University, China
Jim Woodcock	    University of York, England
Husnu Yenigun	    Sabanci University, Turkey
Naijun Zhan	    Chinese Academy of Sciences, China
Huibiao Zhu	    East China Normal University, China

Steering Committee
------------------

John Fitzgerald     University of Newcastle upon Tyne, UK
Martin Leucker 	    Technische Universität München, Germany
Zhiming Liu (Chair) UNU-IIST, Macao
Tobias Nipkow       Technische Universität München, Germany
Augusto Sampaio     Universidade Federal de Pernambuco, Brazil
Natarajan Shankar   SRI, USA
Jim Woodcock        University of York, UK