pdm@daimi.UUCP (Peter Mosses) (08/23/88)
CALL FOR PAPERS
Mathematical Foundations of Computer Science (MFCS)
Fourteenth International Symposium
August 28 -- September 1, 1989, Rytro, near Cracow, POLAND
This international symposium is the fourteenth in the series of annual
MFCS symposia organized alternately in Poland and Czechoslovakia. The
symposium is being organized by the Institute of Informatics, University
of Warsaw.
The purpose of the meeting is to encourage research in theoretical
computer science and to bring together specialists from various countries.
Principal areas of interest: logics of programs, concurrency, deductive
databases, software specification and validation, computational
complexity. This is not intended to be an exhaustive list.
The scientific program includes invited lectures covering areas of current
interest, and submitted papers describing original research.
INSTRUCTIONS FOR AUTHORS: Authors are invited to submit five copies of a
full draft paper or extended abstract in English before JANUARY 15, 1989,
to the Chairman of the Program Committee:
Grazyna Mirkowska
MFCS'89
Institute of Informatics
University of Warsaw
00--901 Warsaw, PKiN
Poland
tel. ++48-22-268-258, telex 815591 infuw pl
Authors will be notified of acceptance or rejection by APRIL 1, 1989.
Deadline for final text: MAY 15, 1989
Please use the attached Reply Card as preliminary information to the
organizers and return it at your earliest convenience. The number of
participants is limited.
Program Committee: A. Arnold (Bordeaux), J. de Bakker (Amsterdam),
A. Blikle (Warsaw), P. van Emde Boas (Amsterdam), A. P. Ershov
(Novosibirsk), J. Gruska (Bratislava), H. Langmaack (Kiel),
A. Maggiolo-Schettini (Pisa), G. Mirkowska (Warsaw), P. Mosses (Aarhus),
M. Protasi (Roma), A. Salwicki (Warsaw), and others yet to be confirmed.
Organizing Committee: K. Diks, M. Grabowski, A. Kreczmar, G. Mirkowska,
A. Szalas.
Address of Conference Bureau:
Institute of Informatics
University of Warsaw
00--901 Warsaw, PKiN box 1210
POLAND
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
REPLY CARD MFCS'89
Name __________________________________________________ Ms/Mr
Address __________________________________________________
__________________________________________________
__________________________________________________
__________________________________________________
Yes No
( ) ( ) I wish to attend the symposium. Please send me
further details and the registration form.
( ) ( ) I wish to submit a paper. Provisional title/subject:
_____________________________________________________
I expect to be accompanied by ___ persons.