FSTTCS 2000: revised Call for Papers
Sanjiva Prasad
sanjiva@REDACTED
Sat May 20 04:45:05 CEST 2000
--text follows this line--
***********************************************************************
* *
* FST TCS 2000 *
* *
* Foundations of Software Technology and Theoretical Computer Science *
* December 13--15, 2000 *
* New Delhi, India *
* *
***********************************************************************
* Call for Papers *
***********************************************************************
New: Electronic Submission Guidelines
Revised list of Invited Speakers
**********************************************************************
IARCS, the Indian Association for Research in Computing Science,
announces the 20th Annual FST TCS Conference in New Delhi.
Tentatively planned satellite events include include two workshops: on
Computational Geometry and on Advances in Programming Languages.
Authors are invited to submit papers presenting original and
unpublished research on **any** theoretical aspects of Computer
Science. Papers in applied areas with a strong foundational emphasis
are also welcome. The proceedings of the last six years' conferences
(Springer-Verlag Lecture Notes in Computer Science volumes 880, 1026,
1180, 1346, 1530, 1738) give an idea of the kind of papers typically
presented at FST TCS. Typical areas include (but are not restricted to):
Automata, Languages and Computability
Randomized and Approximation Algorithms
Computational Geometry
Computational Biology
Combinatorial Optimization
Graph and Network Algorithms
Complexity Theory
Parallel and Distributed Computing
New Models of Computation
Concurrent, Real-time and Hybrid Systems
Logics of Programs and Modal Logics
Database Theory and Information Retrieval
Automated Reasoning, Rewrite Systems, and Applications
Logic, Proof Theory, Model Theory and Applications
Semantics of Programming Languages
Static Analysis and Type Systems
Theory of Functional and Constraint-based Programming
Software Specification and Verification
Cryptography and Security Protocols
For an accepted paper to be included in the proceedings, one of
the authors must commit to presenting the paper at the conference.
Important Dates
---------------
Deadline for Submission 31 May, 2000
Notification to Authors 15 August, 2000
Final Version of Accepted Papers due 15 September, 2000
Deadline for Early Registration 15 November, 2000
Submission Guidelines
- ---------------------
Authors may submit drafts of full papers or extended abstracts.
Submissions are limited to 12 A4-size pages, with 1.5 inch top
margin and other margins 1 inch wide with 11 point or larger font.
Authors who feel that more details are necessary may include a
clearly marked appendix which will be read at the discretion of
the Programme Committee. Each paper should contain a short abstract.
If available, e-mail addresses and fax numbers of the authors should
be included.
Electronic Submissions
- --------------------
Electronic submission is very strongly encouraged.
You may submit your paper using Rich Gerber's system START by visiting
the URL for the conference and following the appropriate links.
The URL for submissions is
http://www.cse.iitd.ernet.in/~fsttcs20/START/www/submit.html
In case you ar eunable to submit using START, self-contained uuencoded
gzipped Postscript versions of the paper may be sent by e-mail to
fsttcs20@REDACTED
In addition, the following information in ASCII format should be
sent to this address in a **separate** e-mail: Title; authors;
communicating author's name, address, and e-mail address and
fax number if available; abstract of paper.
Hard-Copy Submissions
- ---------------------
If electronic submission is not possible, authors may submit five
(5) hard-copies of the paper by post to the following address:
FST TCS 2000
Department of Computer Science and Engineering
I.I.T., Delhi
Hauz Khas
New Delhi 110 016
INDIA
Invited Speakers
----------------
Invited Speakers who have confirmed participation include:
Peter Buneman (U Penn)
Bernard Chazelle (Princeton)
E. Allen Emerson (U Texas, Austin)
Martin Groetschel (ZIB)
Jose Meseguer (SRI)
Philip Wadler (Bell Labs)
Programme Committee
-------------------
Pankaj Agarwal (Duke)
Manindra Agrawal (IIT, Kanpur)
Tetsuo Asano (JAIST)
Vijay Chandru (IISc, Bangalore)
Rance Cleaveland (Stony Brook)
Anuj Dawar (Cambridge)
Sampath Kannan (AT&T Research)
Sanjiv Kapoor (IIT, Delhi) (Co-chair)
Kamal Lodaya (IMSc, Chennai)
Madhavan Mukund (CMI, Chennai)
Gopalan Nadathur (Loyola)
Seffi Naor (Bell Labs and Technion)
Tobias Nipkow (TU Munich)
Luke Ong (Oxford)
C. Pandu Rangan (IIT, Chennai)
Paritosh Pandya (TIFR)
Benjamin Pierce (U Penn)
Sanjiva Prasad (IIT, Delhi) (Co-chair)
Sridhar Rajagopalan (IBM, Almaden)
Abhiram Ranade (IIT, Mumbai)
Dave Sands (Chalmers)
A Prasad Sistla (U Illinois, Chicago)
Michiel Smid (Magdeburg)
Mandayam K. Srivas (SRI)
Organized by
------------
Indian Institute of Technology, Delhi
Hauz Khas, New Delhi 100 016.
Organizing Committee
-------------------
Sandeep Sen (chair)
Naveen Garg (treasurer)
S N Maheshwari
Conference Site
---------------
The Conference will take place at the India International Centre,
40 Lodhi Estate, Max Mueller Marg, New Delhi 110 003.
Correspondence Address
----------------------
All correspondence regarding submissions may be addressed to
FST TCS 2000
Department of Computer Science and Engineering
I.I.T., Delhi
Hauz Khas,
New Delhi 110 016, INDIA
Email: fsttcs20@REDACTED
Fax: +91 11 686 8765
Phone: +91 11 659 1294 / 659 1286
URL: http://www.cse.iitd.ernet.in/~fsttcs20
--
Sanjiva Prasad
Associate Professor
Department of Computer Science and Engineering sanjiva@REDACTED
Indian Institute of Technology, Delhi (Off) +91 11 659 1294
Hauz Khas, New Delhi 110016 (Res) +91 11 659 1684
INDIA (Fax) +91 11 686 8765
http://www.cse.iitd.ernet.in/~sanjiva
More information about the erlang-questions
mailing list