The 22nd International Symposium on
Mathematical Foundations of Computer Science
August 25-29, 1997, Bratislava, Slovakia
| |
The 22nd International Symposium on Mathematical Foundations of Computer Science August 25-29, 1997, Bratislava, Slovakia |
|---|
The series of MFCS symposia, organized alternately in the Czech Republic, Poland and Slovakia since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together specialists who do not usually meet at specialized conferences. Papers presenting original research on theoretical aspects of computer science are sought.
Principal topics of interest include (but are not limited to): algorithms and data structures, automata and formal languages, complexity and computability, concurrency theory, computational geometry, cryptography and security, data bases and knowledge-based systems, foundations of declarative programming, formal specifications and program development, models of computation, parallel and distributed computing, semantics and logics of programs, theoretical issues in artificial intelligence.
The scientific program will include invited lectures covering the areas of current interest and short communications describing original research.
Invited speakers: S. Abramsky (UK), L. Babai (USA), H.L. Bodlaender (The Netherlands), N. Dershowitz (USA), C. Dwork (USA), J. Hromkovic (Slovakia), J. Krajicek (Czech Republic), U. Montanari (Italy), R. Reischuk (Germany), D. Roth (Israel), U. Schoening (Germany).
Authors are invited to submit two copies of a draft paper by surface mail and also electronically a self contained PostScript version of the submitted draft paper and an abstract of up to 20 lines in English to:
Peter Ruzicka
MFCS'97, Institute of Informatics, Comenius University
842 15 Bratislava, Slovakia
tel: ++(42) (7) 726 635, fax: ++(42) (7) 727 041
e-mail: mfcs97@dcs.fmph.uniba.sk
The submission must not exceed ten pages (preferably in Springer-Verlag Lecture Notes [La]Tex style) and must be received by February 28, 1997. If authors feel that the page limit imposed is inadequate and that further background or full details of a proof may be necessary they may attach an appendix containing the extra material. An e-mail address and the fax number for the contact author should be included. Simultaneous submission of papers to any other conference with published proceedings is not allowed. Accepted papers will be published in the proceedings (Lecture Notes in Computer Science, Springer-Verlag) and distributed at the conference.
Program Committee: G. Ausiello (Italy), J. Diaz (Spain), P. Duris (Slovakia), T. Eiter (Austria), R. Freivalds (Latvia), F. Gecseg (Hungary), J. Karhumaki (Finland), H. Kirchner (France), H. J. Kreowski (Germany), F. Meyer auf der Heide (Germany), M. Nielsen (Denmark), W. Penczek (Poland), V. Pratt (USA), I. Privara (co-chair, Slovakia), B. Rovan (Slovakia), P. Ruzicka (chair, Slovakia), A. Salwicki (Poland), D. Sotteau (France), J. van Leeuwen (The Netherlands), J. Wiedermann (Czech Republic), J. Zlatuska (Czech Republic) .
Important dates:
Submission deadline: February 28, 1997 Acceptance notification: May 12, 1997 Final version due: June 12, 1997 Symposium: August 25-29, 1997
Organizing Committee: R. Cervenka, S. Dobrev, J. Dzubas, P. Duris (chair), V. Hambalkova, M. Nehez, D. Olejar, D. Pardubska, J. Staudek, A. Zavarsky .
Information about local arrangements may be obtained from:
Pavol Duris
MFCS'97, Department of Computer Science, Comenius University
842 15 Bratislava, Slovakia
tel: ++(42) (7) 726 635, fax: ++(42) (7) 727 041
e-mail: mfcs97@dcs.fmph.uniba.sk
Further information about symposium is also available at http://www.dcs.fmph.uniba.sk/mfcs97.
The symposium is organized by the Slovak Society for Computer Science and the Comenius University, in cooperation with other institutions in Slovakia.