[Prev][Next][Index][Thread]
Logic at Botik '89 -- Call for Papers
CALL FOR PAPERS LOGIC AT BOTIK '89
The Seminar on Logical Foundations of Computer Science
Pereslavl-Zalessky, USSR
July, 1989 (One-week)
The "Logic at Botik" Symposium is planned to be held periodically in
Pereslavl-Zalessky, a town of great historic significance.
The proposed topics of the seminar include:
- Complexity of formal systems
- Constructive mathematics in computer science
- Denotational and operational semantics of programs
- Descriptive complexity
- Dynamic and algorithmic logics and schematology
- Formal tools to describe concurrent computations
- Lambda calculus and related topics
- Foundations of logic programming
- Logical foundations of data base theory
- Logics for knowledge representation
- Modal and temporal logics
- Type theory in programming
- Verification of programs
Papers in related areas are welcome.
PROGRAM COMMITTEE: J.M. Barzdins, J.Y. Halpern, A.R. Meyer, G.E. Mints,
A.L. Semionov, A.O. Slisenko, A.P. Stolboushkin,
M.A. Taitslin (chair), J. Tiuryn.
ORGANIZING COMMITTEE: A.K. Ailamazain (chair), A.P. Ershov, A.J. Kfoury,
K.A. Knorre, G.F. Shvarts, E.V. Stas,
A.P. Stolboushkin, P. Urzyczyn.
To submit a paper, send nine (9) copies of an extended abstract (not a full
paper) in English (up to 2812 words) to:
LAB `89
P.O. Box 11, Program Systems Institute of the
USSR Academy of Sciences
152140 Pereslavl-Zalessky
USSR
DEADLINE: Abstracts must be received before October 1, 1988. Keep in mind
that the mail service may be slow; thus, it is suggested that foreign authors
submit by airmail at least three weeks before the deadline.
Authors will be notified of acceptance or rejection by December 1, 1988.
Authors of accepted papers will be sent information later about preparing
camera-ready copies of their full papers for publication in a proceedings.