The full version of this Call for Papers is available.
MFCS is the 20th annual symposium in the series organized alternately in the Czech Republic, Poland, and Slovak Republic, respectively. 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, computational geometry, cryptography, data bases and knowledge-based systems, declarative programming, formal specifications and program development, models of computation, parallel and distributed computing, semantics and logics of programs, theoretical issues in artificial intelligence, VLSI systems.
Invited Speakers:
S. Arnborg (Stockholm), V. Geffert (Kosice), G. Gottlob (Vienna),
J. Hartmanis - key note address (Cornell), R. Karp (Berkeley),
D. Lehmann (Jerusalem), D. Perrin (Paris), A.A. Razborov (Moscow),
J. van Leeuwen (Utrecht), P. Vitanyi (Amsterdam).
Instructions for Authors:
Authors are invited to submit 6 copies of a draft paper (no e-mail submissions accepted) and an abstract of up to 20 lines (preferably by e-mail), in English, to be received by January 9, 1995 by
Jiri Wiedermann, MFCS'95, Institute of Computer Science
Academy of Sciences of the Czech Republic
Pod vodarenskou vezi 2, 182 07 Prague, Czech Republic
tel: +42 2 6605 3520, fax: +42 2 8585 789, email: wieder@uivt.cas.cz
Papers should start with a succinct statement of the problem, the results achieved, their significance and a comparison with previous work. The length, including cover page and bibliography, should not exceed 10 pages (roughly 4500 words total). If available, an e-mail address and the fax number for the contact author should be included.
Dates: Subm: 9 Jan 1995; Notif: 3 Apr 1995; Final: 15 May 1995.
Local enquiries: actionm@cuni.cz (Milena Zeithamlova)