Difference between revisions of "Event:ICTAC 09"

From ConfIDent
m (Text replacement - "[\(]User:Curator 83" to "(Ch")
m (Text replacement - "[ \s]User:Curator 83" to " Ch")
Line 46: Line 46:
 
challenges in both theoretical aspects of computing and in the
 
challenges in both theoretical aspects of computing and in the
 
exploitation of theory through methods and tools for system
 
exploitation of theory through methods and tools for system
−
development. The previous four ICTAC events were held in Guiyang,
+
development. The previous four ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006), Macau
−
User:Curator 83ina (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006), Macau
 
 
(2007) and Istanbul (2008).
 
(2007) and Istanbul (2008).
  
Line 131: Line 130:
  
  
−
* General User:Curator 83air
+
* General Chair
 
** [[has general chair::Abdullah Mohd Zin]] Universiti Kebangsaan Malaysia
 
** [[has general chair::Abdullah Mohd Zin]] Universiti Kebangsaan Malaysia
 
** [[has general chair::Jeff Sanders]] United Nation University, Institute of Software Technology, Macao
 
** [[has general chair::Jeff Sanders]] United Nation University, Institute of Software Technology, Macao
  
−
* Program User:Curator 83airs
+
* Program Chairs
 
** [[has program chair::Martin Leucker]] Technische Universität München, Germany
 
** [[has program chair::Martin Leucker]] Technische Universität München, Germany
 
** [[has program chair::Carroll Morgan]] University of New South Wales
 
** [[has program chair::Carroll Morgan]] University of New South Wales
Line 153: Line 152:
 
** [[has PC member::Van Hung Dang]] United Nations University, Macao
 
** [[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::David Deharbe]] Federal University of Rio Grande do Norte, Brazil
−
** [[has PC member::Wei Dong]] Zhejiang University, User:Curator 83ina
+
** [[has PC member::Wei Dong]] Zhejiang University, China
 
** [[has PC member::Deepak D'Souza]] Indian Institute of Science, India
 
** [[has PC member::Deepak D'Souza]] Indian Institute of Science, India
 
** [[has PC member::John Fitzgerald]] Newcastle Uiversity, England
 
** [[has PC member::John Fitzgerald]] Newcastle Uiversity, England
Line 183: Line 182:
 
** [[has PC member::Mahesh Viswanathan]] University of Illinois at Urbana, USA
 
** [[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::Tomas Vojnar Brno]] University of Technology, Czech Republic
−
** [[has PC member::Ji Wang]] Zhejiang University, User:Curator 83ina
+
** [[has PC member::Ji Wang]] Zhejiang University, China
 
** [[has PC member::Jim Woodcock]] University of York, England
 
** [[has PC member::Jim Woodcock]] University of York, England
 
** [[has PC member::Husnu Yenigun]] Sabanci University, Turkey
 
** [[has PC member::Husnu Yenigun]] Sabanci University, Turkey
−
** [[has PC member::Naijun Zhan]] User:Curator 83inese Academy of Sciences, User:Curator 83ina
+
** [[has PC member::Naijun Zhan]] Chinese Academy of Sciences, China
−
** [[has PC member::Huibiao Zhu]] East User:Curator 83ina Normal University, User:Curator 83ina
+
** [[has PC member::Huibiao Zhu]] East China Normal University, China
  
 
* Steering Committee
 
* Steering Committee

Revision as of 12:39, 7 July 2022

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

  • Local Organizing Committee
  • Zarina Shukur, Universiti Kebangsaan Malaysia (Chairperson)
  • Nazlia Omar
  • Syahanim Mohd Salleh
  • 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
Retrieved from "https://www.confident-conference.org:443/index.php?title=Event:ICTAC_09&oldid=28066"
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
More information