\newlength{\colwidth}
\setlength{\colwidth}{\textwidth}
\addtolength{\colwidth}{-\columnsep}
\setlength{\colwidth}{0.5\colwidth}
%\newlength{\boxwidth}
\setlength{\boxwidth}{\colwidth}
\addtolength{\boxwidth}{-4.5mm}
% \newlength{\papwidth}
% \setlength{\papwidth}{\colwidth}
% \addtolength{\papwidth}{-2mm}
% \newlength{\authwidth}
% \setlength{\authwidth}{\colwidth}
% \addtolength{\authwidth}{-5mm}
\newcommand{\npline}{\newline\hspace*{2mm}}
\newcommand{\naline}{\newline\hspace*{5mm}}
\newcommand{\newday}[2]{
	\medskip\noindent\hrule\smallskip\par
	\noindent
	{\large Day {#1} ({#2} Dec 1996)}
	\smallskip\par
	\noindent\hrule\medskip\par
}
\newcommand{\myline}{\noindent\hrule\smallskip\par\noindent}

\newcommand{\session}[4]{
	\noindent
	{\bf Session {#1}}~{({#3})}\\
	{\bf {#2}}\\
	{Chair: {#4}}
	\smallskip}
%Session Number, Title, Time, Chair

\newcommand{\italk}[5]{
	\noindent
	{\bf Invited Lecture {#1}}~({#4})\\
	{Chair: {#5}}\\
	\hspace*{2mm} {{#3}}\\
	\hspace*{5mm} {\it {#2} }
	\smallskip}
%Lecture number, Speaker, Title, Time, Chair

% \newcommand{\cpaper}[2]{
% 	\noindent
% 	\hspace*{2mm}\parbox[t]{\papwidth}{{#1}}\par\noindent
%         \hspace*{5mm}\parbox[t]{\authwidth}{\it {#2}}
%         \vspace{-5mm}
% 	}
% \newcommand{\lastpaper}[2]{
% 	\noindent
% 	\hspace*{2mm}\parbox[t]{\papwidth}{{#1}}
%         \hspace*{5mm}\parbox[t]{\authwidth}{\it {#2}}
% 	\vspace{-4mm}
% 	}
\newcommand{\cpaper}[2]{
	\noindent
	\hspace*{2mm}{#1}\\
        \hspace*{5mm}{\it {#2}}
	}
\newcommand{\lastpaper}[2]{
	\noindent
	\hspace*{2mm}{#1}\\
        \hspace*{5mm}{\it {#2}}
	\smallskip
	}

\addtolength{\textheight}{20mm}

\begin{center}
{\Large\bf FSTTCS 16}\\[1mm]
{\it Sixteenth Conference on Foundations of Software Technology and}\\
{\it Theoretical Computer Science}\\[1ex]
{\large \bf Hyderabad, 18--20 December, 1996}\\[1ex]
{\bf Preliminary Programme}
\end{center}

\begin{multicols}{2}

\newday{1}{18}

	\noindent
	{\bf Registration~} (8:00 - 9:15) \\
	{\bf Opening Remarks ~} (9:15--9:30) 

\italk{1}{John Rushby (SRI, USA)}{Mechanized Formal Methods: \npline
Progress and Prospects}{9:30--10:30}{V. Chandru}

\session{1a}{Computational Geometry I}{11:00--13:00}{Tamal Dey}
\vspace{-0.25ex}

\cpaper{The $d$-Step Conjecture and \npline Gaussian Elimination}
{J.C. Lagarias, N. Prabhu, J.A. Reeds}

\cpaper{On the Complexity of approximating \npline 
Euclidean traveling salesman tours \npline 
and minimum spanning trees}{G. Das, S. Kapoor, M. Smid}

\lastpaper{Efficient Computation of Rectilinear \npline 
Geodesic Voronoi Neighbor in Presence \npline 
of Obstacles}{P. Mitra, S.C. Nandy} 


\session{1b}{ Process Algebras}{11:00--13:00}{Kamal Lodaya}
\vspace{-0.25ex}

\cpaper{Weak Bisimulation and Model Checking \npline 
for Basic Parallel Processes}
{R. Mayr}

\cpaper{Testing Processes for Efficiency}
{K. Jain, S. Arun-Kumar}

\lastpaper{Regularity is Decidable for Normed \npline 
PA Processes}
{A. Kucera}

\italk{2}{Arvind (MIT, USA)}{A Lambda Calculus with Letrecs  \npline 
and Barriers}{14:00--15:00}{R.K. Shyamasundar}

\session{2a}{Computational Geometry II}{15:30--17:00}{Ramesh Hariharan}
\vspace{-0.25ex}

\cpaper{Dynamic Maintenance of  Shortest Path \npline 
Trees in Simple Polygons}{S. Kapoor, T. Singh}

\cpaper{Close Approximations of Minimum \npline 
Rectangle Coverings}{C. Levcopoulos, J. Gudmundsson}

\lastpaper{A New Competitive Algorithm for Agent \npline 
Searching in Unknown Streets}
{P. Dasgupta, P.P. Chakrabarti, \naline S.C. DeSarkar}


\session{2b}{Semantics}{15:30--17:00}{M. Mukund}
\vspace{-0.25ex}

\cpaper{On the Design of Hybrid 
Control Systems  \npline 
using Automata Models}
{D.V. Hung, W. Ji}

\cpaper{Constraint Retraction in FD}
{P. Codognet, D. Diaz, F. Rossi}

\lastpaper{Winskel is (almost) Right: Towards a \npline 
Mechanized Semantics Textbook}{T. Nipkow}

\noindent
{\bf Business Meeting ~} 17:15--18:15
\smallskip

\noindent 
{\bf Excursion to Golconda Fort}
\smallskip

\newday{2}{19}

\italk{3}{Ian Munro (Waterloo, Canada)}{Tables}{9:30--10:30}
{Venkatesh Raman} 

\session{3a}{Algorithms}{11:00--13:00}{Ashok Subramanian}
\vspace{-0.25ex}

\cpaper{An Optimal Deterministic Algorithm for \npline
Online b-Matching}
{B. Kalyanasundaram, K.R. Pruhs}

\cpaper{Tight Bounds for Prefetching and Buffer  \npline 
Management Algorithms for Parallel I/O Systems}{R.M. Verma, P.J. Varman} 

\cpaper{Complexity of the Gravitational Method  \npline 
for Linear Programming}{T.L. Morin, N. Prabhu, Z. Zhang}

\lastpaper{Optimal and Information Theoretic  \npline 
Syntactic Pattern Recognition Involving  \npline 
Traditional and Transposition Errors}{B.J. Oommen, R.K.S. Loke} 


\session{3b}{Rewriting/Equational-Temporal \\
Logics}{11:00--13:00}{G. Sivakumar} 
\vspace{-0.25ex} 

\cpaper{Minimal Relative Normalization in  \npline 
Orthogonal Expression Reduction  \npline 
Systems}{J. Glauert,  Z. Khasidashvili} 

\cpaper{Trace consistency and inevitability}{R. Ramanujam}

\cpaper{Finite State Implementations  \npline 
of Knowledge-Based Programs}
{R. van der Meyden}

\lastpaper{Higher-Order Proof by Consistency}
{H. Linnestad, O.Lysne, C. Prehofer}

\noindent
{\bf Special Session in Honour of \\
Rohit Parikh}~~
(2:00--6:00) \\
{\it List of speakers will be announced later}\\
Chair: R. Ramanujam
\smallskip

\noindent
{\bf Banquet}
\smallskip

\newday{3}{20}

\italk{4}{Eric Allender (Rutgers, USA)}{Circuit Complexity before the
\npline 
Dawn of the New Millennium}{9:30--10:30}{V Vinay}

\session{4a}{Complexity Theory}{11:00--13:00}{V. Arvind}
\vspace{-0.25ex}

\cpaper{Advocating Ownership}
{H. Fernau, K.-J. Lange, K. Reinhardt}

\cpaper{Non-cancellative Boolean Circuits:  \npline 
A Generalization of Monotone  \npline 
Boolean Circuits}{R.Sengupta, H. Venkateswaran} 

\cpaper{Limitations of the QRQW and EREW  \npline 
PRAM models}
{M. Kutylowski, K. Lorys}

\lastpaper{Pinpointing Computation with Modular  \npline 
Queries in the Boolean Hierarchy}
{M. Agrawal, R. Beigel, T. Thierauf}  


\session{4b}{Pi/Lambda/Types}{11:00--13:00}{Sanjiva Prasad}
\vspace{-0.25ex}

\cpaper{Characterization of principal type of  \npline 
normal forms in intersection type system}{E. Sayag, M. Mauny}  

\cpaper{Correcting Type Errors in the  \npline 
Curry System}
{M. Gandhe, G. Venkatesh, A. Sanyal}

\cpaper{Immediate Fixpoints and Their Use in  \npline 
Groundness Analysis}
{H. Sondergaard}

\lastpaper{Graph Types for Monadic  \npline 
Mobile Processes}
{N. Yoshida}


\noindent
{\bf Closing Session ~}(13:00--13:30) 
\smallskip

\myline

\noindent {\bf Pre-conference workshop:} \\
Preliminary announcement on page~23.

\noindent
{\bf Registration Information}
\smallskip

\noindent
The conference is being organized by the University of Hyderabad.
For more details about registration, contact Prof~Arun K.~Pujari,
Local Arrangements Chair, at the following address:
\vspace{-1ex}

\begin{center}
\begin{tabular}{l}
Arun K. Pujari\\
Computer \& Information Sciences\\
University of Hyderabad\\
Hyderabad 500~046, India\\
{\sf akpcs@uohyd.ernet.in}\\
Fax:  +91--40--258125/258145     
\end{tabular}
\end{center}


\vspace{-1ex}
\end{multicols}

\newpage

\addtolength{\textheight}{-20mm}


