%
%FSTTCS-16, Call for Papers, LaTeX Version
%
\documentstyle[titlepage]{article}
%
\oddsidemargin 6pt \evensidemargin 6pt
\marginparwidth 90pt
\marginparsep 10pt
\topmargin -33pt \headheight 12pt \headsep 25pt \footheight 12pt
\footskip 30pt
%\textheight 680pt \textwidth 455pt
\columnsep 10.5pt \columnseprule 0pt
%
\addtolength{\oddsidemargin}{-2.3cm}
\setlength{\textwidth}{18cm}
\addtolength{\topmargin}{-1cm}
\setlength{\textheight}{27cm}
\pagestyle{empty}
\begin{document}
\begin{titlepage}
%
% Overall structure of the page
%        -----------------------------------------
%        |            |    minipage (title)      |
%        -----------------------------------------
%        |         |p|                           |
%        | Parbox  |a|        minipage           |
%        | (com-   |r|      (conference          |
%        |  mit-   |b|      information)         |
%        |  tees)  |o|                           |
%        |         |x|                           |
%        -----------------------------------------
\hspace*{\fill}
\begin{minipage}[t]{11cm}

\begin{center}
{\Large\bf Call for Papers}
\end{center}

\begin{center}
{\large \it Sixteenth Conference on the}\\[1.5ex]
{\Large \bf Foundations of Software Technology}\\[1.0ex]
{\Large \bf and Theoretical Computer Science}
\end{center}

\begin{center}
{\large\bf December 18--20, 1996, Hyderabad, India}
\end{center}

\end{minipage}
\bigskip

%=================================================================
%  The committees go in a parbox on the left
%=================================================================
\parbox[t]{5.5cm}{
\noindent
{\bf Programme Committee:}
\medskip


\begin{tabular}{l}
        V. Arvind (IMSc, Madras)\\
        V. Chandru \\
  \hspace*{5mm}(IISc, Bangalore)  {\bf (Chair)}\\
        S. Chaudhuri (MPI, Saarbr\"{u}cken)\\
        S-W. Cheng (HKUST, Hongkong)\\
        T.K. Dey (IIT, Kharagpur)\\
        H. Edelsbrunner \\
  \hspace*{5mm}(UIUC, Urbana-Champaign)\\
        J.J.M. Hooman \\
  \hspace*{5mm}(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 \\
  \hspace*{5mm}(TIFR, Bombay)\\
        G. Sivakumar (IIT, Bombay)\\
        M. Sohoni (IIT, Bombay)\\
        P.S. Thiagarajan \\
  \hspace*{5mm}(SPIC Sci.\ Found., Madras)\\
        H. Venkateswaran\\
  \hspace*{5mm}(GaTech, Atlanta)\\
        V. Vinay (IISc, Bangalore)

\end{tabular}
\vspace*{5cm}

\noindent
{\bf Local Arrangements:}
\medskip

Arun K, Pujari ({\bf Chair})\\
Computer \& Information Sciences\\
University of Hyderabad\\
Hyderabad 500~046, India\\
{\sf akpcs@uohyd.ernet.in}\\
Fax:  +91--40--258125/258145
} %\end{parbox}
%
%=================================================================
%  Vertical line goes in a parbox after the committees
%=================================================================
%
\parbox[t]{5mm}{
   \rule[-21cm]{0.2mm}{21.5cm}
} %\end{parbox}
%
%=================================================================
%  Conference information goes in a minipage to the right of the line
%=================================================================
%
\begin{minipage}[t]{12.7cm}
The 16th Annual FST \& TCS Conference will take place in Hyderabad.  This
year's conference is being organized by the University of Hyderabad.
\medskip

{\bf 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):

\begin{quote}
  Computational Complexity;
  Design and Analysis of Algorithms \linebreak
  (including Parallel, Distributed, Probabilistic and Randomized \linebreak
  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.
\end{quote}

{\bf Submissions:~} Authors are invited to send {\bf 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 at least 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 referee.  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.

\hspace*{5mm}
The Conference Proceedings have been traditionally published by
Springer-Verlag in the series {\em 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.
\medskip

{\bf Important Dates:~}

\begin{tabbing}
XX \= Final Version of Accepted Papers due on   \= : \=
        \parbox{4cm}{} \= \+ \kill
   Deadline for Submission \> : \>
        \parbox{4cm}{\hspace*{\fill} 15 May 1996}  \> \\
   Notification to Authors \> : \>
        \parbox{4cm}{\hspace*{\fill} 1 August 1996} \>  \\
   Final Version of Accepted Papers due on  \> : \>
        \parbox{4cm}{\hspace*{\fill} 8 September 1996} \>
\end{tabbing}
\smallskip

\noindent
{\bf Address:}

Send papers to:

\begin{tabbing}
XX \= Computer Science \& Automation \hspace{5mm} \=
        E-mail \= : \= \+ \kill
  Vijay Chandru        \> E-mail \> : \> {\sf chandru@csa.iisc.ernet.in}\\
  FST \& TCS 15           \>        \>   \> {\sf fsttcs@csa.iisc.ernet.in}\\
  Computer Science \& Automation   \> Fax    \> : \> +91--80--334 1683\\
  Indian Institute of Science \> \> \> \\
  Bangalore 560 012, INDIA \> \> \>
\end{tabbing}
\smallskip



For Electronic Submissions:


\begin{tabular}{l}
  {\sf http://www.csa.iisc.ernet.in/fsttcs.html}
\end{tabular}

\end{minipage}
\end{titlepage}
\end{document}
