Call for Papers FST&TCS-16 (Text Version)
Foundations of Software Tech. and Theor.Comp.Sci
CALL FOR PAPERS
Sixteenth Conference on the
FOUNDATIONS OF SOFTWARE TECHNOLOGY
AND THEORETICAL COMPUTER SCIENCE
December 18-20, 1996 Hyderabad, India
The 16th Annual FST & TCS Conference will take place in Hyderabad.
This year's conference is being organized by the University of
Hyderabad.
SCOPE:
Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of Computer Science.
Typical areas include (but are not limited to):
Computational Complexity;
Design and Analysis of Algorithms (including Parallel,
Distributed, Probabilistic and Randomized Algorithms);
Data Structures;
Learning Theory;
Computational Geometry;
Finite Model Theory;
Logical Aspects of Computational Complexity
(including Proof Theoretic Approaches and
Complexity of Formal Proof Systems);
Constructive Mathematics;
Linear Logic;
Temporal and Modal Logics of Programs;
Rewrite Systems;
Type Theory;
Theory of Concurrency (including Reactive, Real-Time and
Hybrid Systems);
Theory of Logic Programming, Object-oriented, Functional
and Constraints-based Programming;
Formal Concepts in Programming Languages;
Specification and Verification Methodologies.
SUBMISSIONS:
Authors are invited to send SIX copies of a draft of a full paper
or an extended abstract. Electronic submissions will be possible
and detailed instructions will be posted on the conference homepage
on WWW shortly. However, as this electronic submission facility is
being tried for the first time, we strongly encourage authors to also
submit atleast one hard copy. Papers should be limited to 4500 words
(about 12 pages). If authors believe that more details are
necessary, they may include a clearly marked appendix which will
be read at the discretion of the referees. Each paper
should also contain a short abstract of approximately 200 words.
If available, e-mail addresses and fax numbers of the authors
should also be included.
The Conference Proceedings have been traditionally published by
Springer-Verlag in the series Lecture Notes in Computer Science
(LNCS). A commitment that the paper will be presented at the
conference by one of the authors is a pre-condition for an
accepted paper to be included in the proceedings.
IMPORTANT DATES:
Deadline for Submission : 15 May 1996
Notification to Authors : 1 August 1996
Final Version of Accepted Papers due on : 8 September 1996
ADDRESS:
Send papers (hard copies) to:
Vijay Chandru E-mail : cha...@csa.iisc.ernet.in
FST & TCS 16 fst...@csa.iisc.ernet.in
Computer Science & Automation Fax : +91-80-334 1683
Indian Institute of Science
Bangalore 560 012, INDIA
Electronic Submissions:
http://www.csa.iisc.ernet.in/fsttcs
For local arrangements concerning the conference, please write to:
Arun K. Pujari E-mail : ak...@uohyd.ernet.in
Computer & Information Sciences Fax : +91-40-258125/258145
University of Hyderabad
Hyderabad 500 046, INDIA
PROGRAMME COMMITTEE:
V. Arvind (IMSc, Madras)
D. Bjorner (UNU/IIST, Macau)
V. Chandru (IISc, Bangalore) (CHAIR)
S. Chaudhuri (MPI, Saarbrucken)
S-W. Cheng (HKUST, Hongkong)
T.K. Dey (IIT, Kharagpur)
H. Edelsbrunner (UIUC, Urbana-Champaign)
J.J.M. Hooman (EindhovenU, Eindhoven)
P. Jalote (IIT, Kanpur)
S. Kannan (UPenn, Philadelphia)
D. Kapur (SUNY, Albany)
M. Nielsen (BRICS, Aarhus)
S. Prasad (IIT, Delhi)
A.K. Pujari (UHyd, Hyderabad)
V. Raman (IMSc, Madras)
R.K. Shyamasundar (TIFR, Bombay)
G. Sivakumar (IIT, Bombay)
M. Sohoni (IIT, Bombay)
P.S. Thiagarajan (SPIC Sci. Found., Madras)
H. Venkateswaran (GaTech, Atlanta)
V. Vinay (IISc, Bangalore)
ORGANIZING COMMITTEE:
R.K. Bagga (DRDO, Hyderabad)
B.L. Deekshatulu (NRSA, Hyderabad)
H. Mohanty (UHyd, Hyderabad)
A.K. Pujari (UHyd, Hyderabad) (CHAIR)
P.S. Rao (UHyd, Hyderabad)
A. Sharma (TCS, Hyderabad)
A.K. Shiny (UHyd, Hyderabad)