[TYPES] Call for Tutorials - ICTAC05

Bernhard K. Aichernig bka at iist.unu.edu
Mon Feb 28 12:19:24 EST 2005

Call for Tutorials - ICTAC05


Hanoi, Vietnam - 17--21 October, 2005


ICTAC is an International Colloquium on Theoretical Aspects of
Computing founded by the International Institute for Software
Technology of the United Nations University (UNU-IIST). The aim of the
colloquium is to bring together practitioners and researchers from
academia, industry and government to present research results, and
exchange experience, ideas, and solutions for their problems in
theoretical aspects of computing.The colloquium is aimed particularly,
but not exclusively, at participants from developing countries.  We
believe that this will help developing countries to strengthen their
research, teaching and development in computer science and
engineering, improve the links between developing countries and
developed countries, and establish collaboration in research and
education. The first ICTAC (ICTAC'04) was held in Guiyang, China and
its proceedings were published as "ICTAC 2004: Theoretical Aspects of
Computing", LNCS 3407.

ICTAC'05 will have a technical program for five days
including two days for tutorials and three days for a conference, and a
training school for 5 days.

The topics of the conference include, but are not limited to:

- automata theory and formal languages
- principles and semantics of programming languages
- logics and their applications
- software architectures and their description languages
- software specification,  refinement, and verification
- model checking and theorem proving
- formal techniques in software testing
- models of object and component  systems
- coordination and feature interaction
- integration of formal and  engineering methods
- service-oriented development
- document-driven development
- models of concurrency,  security, and mobility
- theory of parallel, distributed, and  internet-based (grid)
- real-time and embedded systems
- type and category theory in  computer science


ICTAC'05 will be organised jointly between the Institute of
Information Technology of the Vietnamese Academy of Sciences and
Technology (IoIT), the University of Technology of the Vietnam
National University in Hanoi (UoT-VNU) and UNU-IIST. UNU-IIST, IoIT
and UoT-VNU are also sponsors of ICTAC'05. There will be an
one-week training school during 10--14 October 2005 before the conference.


You are welcome to submit a proposal for a tutorial on any subject
related to the topics listed above. All tutorial proposal submissions
should have a detailed description of the tutorial contents, the time
duration, and an extended abstract written in English. The extended
abstract should not not exceed 5 pages in LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details). The
extended abstract of the accepted tutorials will be published in the
proceedings of the ICTAC05 conference which will be published by
Springer in the Lecture Notes in Computer Science series.

All queries and tutorial proposals should be sent to the program
committee co-chairs Dang Van Hung, e-mail: dvh at iist.unu.edu, or
Martin Wirsing, e-mail: wirsing at informatik.uni-muenchen.de.

The deadline for tutorial proposal submission is 11 July 2005, and the
notification of tutorial proposal acceptance is 25 July 2005.

The date for tutorials is 17-18 October, 2005.


Dines Bjorner, Singapore
Manfred Broy, Germany
Jifeng He, UNU-IIST
Mathai Joseph, India
Shaoying Liu, Japan
Zhiming Liu, UNU-IIST
Jim Woodcock, UK
Jose Luiz Fiadeiro, UK
Tobias Nipkow, Germany


Bernhard K. Aichernig, UNU-IIST


Le Hai Khoi, IoIT (co-chair)
Ho Si Dam, UoT-VNU (co-chair)
Nguyen Tue, UoT-VNU
Bui The Duy, UoT-VNU
Nguyen Viet Ha, UoT-VNU
Vu Duc Thi, IoIT
Le Quoc Hung, IoIT
Do Nang Toan, IoIT
Ngo Quoc Tao, IoIT


Marc Aiguier, France
Keijiro Araki, Japan
J.O.A. Ayeni, Nigeria
Jay Bagga, USA
Hubert Baumeister, Germany
Michel Bidoit, France
Jonathan Bowen, UK
Victor A. Braberman, Argentina
Cristian S. Calude, New Zealand
Ana Cavalcanti, UK
Yifeng Chen, UK
Dang Van Hung, UNU-IIST (co-chair)
Jim Davies, UK
Janos Demetrovics, Hungary
Jin Song Dong, Singapore
Henning Dierks, Germany
Do Long Van, Vietnam
Marcelo F. Frias, Argentina
Wan Fokkink, Netherlands
Susanna Graf, France
Valentin Goranko, South Africa
Dimitar Guelev, Bulgaria
Michael R. Hansen, Denmark
Jozef Hooman, Netherlands
Purush Iyer, USA
Ryszard Janicki, Canada
Takuya Katayama, Japan
Maciej Koutny, UK
Xuandong Li, China
Antonia Lopes, Portugal
Antoni Mazurkiewicz, Poland
Hrushikesha Mohanty, India
Ngo Quang Hung, USA
Nguyen Cat Ho, Vietnam
Paritosh Pandya, India
Jean-Eric Pin, France
Narjes Ben Rajeb, Tunisia
R. Ramanujam, India.
Anders P. Ravn, Denmark
Gianna Reggio, Italy
Wolfgang Reif, Germany
Riadh Robbana, Tunisia
Mark Ryan, UK
Zaidi Sahnoun, Algeria
Augusto Sampaio, Brazil
Don Sannella, UK
Bernhard Schaetz, Germany
Andrea Maggiolo-Schettini, Italy
Carolyn Talcott, USA
P. S. Thiagarajan, Singapore
Ji Wang, China
Martin Wirsing, Germany (co-chair)
Mingsheng Ying, China
Jian Zhang, China
Hongjun Zheng, USA

Bernhard Aichernig, Research Fellow of UNU-IIST  www.iist.unu.edu/~bka
SEFM 2005:  3rd IEEE International Conference on Software Engineering
             and Formal Methods, Koblenz, Germany, 7.- 9. Sept. 2005

ICTAC 2005: International Colloquium on Theoretical Aspects of
             Computing, Hanoi, Vietnam, 17-21 October, 2005

More information about the Types-list mailing list