[TYPES] ICTAC04: Call for Participants

Bernhard K. Aichernig bka at iist.unu.edu
Tue Sep 7 13:28:21 EDT 2004


                    CALL FOR PARTICIPATION: ICTAC 2004
     FIRST INTERNATIONAL COLLOQUIUM on THEORETICAL ASPECTS OF COMPUTING
                  Guiyang, China 20 -- 24 September 2004
                     http://www.iist.unu.edu/ICTAC2004



The First International Colloquium on Theoretical Aspects of Computing 
(ICTAC04)
will be held in Guiyang, the Guizhou Province
China, during 20-24 September 2004.

The technical programme of the colloqium includes workshop during which
four outstanding invited talks, 36 presentations of high quality
papers selected from 111 submissions from over 30 countries and regions. 
For the
detailed programme, please visit

http://www.iist.unu.edu/ICTAC2004/programme.html

There will be six very good affiliated tutorials on 20 and 21
September 2004. YOU ONLY NEED TO PAY 100 YUAN (12 USD) to attend the 
tutorials.
Information about the tutorial speakers and the abstracts of the 
tutorials are available at
http://www.iist.unu.edu/ICTAC2004/tutorials.html

For information about registration, hotel, visa application and social
events, please visit the conference website.

SCOPE AND OBJECTIVES

   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. We believe that this will help the developing countries to 
strengthen their
   research, teaching and development in computer science and 
engineering, to improve the
   links between developing countries and developed countries, and to 
establish collaboration
   in research and education.

SCOPE AND TOPICS

   ICTAC 2004 calls for tutorials in the areas of theoretical aspects of 
computing
   including automata, languages, software engineering and formal 
methods and solicits
   research papers for the workshop related to, but not limited to, the 
following
   principal topics:

     * automata theory and formal languages
     * principle and semantics of programming languages
     * logics and their applications
     * software architectures and their description languages
     * formal techniques in MDA
     * software specification,  refinement and verification
     * model checking and theorem proving
     *formal techniques in software testing
     * models of object and component system
     * 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) computing
     *Boolean satisfiability (SAT)
     * real-time and embedded systems
     * type and category theory in computer science

   The proceedings will be available as a UNU-IIST technical report at 
the colloqium.
   It is planned to publish the accepted papers after the conference in 
revised
   full version in the Springer
   Lecture Notes in Computer Science series 
(http://www.springer.de/comp/lncs/index.html).




INVITED SPEAKERS

Jose Luiz Fiadeiro (University of Leicester, UK)
Jifeng He (UNU-IIST, Macao)
K. Rustan M. Leino (Microsoft Research, WA, USA)
Huimin Lin (Institute of Software, CAS, Beijing, China)

Program Committee Chairs
     Keijiro Araki (Kyushu University, Japan)
     Zhiming Liu (UNU-IIST, Macao SAR China)

Publicity Chairs
     Bernhard Aichernig (UNU-IIST, Macao)
     Dan Li (Academy of Sciences, Guizhou, China)

Finance Chair
    Danning Li (Academy of Sciences, Guizhou, China)

Organization Chair
    Danning Li (Academy of Sciences, Guizhou, China)

Advisory Committee
    Dines Bjorner (Denmark), Manfred Broy (Germany),
    Jose Luiz Fiadeiro (University of Leicester, UK),
    Jifeng He (UNU-IIST),
    Mathai Joseph (India),
    Shaoying Liu (Japan),
    Zhiming Liu (UNU-IIST),
    Jim Woodcock (UK)

Program Committee

   Luis S. Barbosa (University of Minho, Portugal)
   Gabriel Baum (National University of La Plata, Argentina)
   Hubert Baumeister (LMU, Munich, Germany)
   Jonathan Bowen (London South Bank University, UK)
   Cristian S. Calude (University of Auckland, New Zealand)
   Ana Cavalcanti (University of Kent, UK)
   Wei Ngan Chin (NUS, Singapore)
   Jim Davies (Oxford University, UK)
   Henning Dierks (University of Oldenburg, Germany)
   Jin Song Dong (National University, Singapore)
   Wan Fokkink (CWI, the Netherlands)
   Michael R. Hansen (DTU, Lyngby, Denmark)
   James Harland (RMIT University, Melbourne, Australia)
   Jozef Hooman (Embedded Systems Institute, Eindhoven, the Netherlands)
   Guoxing Huang (ECNU, Shanghai, China)
   Purush Iyer (North Carolina State University, USA)
   Ryszard Janicki (McMaster University, Ontario, Canada,)
   Michael Johnson( Macquarie University, Sydney, Australia)
   Fabrice Kordon (University of Paris VI, France)
   Maciej Koutny (University of Newcastle upon Tyne, UK)
   Kung-Kiu Lau (Manchester University, UK)
   Antonia Lopes (University of Lisbon, Portugal)
   Jian Lu (Nanjing University, China)
   Andrea Maggiolo-Schettini (University of Pisa, Italy)
   Huaikou Miao (Shanghai University, China)
   Paniti Netinant (Bangkok University, Thailand)
   Paritosh Pandya (TIFR, Mumbai, India)
   Zongyan Qiu (Peking University, Beijing, China)
   Anders P. Ravn (Aalborg University, Denmark)
   Gianna Reggio (University of Genova, Italy)
   Riadh Robbana (LIP2/EPT, Tunisia)
   Augusto Sampaio (Federal Univ of Pernambuco, Recife, Brazil)
   Bernhard Schatz (TU Munchen, Germany)
   Irek Ulidowski (University of Leicester, UK)
   Miroslav Velev (Carnegie Mellon University, USA)
   Ji Wang  (National Lab for Parallel and Distributed Processing, China)
   Wang Yi (Uppsala University, Swiden)
   Jian Zhang (Institute of Software, CAS, China)
   Mingyi Zhang (Academic of Sciences, Guizhou, China)
   Hongjun Zheng (Semantics Designs Inc, USA)

-- 
Bernhard Aichernig, Research Fellow of UNU-IIST  www.iist.unu.edu/~bka
----------------------------------------------------------------------
Go to China for SEFM 2004                    www.iist.unu.edu/SEFM2004
and ICTAC 2004.                             www.iist.unu.edu/ICTAC2004
Plan to attend ASE 2004!                        www.ase-conference.org
See you at FM 2005                              www.csr.ncl.ac.uk/fm05



More information about the Types-list mailing list