(DBWORLD) MFCS'98 CFP

Irene GUESSARIAN (Irene.Guessarian@liafa.jussieu.fr)
Mon, 12 Jan 1998 19:36:31 +0100 (MET)

*******************************************************************************
*******************************************************************************
** **
** M F C S ' 9 8 **
** **
** **
** Call for Papers, Call for Workshops **
** The Current List of Workshops and Tutorials **
** **
** **
** The 23rd International Symposium on **
** Mathematical Foundations of Computer Science **
** **
** August 24-28, 1998, Brno, Czech Republic **
** **
** **
*******************************************************************************
*******************************************************************************

Programme Committee: S. Abramsky (Edinburgh), B. Buchberger (Linz), J. Diaz
(Barcelona), V. Diekert (Stuttgart), J. Gruska, co-chair (Brno), I. Guessarian
(Paris), T. Henzinger (Berkeley), R. J. Lipton (Princeton), G. Mirkowska (Pau),
F. Moller (Uppsala), U. Montanari (Pisa), J. Nesetril (Prague), M. Paterson
(Warwick), G. Paun (Bucharest), J. Sgall (Prague), W. Thomas (Kiel), J. Tiuryn
(Warsaw), U. Vaccaro (Salerno), P. Vitanyi (Amsterdam), P. Voda (Bratislava),
M. Wirsing (Munich), J. Zlatuska, co-chair (Brno).}

Principal topics of interest include (but are not limited to): design and
analysis of algorithms (sequential, parallel, distributed, approximation,
computational biology, computational geometry, graph, network, number theory,
on-line, optimisation) and data structures, automata, grammars and formal
languages, complexity (communication, computational, descriptional) and
computability, concurrency theory, cryptography and security, databases and
knowledge-based systems, foundations of programming, formal specifications and
program development, models of computation, parallel and distributed computing,
quantum computing, molecular computing, semantics and logics of programs,
theoretical issues in artifical intelligence.

Invited talks of broad and stimulating orientation are offered, consistent with
the more than quarter-century tradition of MFCS. Speakers: G. Ausiello (Rome),
E. Borger (Pisa), Y. Gurevich (Ann Arbor), D. Harel (Rehovot), R.M. Karp
(Seattle), F.T. Leighton (MIT-Cambridge), W. Maass (Graz), Yu. Matiyasevich
(Petersburg), K. Mehlhorn (Saarbrucken), S. Micali (MIT-Cambridge), M. Nielsen
(Aarhus), A. Pnueli (Rehovot), P. Pudlak (Prague), C. Stirling (Edinburgh),
J. Wiedermann (Prague), M. Yannakakis (Murray Hill).

MFCS'98 will have several tutorials and workshops. Proposals can be sent to
PC co-chairs. The current list of workshops and tutorials is included below.

The CSL'98 conference (Computer Science Logic) will be held in parallel with
MFCS'98 at the same place. The federated CSL/MFCS conference will have common
plenary sessions and social events. Participants registering for one conference
can attend talks of both conferences and parallel workshops.

Contact persons: Antonin Kucera (PC secretary)
Jan Staudek (OC chair)

Address:
MFCS'98, Faculty of Informatics, Masaryk University
Botanicka 68a, 60200 Brno, Czech Republic
tel: ++420-5-4151 2336, fax: ++420-5-4121 2568
e-mail: {gruska,kucera,staudek,zlatuska,mfcs98}@fi.muni.cz}}

WWW: http://www.fi.muni.cz/mfcs98/

First deadline: The first deadline is the usual one. Accepted papers go to the
hard copy proceedings. Authors are invited to submit an extended abstract not
exceeding 10 LNCS pages. Papers are thoroughly reviewed, double submissions
other than those explicitly mentioned by MFCS/CSL PC are not allowed (see the
www page for details).

Submission: March 20, 1998
Notification: May 20, 1998

Second deadline: The second deadline is for `wild tiger' session (last minute
hot topics). Accepted papers will appear in electronic proceedings. Authors are
invited to send an abstract not exceeding 5 pages. The emphasis is on
attractiveness of potential talks. There is no restriction on double
submissions.

Submission: July 1, 1998
Notification: August 1, 1998

All submission should be done electronically using special www forms.
*******************************************************************************
*******************************************************************************
** **
** **
** MFCS'98 Workshops and Tutorials **
** **
*******************************************************************************
*******************************************************************************

CCA'98 - Workshop on Computability and Complexity (August, 24-27)
------------------------------------------------------------------
Deadline: May 25, 1998
Contact: Klaus.Weihrauch@fernuni-hagen.de

FICS'98 - Fixed Points in Computer Science (August 27-28)
----------------------------------------------------------
Deadline: May 25, 1998
Contact: esik@inf.u-szeged.hu

Frontiers between Decidability and Undecidability (August 24-25)
-----------------------------------------------------------------
Deadline: May 25, 1998
Contact: margens@antares.iut.univ-metz.fr

MFCS'98 Workshop on Communications (August 24-25)
--------------------------------------------------
Deadline: May 15, 1998
Contact: jh@I1.Informatik.RWTH-Aachen.de

MFCS'98 Workshop on Concurrency (August 27-28)
-----------------------------------------------
Deadline: May 25, 1998
Contact: mojmir@fi.muni.cz

MFCS'98 Workshop on Grammar Systems (August 22-23)
--------------------------------------------------
Deadline: May 31, 1998
Contact: kelemenova@fpf.slu.cz

Molecular Computing (August 24-26)
-----------------------------------
Deadline: May 25, 1998
Contact: gpaun@imar.ro

Randomized Algorithms (August 26-28)
------------------------------------
Deadline: March 20, 1998
Contact: rusins@paul.cclu.lv

Weak Arithmetic (August 27-28)
------------------------------
Deadline: March 20, 1998
Contact: cep@capella.liafa.jussieu.fr

Xth Peripathetic Seminar on Sheaves and Logic, X >= 66 (August 29-30)
---------------------------------------------------------------------
Deadline: August 29, 1998
Contact: rosicky@math.muni.cz

*******************************************************************************
** For additional information see http://www.fi.muni.cz/mfcs98/ **
*******************************************************************************

--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------