From: oded@CS.TECHNION.AC.IL (Oded Goldreich)
Newsgroups: comp.theory
Subject: Israel Symp. on Theory - Prel. Call for Papers
Date: 20 Aug 92 04:48:05 GMT
Reply-To: Theory-A - TheoryNet World-Wide Events <THEORY-A%NDSUVM1.BITNET@cmsa.Berkeley.EDU>,
        Oded Goldreich <oded@cs.Technion.AC.IL>

Enclosed is a preliminary call for papers (in LaTeX form) for the
2ND ISRAEL SYMPOSIUM ON THEORY OF COMPUTING AND SYSTEMS.
(The first symposium took place at the Technion on 27-28 of May 1992.)

\documentstyle[12pt]{article}
\oddsidemargin 0pt
\evensidemargin 0pt
\textheight 600pt
\textwidth 6.5in
\topmargin 0pt

\begin{document}
\pagestyle{empty}
\begin{center}
{\LARGE Preliminary Call for Papers}

\smallskip
{\Large {\it 2nd Israel Symposium on Theory of Computing and Systems}}

\smallskip
{\Large to be held in Israel, June 7 -- 9, 1993}
\end{center}

Papers presenting original research on theoretical aspects of computer
science are sought. Typical but not exclusive topics of interest include:
algorithms and data structures, complexity theory, computability and
automata, computational geometry and computer vision, cryptography,
databases, distributed and parallel computing, logics of programs,
machine learning, natural language processing, program verification,
semantics of programming languages, VLSI layout and design.

\smallskip\noindent
{\bf Abstract Submission:} Authors are requested to send
{\em 16} copies of a detailed abstract to
\begin{verse}
                  Oded Goldreich \\
                  ISTCS 93 Program Chair \\
                  Computer Science Department \\
                  Technion - Israel Institute of Technology \\
                  Haifa, ISRAEL
\end{verse}
Submissions must be received by February 2, 1993 (or postmarked
by January 19 and sent by airmail if from outside of Israel).
Authors are requested to keep their submission within a limit of 10 pages.
Further material, believed to be necessary to substantiate the
main claims of the paper, may be included in a clearly marked appendix
that will be read at the discretion of the Program Committee.
If available,
an {\em e-mail address for the contact author should be included}.
The program chair may be contacted by e-mail at
{\tt oded@cs.technion.ac.il}.
Simultaneous submission of the same abstract to ISTCS and
to another conference with published proceedings is not allowed.

\smallskip\noindent
{\bf Publication:} Accepted papers will be published in the
proceedings of the symposium.

\smallskip\noindent
{\bf Notification:} Authors will be notified of acceptance or rejection by
e-mail and a letter mailed around March 12 1993.
A final copy of each accepted paper is required by April 19, 1993.
At least one author of each accepted paper must attend the Symposium
and present the paper, or make alternative arrangements to have
the paper presented.

\smallskip\noindent
{\bf Program Committee:} \\
\begin{tabular}{lll}
N. Alon (Tel-Aviv) & H. Attiya (Technion) & M. Ben-Or (Hebrew U.) \\
A. Borodin (Toronto) & A. Fiat (Tel-Aviv) & N. Francez (Technion) \\
O. Goldreich (Technion) & R. Karp (Berkeley) & Y. Mansour (IBM
Yorktown) \\
N. Nisan (Hebrew U.) & A. Pnueli (Weizmann)& L. Rudolph (Hebrew U.) \\
Y. Sagiv (Hebrew U.) & C. Schnorr (G\"{o}the U.) & M. Snir (IBM Yorktown) \\
S. Ullman (Weizmann) & &
\end{tabular}

\smallskip\noindent
{\bf Symposium co-Chairs:} \\
\hspace*{.5in} Shimon Even, Technion, Haifa, Israel. \\
\hspace*{.5in} Arny Rosenberg, University of Massachusetts, Amherst, USA.

\end{document}