From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id F2112BBAF for ; Thu, 23 Jul 2009 14:32:59 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApQBAB/1Z0qDnwAkmWdsb2JhbACZcwEBAQEBCAsKBxO2OIQNBYFD X-IronPort-AV: E=Sophos;i="4.43,254,1246831200"; d="scan'208";a="43842288" Received: from mail-out2.informatik.tu-muenchen.de ([131.159.0.36]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 23 Jul 2009 14:32:59 +0200 Received: from localhost (scanbroy [10.46.146.16]) by mailbroy.informatik.tu-muenchen.de (Postfix) with ESMTP id D90E0403D84A3 for ; Thu, 23 Jul 2009 14:23:48 +0200 (CEST) X-Virus-Scanned: by amavisd-new using ClamAV at mailbroy.informatik.tu-muenchen.de Received: from mailbroy.informatik.tu-muenchen.de ([10.46.146.15]) by localhost (mailbroy.informatik.tu-muenchen.de [10.46.146.16]) (amavisd-new, port 10024) with ESMTP id JSTaSek1BXGa for ; Thu, 23 Jul 2009 14:23:48 +0200 (CEST) Received: from lapbroy101 (lapbroy163.informatik.tu-muenchen.de [131.159.46.221]) by mailbroy.informatik.tu-muenchen.de (Postfix) with ESMTPSA id 64AE3403D3042 for ; Thu, 23 Jul 2009 14:23:48 +0200 (CEST) Received: by lapbroy101 (Postfix, from userid 1000) id 426F276800B; Thu, 23 Jul 2009 14:23:48 +0200 (CEST) Date: Thu, 23 Jul 2009 14:23:48 +0200 From: Martin Leucker To: caml-list@inria.fr Subject: CfPart: ICTAC'09 Message-ID: <20090723122348.GA17846@lapbroy101> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.18 (2008-05-17) X-Virus-Scanned: ClamAV using ClamSMTP X-Spam: no; 0.00; lncs:01 unsw:01 model:01 semantics:01 logics:01 uppsala:01 deepak:01 jaist:01 abstraction:01 marjan:01 darmstadt:01 tobias:01 nipkow:01 natarajan:01 ukm:98 [Apoligies for multiple copies] ---------------------------------------------------------------------- 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