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