TCS 2002 - Call for Papers

                                  CALL FOR PAPERS

                      2nd IFIP International Conference on


                                   (TCS 2002)

                         Montreal, August 25-30, 2002

                    co-sponsored by  EATCS and ACM SIGACT

The program of of the conference will be composed of two tracks:

Track 1 -  Algorithms, Complexity and Models of Computation
Track 2  -  Logic, Semantics, Specification and Verification.

Important Dates:

December  3, 2001:  Submissions
February 20, 2002:  Notifications

Conference Chair
    Nicola Santoro, Carleton University (santoro@scs.carleton.ca)

Conference Co-Chairs
Track (1)
    Ricardo Baeza-Yates, University of Chile (rbaeza@dcc.uchile.cl)
Track (2)
    Ugo Montanari, University of Pisa, Italy (ugo@di.unipi.it)

Program Committee
Track (1)
      Eric Allender (allender@aramis.rutgers.edu)
      Jos╚ Balcazar (balqui@lsi.upc.es)
      Andrej Brodnik (Andrej.Brodnik@IMFM.Uni-Lj.SI)
      Volker Diekert  (diekert@informatik.uni-stuttgart.de)
      David Fernandez-Baca (fernande@cs.iastate.edu)
      Kazuo Iwama (iwama@i.kyoto-u.ac.jp)
      John D. Kececioglu  (kece@CS.Arizona.EDU)
      Jan van Leeuwen (jan@cs.uu.nl)
      Xuemin Lin (lxue@cse.unsw.EDU.AU)
      Alberto Marchetti Spaccamela  (alberto@dis.uniroma1.it)
      David Peleg (peleg@wisdom.weizmann.ac.il)
      Prabhakar Raghavan (pragh@verity.com)
      Venkatesh Raman (vraman@imsc.ernet.in)
      Siang Song (song@ime.usp.br)
      Paul Spirakis (spirakis@cti.gr)
      Luca Trevisan  (luca@eecs.berkeley.edu)
      Brigitte Vall╦e (Brigitte.Vallee@info.unicaen.fr)
      Alfredo Viola (viola@fing.edu.uy)
      Manfred Warmuth (manfred@cse.ucsc.edu)
      Sue Whitesides (sue@cs.mcgill.ca)
      Peter Widmayer  (widmayer@inf.ethz.ch)
      Jiri Wiederman  (wieder@uivt.cas.cz)

Track (2)
      Gabriel Baum (gbaum@info.unlp.edu.ar)
      Luca Cardelli (luca@microsoft.com)
      Frank DeBoer (frankb@cs.ruu.nl)
      Ursula Goltz (u.goltz@tu-bs.de)
      Roberto Gorrieri (gorrieri@cs.unibo.it)
      Jieh Hsiang  (hsiang@csie.ntu.edu.tw)
      Takayasu Ito (ito@ito.ecei.tohoku.ac.jp)
      Alexander Letichevsky (letichev@carrier.kiev.ua)
      Jean-Jacques Levy (Jean-Jacques.Levy@inria.fr)
      Huimin Lin (lhm@ox.ios.ac.cn)
      Kim Marriott (marriott@csse.monash.edu.au)
      Narciso Marti-Oliet (narciso@eucmos.sim.ucm.es)
      John Mitchell (mitchell@cs.stanford.edu)
      Luis Monteiro (lm@fct.unl.pt)
      Peter Mosses (pdmosses@daimi.aau.dk)
      Prakash Panangaden (prakash@cs.mcgill.ca)
      Benjamin Pierce (bcpierce@cis.upenn.edu)
      Amir Pnueli (amir@wisdom.weizmann.ac.il)
      Leila Ribeiro (leila@inf.ufrgs.br)
      Gheorghe Stefanescu (ghstef@funinf.math.unibuc.ro)
      Andrzej Tarlecki (tarlecki@mimuw.edu.pl)
      P.S. Thiagarajan (pst@smi.ernet.in)

Organizing Committee
      Michel Barbeau (barbeau@scs.carleton.ca)  -- Chair
      Amiya Nayak  (nayak@nortelnetworks.com)
      Giuseppe Prencipe (prencipe@di.unipi.it)

Web Site


    Foundations of IT in the Era of Network and Mobile Computing

Original and significant contributions on the special focus and on foundational
questions are sought from all areas of theoretical computer science.


