[Prev][Next][Index][Thread]

MFCS'91

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
				       
				    Poland
			     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).

PROGRAMME COMMITTEE
	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:

Andrzej Tarlecki
MFCS'91
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