-----------------------------------------------------------------
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 20, 2001: Submissions (EXTENDED)
March 20, 2002: Notifications
-----------------------------------------------------------------
Conference Chair
----------------
Nicola Santoro, Carleton University ([EMAIL PROTECTED])
Conference Co-Chairs
----------------------
Track (1)
Ricardo Baeza-Yates, University of Chile ([EMAIL PROTECTED])
Track (2)
Ugo Montanari, University of Pisa, Italy ([EMAIL PROTECTED])
Program Committee
-----------------
Track (1)
Eric Allender ([EMAIL PROTECTED])
Jos� Balcazar ([EMAIL PROTECTED])
Andrej Brodnik ([EMAIL PROTECTED])
Volker Diekert ([EMAIL PROTECTED])
David Fernandez-Baca ([EMAIL PROTECTED])
Kazuo Iwama ([EMAIL PROTECTED])
John D. Kececioglu ([EMAIL PROTECTED])
Jan van Leeuwen ([EMAIL PROTECTED])
Xuemin Lin ([EMAIL PROTECTED])
Alberto Marchetti Spaccamela ([EMAIL PROTECTED])
David Peleg ([EMAIL PROTECTED])
Prabhakar Raghavan ([EMAIL PROTECTED])
Venkatesh Raman ([EMAIL PROTECTED])
Siang Song ([EMAIL PROTECTED])
Paul Spirakis ([EMAIL PROTECTED])
Luca Trevisan ([EMAIL PROTECTED])
Brigitte Vall�e ([EMAIL PROTECTED])
Alfredo Viola ([EMAIL PROTECTED])
Manfred Warmuth ([EMAIL PROTECTED])
Sue Whitesides ([EMAIL PROTECTED])
Peter Widmayer ([EMAIL PROTECTED])
Jiri Wiederman ([EMAIL PROTECTED])
Track (2)
Gabriel Baum ([EMAIL PROTECTED])
Luca Cardelli ([EMAIL PROTECTED])
Frank DeBoer ([EMAIL PROTECTED])
Ursula Goltz ([EMAIL PROTECTED])
Roberto Gorrieri ([EMAIL PROTECTED])
Jieh Hsiang ([EMAIL PROTECTED])
Takayasu Ito ([EMAIL PROTECTED])
Alexander Letichevsky ([EMAIL PROTECTED])
Jean-Jacques Levy ([EMAIL PROTECTED])
Huimin Lin ([EMAIL PROTECTED])
Kim Marriott ([EMAIL PROTECTED])
Narciso Marti-Oliet ([EMAIL PROTECTED])
John Mitchell ([EMAIL PROTECTED])
Luis Monteiro ([EMAIL PROTECTED])
Peter Mosses ([EMAIL PROTECTED])
Prakash Panangaden ([EMAIL PROTECTED])
Benjamin Pierce ([EMAIL PROTECTED])
Amir Pnueli ([EMAIL PROTECTED])
Leila Ribeiro ([EMAIL PROTECTED])
Gheorghe Stefanescu ([EMAIL PROTECTED])
Andrzej Tarlecki ([EMAIL PROTECTED])
P.S. Thiagarajan ([EMAIL PROTECTED])
Organizing Committee
--------------------
Michel Barbeau ([EMAIL PROTECTED]) -- Chair
Amiya Nayak ([EMAIL PROTECTED])
Giuseppe Prencipe ([EMAIL PROTECTED])
-----------------------------------------------------------------
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
-----------
http://www.scs.carleton.ca/~santoro/TCS2002/indexTCS2002.html
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).
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
