CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item

CF Participation: ICTAC'09 6th International Colloquium on Theoretical Aspects of Computing


  6th International Colloquium on Theoretical Aspects of Computing


		 Pullman Putrajaya Lakeside, Malaysia
		 University Kebangsaan Malaysia (UKM)

		       August 14th - 20th 2009


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 for registration and latest


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


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