Logic List Mailing Archive
CfPart: ICTAC09, Malaysia, Aug 2009
----------------------------------------------------------------------
=09=09=09 ICTAC'09
6th International Colloquium on Theoretical Aspects of Computing
=09=09 *** CALL FOR PARTICIPATION ***
=09=09 Pullman Putrajaya Lakeside, Malaysia
=09=09 University Kebangsaan Malaysia (UKM)
=09=09 August 14th - 20th 2009
=09=09 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=09 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 Universitt Mnchen, 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=09 Technical University of Dresden, Germany
Mario Bravetti=09 Universita di Bologna, Italian
Ana Cavalcanti=09 University of York, England
Van Hung Dang United Nations University, Macao
David Deharbe=09 Federal University of Rio Grande do Norte, Brazil
Wei Dong=09 National University of Defense Technology, China
Deepak D'Souza=09 Indian Institute of Science, India
John Fitzgerald=09 Newcastle Uiversity, England
Wan Fokkink=09 Vrije University Amsterdam, The Netherlands
Marcelo Frias=09 University of Buenos Aires, Argentina
Kokichi Futatsugi JAIST, Japan
Paul Gastin=09 LSV/ENS Cachan, France
Susanne Graf=09 VERIMAG, France
Lindsay Groves=09 Victoria University of Wellington, New Zealand
Anne Haxthausen=09 Technical University of Denmark, Denmark
Moonzoo Kim=09 KAIST, South Korea
Kim G. Larsen=09 Aalborg University, Denmark
Insup Lee=09 University of Pennsylvania, USA
Martin Leucker=09 TU Munich, Germany
Kamal Lodaya=09 Institute of Mathematical Sciences, India
Larissa Meinicke Abo Akademi, Finland
Ugo Montanari=09 University of Pisa, Italian
Carroll Morgan=09 University of New South Wales, Australia
Ahmed Patel=09 Universiti Kebangsaan Malaysia, Malaysia
Pekka Pihlajasaari Data Abstraction (Pty) Ltd, South Africa
Abhik Roychoudhury National University of Singapore, Singapore
Hassen Saidi=09 SRI International, USA
Augusto Sampaio=09 Universidade Federal de Pernambuco, Brazil
Cesar Sanchez=09 IMDEA, Spain
Marjan Sirjani=09 University of Tehran, Iran
Sofiene Tahar=09 Concordia University, Canada
Serdar Tasiran=09 Koc University, Turkey
Helmut Veith=09 Technical University Darmstadt, Germany
Mahesh Viswanathan University of Illinois at Urbana, USA
Tomas Vojnar=09 Brno University of Technology, Czech Republic
Ji Wang=09=09 Zhejiang University, China
Jim Woodcock=09 University of York, England
Husnu Yenigun=09 Sabanci University, Turkey
Naijun Zhan=09 Chinese Academy of Sciences, China
Huibiao Zhu=09 East China Normal University, China
Steering Committee
------------------
John Fitzgerald University of Newcastle upon Tyne, UK
Martin Leucker =09 Technische Universitt Mnchen, Germany
Zhiming Liu (Chair) UNU-IIST, Macao
Tobias Nipkow Technische Universitt Mnchen, Germany
Augusto Sampaio Universidade Federal de Pernambuco, Brazil
Natarajan Shankar SRI, USA
Jim Woodcock University of York, UK