Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] ICTAC'09: Call for Workshop Proposals


view this post on Zulip Email Gateway (Aug 18 2022 at 12:32):

From: Martin Leucker <leucker@in.tum.de>


ICTAC'09

6th International Colloquium on Theoretical Aspects of Computing

* CALL FOR WORKSHOP PROPOSALS *

Equatorial Hotel Bangi, Malaysia
University Kebangsaan Malaysia (UKM)

August 18th - 20th 2009

http://www.ictac.net/ictac09/


The 6th International Colloquium on Theoretical Aspects of Computing
is taking place from the 18th 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


Traditionally, ICTAC'09 is hosting a number of affiliated workshops
complementing its technical program. Affiliated workshops will be
organized on August 16 and 17 as pre-event workshops.

Proposals for workshops affiliated with ICTAC'09 are cordially
invited. Informal proposals should be sent by e-mail by

November 30, 2008

to the workshop chair

Abhik Roychoudhury (abhik@comp.nus.edu.sg)

and should include the following information:

ICTAC'09 will provide organizational and administrative support for the
workshops. The proposals should be submitted to the workshop chairs
as soon as possible, but no later than November 30, 2008.
Notification will be sent shortly afterwards.


Last updated: May 03 2024 at 08:18 UTC