----------------------------------------------------------------- CALL FOR PAPERS ----------------------------------------------------------------- 2nd IFIP International Conference on THEORETICAL COMPUTER SCIENCE (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 -------- http://www.scs.carleton.ca/~santoro/TCS2002/indexTCS2002.html ----------------------------------------------------------------- SPECIAL FOCUS 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. ------------------------------------------------------------------- SUBMISSIONS 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 appendix. The result of the paper must be unpublished and not submitted for publication elsewhere, including journals and the proceedings of other symposia or workshops. One author of each accepted paper should present it at the conference. The Proceedings will be published by Kluwer, the official publisher of IFIP. Authors are strongly encouraged to submit electronically. A detailed description of the electronic submission process will be found at the conference 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: WCC2002 550 Sherbrooke Street West Suite 355, West Tower Montreal(Quebec) 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 ) ------------------------------------------------------------------- AREAS 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 Cryptography 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 ----------------------------------------------------------------- SPONSORS --------- 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) ------------------------------------------------------------------- LOCATION --------- 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.