Email Gateway (Aug 18 2022 at 13:51): Email Gateway (Aug 18 2022 at 13:51):From: Martin Leucker <leucker@in.tum.de>
[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
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
Last updated: Nov 21 2024 at 12:39 UTC