Date: Wed, 31 Oct 90 20:18:03 GMT
--> --> --> --> --> --> CALL FOR PAPERS <-- <-- <-- <-- <-- <--
16th International Symposium on
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
M F C S ' 9 1
9 - 13 September 1991
The symposium will be organized jointly by the Institute of Computer Science
of the Polish Academy of Sciences, the Institute of Informatics of Warsaw
University and the Polish Information Processing Society.
The MFCS symposia have been organized in Poland and Czechoslovakia since 1972
and by now have a long and well-established tradition. The purpose of the
symposia is to encourage high-quality research in all branches of Theoretical
Computer Science and to provide an opportunity of bringing together specialists
working actively in the area. Throughout the years MFCS served this purpose
well, and we hope it will do so in the future.
Principal areas of interest of the symposium include:
software specification and development, parallel and distributed
computing, semantics and logics of programs, algorithms, complexity and
computability theory (this is not an exclusive list).
The scientific programme of the symposium will include invited lectures by
J.-L.Lassez (Yorktown Heights), P.Lescanne (Nancy), G.Mints (Tallin),
M.Nielsen (Aarhus), A.Pnueli (Rehovot), and A.Salwicki (Warsaw).
K.Apt, Amsterdam/Austin K.Jantke, Leipzig
J.Barzdin, Riga C.Jones, Manchester
A.Blikle, Warsaw G.Mirkowska, Warsaw
A.Broy, Munich V.Pratt, Stanford
R.Cori, Bordeaux B.Rovan, Bratislava
R.De Nicola, Pisa D.Sannella, Edinburgh
J.Gruska, Bratislava A.Tarlecki, Warsaw (chair)
Y.Gurevich, Ann Arbor J.Winkowski, Warsaw
Authors are invited to submit 5 copies of a draft paper to A.Tarlecki by
15 January 1991
The expected length of the final paper should not exceed 12 pages.
The proceedings will be published by Springer-Verlag in the LNCS series.
Submission deadline: 15 January 1991
Notification of acceptance: 5 April 1991
Final versions due: 10 May 1991
All further information about the symposium may be obtained from the
Organizing Committee co-chaired by P.Chrzastowski-Wachtel and A.Tarlecki:
Institute of Computer Science phone: ++48-22-20 28 73
Polish Academy of Sciences secr.: 20 38 88
P.O.Box 22, PKiN fax: ++48-22-20 01 14
00-901 Warsaw, Poland. telex: COAN 813556