[Prev][Next][Index][Thread]
concurrency@cwi.nl
[Since it is clearly relevant, I am distributing this conference
announcement to types. General conference announcements should go to
the Theory-A list. -- Philip Wadler, moderator, Types Forum.]
LFCS 94
CALL FOR PAPERS
LFCS'94: LOGIC AT St. PETERSBURG
Symposium on Logical Foundations of Computer Science
St. Petersburg, Russia
July 11--14, 1994
LFCS'94: Logic at St. Petersburg is the third symposium in a series
which began with Logic at Botik, Pereslavl-Zalessky, 1989, and
continued with Logic at Tver, Sokol, 1992. St. Petersburg is the
former imperial capital of Russia, located on the river Neva and Baltic Sea.
The scope of the symposia is intended to be broad. Suggested, but not
exclusive, topics of interest include: complexity of formal systems;
constructive mathematics in computer science; denotational semantics of
programs; descriptive complexity; dynamic logic; concurrent and
distributed computational models; foundations of logic programming;
generalized computability; lambda and combinatory calculi; logical
foundations of database theory; logics for knowledge; modal and temporal
logics; program verification; teaching computer science and logic; type
theory in programming.
PAPER SUBMISSION: Submissions should consist of four copies of an
extended abstract---not a full paper---and must be received by
November 29, 1993. Electronic submissions in LaTeX or a similar
format to: lfcs@msiadmin.cit.cornell.edu will be accepted in lieu
of hard copy. Contact that address regarding possible email
submission of your detailed abstract. Authors will be notified about
acceptance by January 31, 1994. Final camera-ready papers must be
received by March 14, 1994.
The cover page should include the title, authors, a one paragraph
summary, and the corresponding author's name, address, email address,
phone, fax, and telex numbers if available. All
submissions must be in English, written clearly and in sufficient
detail to allow the program committee to assess the merits of the work.
References and comparisons with related work should be included. Detailed
abstracts, including references, should not exceed 3000 words.
Material submitted to LFCS'94 should be unpublished and not submitted for
publication elsewhere, including journals or other symposia; apply to the
Program Chair at time of submission if in doubt.
Submissions may be sent to either address below. Authors outside the
former USSR are encouraged to use the USA address.
PROGRAM COMMITTEE: A. Nerode (Ithaca, Chair), S. Abiteboul (Paris),
S.I.Adian (Moscow), S.N.Artemov (Moscow), H. Barendregt (Nijmegen),
A. Blass (Ann Arbor), G. Jaeger (Bern), V. Marek (Kentucky),
Yu.V.Matijasevich (St. Petersburg), V.A.Nepomnyaschy (Novosibirsk),
V.P.Orevkov (St. Petersburg), A.A.Razborov (Moscow), J.Remmel
(San Diego), A. Scedrov (Philadelphia), M.A.Taitslin (Tver),
M. Vardi (IBM Almaden).
GENERAL CHAIR: Yu.V.Matijasevich, Laboratory of Mathematical Logic,
Steklov Institute of Mathematics,
27 Fontanka, St.Petersburg 191011, RUSSIA
ORGANIZING COMMITTEE: Yu.V. Matiyasevich (Chair, St Petersburg),
E. Ya. Dantsin (Manager, St Petersburg), S.I. Adian (Moscow),
S.N. Artemov (Moscow), N.K. Kossovsky (St Petersburg),
A. Nerode (Ithaca, NY), V.P. Orevkov (St Petersburg),
A.O. Slissenko (St Petersburg), M.A. Taitslin (Tver).
SEND your paper to one of the following addresses:
Dr. E.Ya. Dantsin, LFCS'94,
Laboratory of Mathematical Logic
Steklov Institute of Mathematics,
27 Fontanka
St.Petersburg 191011, RUSSIA
phone: + 7 (812) 311-4392
FAX: + 7 (812) 310-5377
e-mail: lfcs@sovam.com
LFCS '94, Mathematical Sciences Institute
Cornell University
407 College Av.
Ithaca, NY 14850
phone: + 1 (607) 255-7752
FAX: + 1 (607) 255-8005
e-mail: lfcs@msiadmin.cit.cornell.edu
(Strongly recommended for the participants outside of former
Soviet Union)
LATEX version of this announcement:
\documentstyle{article}
\topmargin-1in
\textheight10in
\oddsidemargin 0pt
\evensidemargin \oddsidemargin
\marginparwidth 0.5in
\textwidth 6.5in
\parindent0pt
\parskip.5\baselineskip
\pagestyle{empty}
\begin{document}
\begin{flushright}
\footnotesize March 28, 1993
\end{flushright}
\begin{center}
{\bf CALL FOR PAPERS}\\[1.5ex]
{\Large\bf LFCS'94: LOGIC AT St. PETERSBURG}\\[1.5ex]
{\Large Symposium on Logical Foundations of Computer Science}\\[1.5ex]
{\large\em St. Petersburg, Russia}\\[1ex]
{\large\em July 11--14, 1994}
\end{center}
\begin{minipage}[t]{2.25in}% first column
\small\baselineskip10pt
\parskip 5pt
{\bf Program Chair:}\\
A.~Nerode, Director\\
Mathematical Science Inst.\\
Cornell University\\
Ithaca, NY 14853 USA\\
{\tt lfcs@msiadmin.cit.cornell.edu}\\
phone: (607) 255 8005\\
fax: (607) 255 7149
{\bf Program Committee:}\\
A. Nerode (Ithaca, Chair)\\
S. Abiteboul (Paris) \\
S.I.Adian (Moscow)\\
S.N.Artemov (Moscow)\\
H. Barendregt (Nijmegen)\\
A. Blass (Ann Arbor)\\
G. J\"ager (Bern)\\
V.Marek (Kentucky)\\
Yu.V.Matijasevich (St. Petersburg)\\
V.A.Nepomnyaschy (Novosibirsk)\\
V.P.Orevkov (St. Petersburg)\\
A.A.Razborov (Moscow)\\
J.Remmel (San Diego)\\
A. Scedrov (Philadelphia)\\
M.A.Taitslin (Tver)\\
M. Vardi (IBM Almaden)\\
{\bf General Chair:}\\
Yu.V.Matijasevich \\
Laboratory of Mathematical Logic\\
Steklov Institute of Mathematics\\
27 Fontanka, St.Petersburg 191011, RUSSIA\\
{\bf Organizing Committee:}\\
Yu.V. Matiyasevich (Chair, St Petersburg)\\
E. Ya. Dantsin (Manager,\\ St Petersburg)\\
S.I. Adian (Moscow)\\
S.N. Artemov (Moscow)\\
N.K. Kossovsky (St Petersburg)\\
A. Nerode (Ithaca, NY)\\
V.P. Orevkov (St Petersburg)\\
A.O. Slissenko (St Petersburg)\\
M.A. Taitslin (Tver)
\end{minipage}
\hskip .25 in
\begin{minipage}[t]{4in}% second column
\parskip 6pt
{\bf LFCS'94}: {\em Logic at St. Petersburg} is the third symposium
in a series which began with {\it Logic at Botik}, Pereslavl-Zalessky,
1989, and continued with {\it Logic at Tver}, Sokol, 1992.
St. Petersburg is the former imperial capital of Russia, located on
the river Neva and Baltic Sea.
The scope of the symposia is intended to be broad. Suggested, but not
exclusive, topics of interest include: {\em complexity of formal systems;
constructive mathematics in computer science; denotational semantics of
programs; descriptive complexity; dynamic logic; concurrent and
distributed computational models; foundations of logic programming;
generalized computability; lambda and combinatory calculi; logical
foundations of database theory; logics for knowledge; modal and temporal
logics; program verification; teaching computer science and logic; type
theory in programming.}
%Proceedings will be published in Springer-Verlag's Lecture Notes in Computer
%Science will be available at the symposium.
{\bf Paper Submission:} Submissions should consist of four copies of an
{\em extended abstract}---not a full paper---and must
be {\em received} by {\bf November 29, 1993}.
Electronic submissions in \LaTeX\ or a similar format to
{\tt lfcs@msiadmin.cit.cornell.edu} will be accepted
in lieu of hard copy. Contact that address regarding possible email
submission of your detailed abstract.
Authors will be notified about acceptance by {\bf January 31, 1994}.
Final camera-ready papers must be received by {\bf March 14, 1994}.
The cover page should include the {\em title}, {\em authors}, {\em a one
paragraph summary}, and the corresponding author's {\em name, address,
email address, phone, fax,} and {\em telex numbers} if available. All
submissions must be {\bf in English}, written clearly and in sufficient
detail to allow the program committee to assess the merits of the work.
References and comparisons with related work should be included. Detailed
abstracts, including references, should not exceed {\bf 3000 words}.
Material submitted to LFCS'94 should be unpublished and not submitted for
publication elsewhere, including journals or other symposia; apply to the
Program Chair at time of submission if in doubt.
Submissions may be sent to either address below. Authors outside the
former USSR are encouraged to use the USA address.
\begin{center}
\begin{tabular*}{\textwidth}{@{}l@{\extracolsep{\fill}}l}
Dr.\ E.Ya.~Dantsin, & LFCS'94\\
Laboratory of Mathematical Logic & Mathematical Sciences Institute\\
Steklov Institute of Mathematics & Cornell University\\
27 Fontanka & 407 College Av.\\
St.Petersburg 191011, RUSSIA & Ithaca, NY 14850\\
phone: + 7 (812) 311-4392 & phone: + 1 (607) 255-7752\\
FAX: + 7 (812) 310-5377 & FAX: + 1 (607) 255-8005\\
{\tt lfcs@sovam.com} & {\tt lfcs@msiadmin.cit.cornell.edu} \\
\end{tabular*}
\end{center}
\end{minipage}
\end{document}