|
|
| Line 1: |
Line 1: |
| {{Event
| | That's an ignneious way of thinking about it. |
| | Acronym = ICTAC 2009
| |
| | Title = 6th International Colloquium on Theoretical Aspects of Computing
| |
| | Type = Conference
| |
| | Series =
| |
| | Field = Computer science
| |
| | Homepage = www.ictac.net/ictac09
| |
| | Start date = Aug 16, 2009
| |
| | End date = Aug 20, 2009
| |
| | City=
| |
| | State =
| |
| | Country = Malaysia
| |
| | Abstract deadline =
| |
| | Submission deadline = Apr 10, 2009
| |
| | Notification =
| |
| | Camera ready = Jun 1, 2009
| |
| }}
| |
| | |
| <pre>
| |
| ----------------------------------------------------------------------
| |
| ICTAC'09
| |
| | |
| 6th International Colloquium on Theoretical Aspects of Computing
| |
| | |
| *** CALL FOR PAPERS ***
| |
| | |
| 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
| |
| -------------
| |
| 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
| |
| </pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4978&copyownerid=3565 WikiCFP]
| |