From: davismk@dcs.glasgow.ac.uk (Kei Davis)
Newsgroups: comp.lang.functional,comp.theory
Subject: MFCS '93 call for papers
Date: 4 Oct 92 14:59:12 GMT
Organization: Glasgow University Computing Science Dept.

======================================================================

                               CALL FOR PAPERS

                       18th International Symposium on

                          MATHEMATICAL FOUNDATIONS
                                     OF
                               COMPUTER SCIENCE

                                Gdansk, Poland

                         30 August - 3 September 1993


The symposium will be organized by the Institute of Computer Science of the
Polish Academy of Sciences.

The MFCS symposia have been organized in Poland and Czechoslovakia since 1972
and have by now 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 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

and other related topics.

The scientific programme will include invited lectures by

  - K.R. Apt (Amsterdam),
  - R.M. Burstall (Edinburgh),
  - M. Hennessy (Brighton),
  - F. Honsel (Udine),
  - R. Milner (Edinburgh),
  - A. Pitts (Cambridge),
  - V. Pratt (Stanford),
  - G. Rozenberg (Leiden),
  - A. Salomaa (Turku),
  - P. Wadler (Glasgow).

The Programme Committee: J.Adamek (Prague), M.Bednarczyk (Gdansk),
J.A.Bergstra (Amsterdam), A.Borzyszkowski (Gdansk), B.Courcelle (Bordeaux),
H.-D.Ehrich (Braunschweig), I.Havel (Prague), G.Huet (Paris), N.Jones
(Copenhagen), E.Moggi (Genova), V.Nepomniaschy (Novosibirsk), E.-R.Olderog
(Oldenburg), F.Orejas (Barcelona), A.Poigne (St.Augustin), I.Sain
(Budapest), D.Schmidt (Manhattan, Kansas), S.Sokolowski (Gdansk) and
M.Wirsing (Munich).

Authors are invited to submit 5 copies of a draft paper to S.Sokolowski by 15
January 1993. The length of the final paper should not exceed 10 pages. The
proceedings will be published by Springer-Verlag in the LNCS series.

              Submission deadline:         15 January 1993
              Notification of acceptance:  5 April 1993
              Final versions due:          10 May 1993

Any further information about the symposium may be obtained from
Marek Bednarczyk, the chairman of the Organizing Committee, or
from Stefan Sokolowski, the chairman of the Programme Committee.
under the address:

        MFCS'93
        Institute of Computer Science of the Polish Academy of Sciences
        ul. Jaskowa Dolina 31, 80--252 Gdansk, Poland
        tel. ++48 58 419015 ext.26  or  ++48 58 419034 ext.26
        fax: ++48 58 416912

The organizers may also be contacted by e-mail under

        SSokolow@plearn.bitnet.

Please DO NOT send your contribution by e-mail!
Newsgroups: comp.lang.functional