A submission should consist of:  1) a cover page, including the track name,
the title of the paper, names and affiliations of authors, an abstract up to
300 words, and the contact author's name, address, phone number, fax
number, and email address; 2) the paper, which should provide a summary
of the main results and their details to allow the program committee to
assess their merits and significance, including references and comparisons.
Submissions are limited to 14  A4-size pages, in 11 point or larger font.
Proofs omitted due to space constraints must be put into a clearly marked
The result of the paper must be unpublished and not submitted for publication
elsewhere, including journals and the proceedings of other symposia or
One author of each accepted paper should present it at the conference.

The Proceedings will be published by Kluwer, the official publisher of

Authors are strongly encouraged to submit electronically. A detailed
description of the electronic submission process will be found at the
web site. Unprintable Postscript and Postscript submissions not formatted
for 8.5x11 inch paper will be rejected without consideration of their merits.

Authors who do not wish to submit electronically are invited to submit hard
copies by the following procedure: (a) The authors must first send an e-mail
to the relevant Vice-chair to state the intention of submitting hard copies
by  November 25, 2001; (b) The authors must send 10 copies (printed
double-sided if possible) of the submission, INDICATING the conference title,
to the address  below to be received by December 3, 2001. (c) Authors from
locations where  access to reproduction facilities is severely limited may ask
for permission of submitting a single copy by first sending an e-mail to the
relevant Vice-chair at or before November 25, 2001.
Mailing Address:
  550 Sherbrooke Street West
  Suite 355, West Tower
  H3A 1B9

INVITED SPEAKERS (preliminary)

Andy Gordon   ( http://research.microsoft.com/~adg/ )
Jozef Gruska   gruska@informatics.muni.cz
Carl Gunter     ( http://www.cis.upenn.edu/~gunter/wip.html )
Jon Kleinberg  ( http://www.cs.cornell.edu/home/kleinber/kleinber.html )


Track (1): Algorithms, Complexity and Models of Computation

Analysis and design of algorithms
Automata and formal languages
Cellular automata and systems
Combinatorial, graph and optimization algorithms
Computational and mathematical finance
Computational learning theory
Continuous algorithms and complexity
Computational complexity
Computational geometry
Distributed computing
Descriptional complexity
Evolutionary and genetic computing
Experimental algorithms
Mobile computing
Molecular computing and algorithmic aspects of bioinformatics
Network computing
Neural computing
Parallel and distributed algorithms
Probabilistic and randomized algorithms
Quantum computing
Structural information and communication complexity

Track (2): Logic, Semantics, Specification and Verification

Bridging semantics and complexity
Concurrency theory
Constructive and non-standard logics in computer science
Foundations of global computing
Foundations of mobile computing
Foundations of security
Foundations of system specification
Foundations of wide area programming
Logic and semantics for programs and languages
Logic, specification and verification of hybrid and real-time systems
Proofs and specifications in computer science
Term rewriting systems
Theoretical aspects of software concepts
Theoretical aspects of specification, and verification of hardware and software
Theoretical foundations of databases
Theoretical foundations of open systems
Theory of Internet languages and systems
Theory of parallel and distributed systems
Type and category theory in computer science


TCS2002 conference is sponsored by

-- IFIP TC1 (Technical Committee on Foundations of Computer Science)

in cooperation with

--  EATCS (European Association for Theoretical Computer Science)

-- ACM SIGACT (Special Interest Group on Algorithm and Computation Theory)

IFIP TC1 Steering Committee

     Giorgio Ausiello (U. of Roma "La Sapienza", Italy) - CHAIR -
     Wilfried Brauer (TU Munchen, Germany)
     Takayasu Ito (Tohoku University, Japan)
     Michael O. Rabin (Harvard University, USA)
     Joseph Traub (Columbia University, USA)


The conference will be held in Montreal, August 25-30, 2002, as part of the
17th IFIP World Computer Congress (http://www.wcc2002.org).

Ten  conferences will take place at the same time, in addition to
workshops, tutorials,  and joint sessions.

LINKAGE SESSION : "Autonomous Agents-Control and Security"

A join invited session  co-organized by  TCS 2002  and   IIP 2002

    Autonomous software agents provide a fascinating metaphor for complex
    software systems in a networked society. Leading researchers from three
    different IT communities, represented by TC1 (Foundations of Computer
    Science), TC9 (Relationship between Computers and Society) and TC12
    (Artificial Intelligence), will give a comprehensive overview of
   foundations, societal aspects and AI contributions.