The Latex version of the Call For Papers for the
17th Conference on Foundations of Software Technolofy and
Theoretical Computer Science to be held in
India in December 1997 is enclosed below.
Submission deadline (by e-mail) is May 15, 1997.
For more details, please contact ······@cse.iitb.ernet.in
Siva. (····@cse.iitb.ernet.in)
-------------------------------------
\documentclass[10pt]{article}
\topmargin-0.75in
\marginparwidth 0pt \oddsidemargin -27pt \evensidemargin -27pt
\marginparsep 0pt
\textwidth 7in \textheight 10.0in\parskip 6pt \parindent 0pt
\renewcommand{\i}[1]{{\it #1 \/}}
\begin{document}
%
% Overall structure of the page
% ---------------line---------------------
% parbox(logo) minipage (title)
% ---------------line---------------------
%
% Minipage minipage
% (com- (conference
% mit- information)
% tees)
%
%
\thispagestyle{empty}
%
% BEGIN Top Box
%
% First, a top line, with \parskip separation after
%
\rule{7in}{1pt}
%
% Parbox with logo
%
\parbox{1.5in}{
%\epsfxsize=1.5in
%\epsfbox{fst97logo.epsf}
}
\hspace*{\fill}
%
% Minipage with title
%
\begin{minipage}{5.3in}% first column
\begin{center}
{\bf CALL FOR PAPERS}\\[2ex]
{\large Seventeenth Conference on the }\\[2ex]
{\Large\bf FOUNDATIONS OF SOFTWARE TECHNOLOGY \\[1ex]
AND THEORETICAL COMPUTER SCIENCE }\\[2ex]
{\large\it December 18-20, 1997, IIT Kharagpur, India}
\end{center}
\end{minipage}
%
% Finally, bottom line, with \parskip separation before
%
\rule{7in}{1pt}
%
% END Top Box (no \parskip after \rule)!
%
%
% BEGIN Left Box
%
\small
\begin{minipage}[t]{2.9in}
\vspace*{0.1in}
{\bf Program Chairs:} \\[1mm]
S. Ramesh and G. Sivakumar\\
Attn: FST\&TCS\\
Department of Computer Science\\
Indian Institute of Technology\\
Powai, Mumbai 400 076\\
India\\
{\tt ······@cse.iitb.ernet.in}\\
Phone: +91 22 5782545\\
Fax: +91 22 5783441\\[0.1in]
{\bf Program Committee:} \\[1mm]
Manindra Agrawal {\em (IIT Kanpur)}\\
Ralph Back {\em (Abo Akademi, Finland)}\\
John Case {\em (U. Delaware)}\\
Vijay Chandru {\em (IISc Bangalore)}\\
Joxan Jaffar {\em (NUS, Singapore)} \\
Nachum Dershowitz {\em (UIUC, Illinois)}\\
Tamal K. Dey {\em (IIT Kharagpur)} \\
Anna Gal {\em (Princeton)}\\
Asish Mukhopadhyay {\em (IIT Kanpur)}\\
Madhavan Mukund {\em (SMI Madras)} \\
Ketan Mulmuley {\em (IIT Bombay/U.Chicago) }\\
C. Pandurangan {\em (IIT Madras)}\\
P. K. Pandya {\em (TIFR Bombay)}\\
A. K. Pujari {\em (U. Hyd., Hyderabad) }\\
Vijaya Ramachandran {\em (U. Texas)}\\
Krithi Ramamritham {\em (U. Mass.)}\\
Venkatesh Raman {\em (IMSc Madras) }\\
S. Ramesh {\em (IIT Bombay) (Co-chair) }\\
Bala Ravikumar {\em (U. Rhode Island) }\\
Willem-Paul de Roever {\em (Kiel University)}\\
Sandeep Sen {\em (IIT Delhi)}\\
R. K. Shyamasundar {\em (TIFR Bombay)}\\
G. Sivakumar {\em (IIT Bombay)(Co-chair) }\\
Ashok Subramanian {\em (IISc Bangalore)}\\[0.1in]
{\bf Organizing Committee} \\[1mm]
S. C. De Sarkar (Chair) {\em (IIT, KGP)} \\
T. K. Dey (Convener) {\em (IIT, KGP)} \\
P. P. Chakrabarti (Treasurer) {\em (IIT, KGP)} \\
A. Bagchi {\em (IIM, Calcutta)} \\
M. K. Chakraborty {\em (Calcutta Univ.)} \\
P. P. Das {\em (IIT, KGP)} \\
P. Dasgupta {\em (IIT, KGP)} \\
G. L. Datta {\em (IIT, KGP)} \\
A. Pal {\em (IIT, KGP)} \\
S. P. Pal {\em (IIT, KGP)} \\
D. Sarkar {\em (IIT, KGP)} \\
B. P. Sinha {\em (ISI, Calcutta)} \\
\end{minipage}
%
% END Left Box
%
%
% BEGIN Right Box
%
\begin{minipage}[t]{4in}% second column
\parskip 1ex
\vspace*{0.1in}
The {\bf FST\&TCS} conference is a forum for presenting original research
results in foundational aspects of Computer Science and Software Technology.
The conference proceedings are brought out by Springer-Verlag in the
series Lecture Notes in Computer Science (LNCS).
Authors are invited to submit papers presenting original and
unpublished research in the following or related areas.
{\sf
\begin{tabbing}
\hspace*{0.75cm} \= Algorithms \= (\= \kill
\> Algorithms \> (including Parallel, Distributed, \+ \+ \+\\
Probabilistic and Randomized Algorithms) \- \-\\
Computational Geometry\\
Complexity Theory\\
Learning Theory\\
Programming Languages (Semantics and Type Theory)\\
Distributed, Concurrent, Real-time and Hybrid Systems\\
Database systems \- \\
\hspace*{0.75cm} \= Prog \= (\= \kill
\> Automated Reasoning and Applications \+ \+ \\
(\> Rewrite Systems, Constructive Mathematics, \+\\
Program verification, Symbolic Computation) \- \-\\
Programming Logics \+ \\
(Temporal, Modal Logics and Linear Logics) \- \\
Programming Paradigms \+ \\
(Logic, Functional and Object-oriented languages) \- \\
Software Specification, Construction and Verification
\end{tabbing}
}
Submissions on practical applications in these areas such as
case studies, system design and software tools are also encouraged.
Authors are invited to submit by e-mail (to
······@cse.iitb.ernet.in) the postscript version (compressed and
uuencoded) complemented by a hard copy sent to the program
co-chairs. A separate e-mail message with author(s), title and
abstract (ascii) should also be sent. If e-mail submission is
not possible, SIX copies of the paper may be sent by post.
Papers should be limited to 4500 words (about 12 pages). Authors
may include, if necessary, a clearly marked appendix which will
be read at the discretion of the referees.
A pre-conference workshop on {\bf Randomized Algorithms}
with several tutorials delivered by
leading researchers will be held on December 16 - 17, 1997.
%\vspace*{5mm}
{\bf Important Dates}
\hspace*{0.75cm}
Deadline for Submission: \hfill {\bf 15 May 1997} \\
\hspace*{0.75cm}
Notification to Authors: \hfill {\bf 1 August 1997} \\
\hspace*{0.75cm}
Final Version of Accepted Papers due on: \hfill {\bf 8 September 1997}\\
{\bf Conference Homepage:}
\hspace*{0.75cm}{\tt http://www.cse.iitb.ernet.in/$\sim$fsttcs}
\vspace*{5mm}
% This is optional
%
{\bf Publicity Chair:}
\hspace*{0.75cm}Madhavan Mukund, SPIC Mathematical Institute\\
\hspace*{0.75cm}92 G N Chetty Road, Chennai 600 017, India\\
\hspace*{0.75cm}E-mail: {\tt ······@ssf.ernet.in}
\end{minipage}
%
% END Right Box
%
\end{document}