View source for ICTAC 09

{{Event
|Acronym=ICTAC 09
|Title=6th International Colloquium on Theoretical Aspects of Computing
|Type=Conference
|Start date=2009/08/16
|End date=2009/08/20
|Homepage=www.ictac.net/ictac09/
|City=Kuala Lumpur
|Country=Malaysia
|Submission deadline=2009/04/10
|Abstract deadline=2009/04/06
|Paper deadline=2009/04/10
|Notification=2009/05/25
|Camera ready=2009/06/01
}}
Equatorial Hotel Bangi, Malaysia
University Kebangsaan Malaysia (UKM)

August 16th - 20th 2009

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

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).

Visit http://www.ictac.net/ictac09 for a preliminary web page.

==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).

==Workshops==

The main conference is surrounded by workshops and a summer
school. See the web page for more details.

==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


==Paper Submissions==


ICTAC 2009 calls for two types of contributions: RESEARCH PAPERS and
TOOL DEMONSTRATION PAPERS. Both types of contributions will appear in
the LNCS proceedings and have oral presentations at the
conference. Papers should be written in English in LNCS format.

==RESEARCH PAPERS==

Research papers should contain original research, and sufficient
detail to assess the merits and relevance of the contribution.
Submissions reporting on industrial case studies are welcome, and
should describe both strengths and weaknesses in sufficient depth.
Research papers should be no more than 15 pages.

==TOOL DEMONSTRATION PAPERS==

Tool demonstration papers present tools based on aforementioned
theories or fall into the above application areas. Tool demonstration
papers allow researchers to stress the technical and practical side,
illustrating how one can apply the theoretic contributions in
practice. Tool demonstration papers should be no more than 6 pages.

As usual, 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. Submission constitutes a commitment to attend and present
a paper, if accepted.

Proceedings of ICTAC 2009 will be published by Springer in the LNCS
series.

==Important Dates==


Abstract Submission: 6 April 2009
Submission of Papers: 10 April 2009
Notification of acceptance: 25 May 2009
Final copy for proceedings: 1 June 2009
ICTAC 2009: 16 - 20 August 2009


==Committees==


* General Chair
** [[has general chair::Abdullah Mohd Zin]] Universiti Kebangsaan Malaysia
** [[has general chair::Jeff Sanders]] United Nation University, Institute of Software Technology, Macao

* Program Chairs
** [[has programm chair::Martin Leucker]] Technische Universität München, Germany
** [[has programm chair::Carroll Morgan]] University of New South Wales

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

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

* Steering Committee
* John Fitzgerald University of Newcastle upon Tyne, UK
* Martin Leucker Technische Universit=C3=A4t M=C3=BCnchen, Germany
* Zhiming Liu (Chair) UNU-IIST, Macao
* Tobias Nipkow Technische Universit=C3=A4t M=C3=BCnchen, Germany
* Augusto Sampaio Universidade Federal de Pernambuco, Brazil
* Natarajan Shankar SRI, USA
* Jim Woodcock University of York, UK
Abstract deadline	April 6, 2009 +
Acronym	ICTAC 09 +
Camera ready due	June 1, 2009 +
End date	August 20, 2009 +
Event type	Conference +
Has PC member	Parosh Abdulla +, Keijiro Araki +, Farhad Arbab +, Christel Baier +, Mario Bravetti +, Ana Cavalcanti +, Van Hung Dang +, David Deharbe +, Wei Dong +, Deepak D'Souza +, John Fitzgerald +, Wan Fokkink +, Marcelo Frias +, Kokichi Futatsugi +, Paul Gastin +, Susanne Graf +, Lindsay Groves +, Anne Haxthausen +, Moonzoo Kim +, Kim G. Larsen Aalborg +, Insup Lee +, Martin Leucker +, Kamal Lodaya +, Larissa Meinicke +, Ugo Montanari +, Carroll Morgan +, Ahmed Patel +, Pekka Pihlajasaari +, Abhik Roychoudhury +, Hassen Saidi +, Augusto Sampaio +, Cesar Sanchez +, Marjan Sirjani +, Sofiene Tahar +, Serdar Tasiran +, Helmut Veith +, Mahesh Viswanathan +, Tomas Vojnar Brno +, Ji Wang +, Jim Woodcock +, Husnu Yenigun +, Naijun Zhan + and Huibiao Zhu +
Has coordinates	3° 9' 6", 101° 41' 39"Latitude: 3.1516972222222 Longitude: 101.69423611111 +
Has general chair	Abdullah Mohd Zin + and Jeff Sanders +
Has location city	Kuala Lumpur +
Has location country	Category:Malaysia +
Has program chair	Martin Leucker + and Carroll Morgan +
Homepage	http://www.ictac.net/ictac09/ +
IsA	Event +
Notification	May 25, 2009 +
Paper deadline	April 10, 2009 +
Start date	August 16, 2009 +
Submission deadline	April 10, 2009 +
Title	6th International Colloquium on Theoretical Aspects of Computing +