July 22 and 23, 2000, Paris, France
CALL FOR PAPERS
A. Arnold (Bordeaux)
R. Backhouse (Nottingham)
C. Böhm (Rome)
R. De Nicola (Florence)
Z. Esik (Szeged)
I. Guessarian (Paris, chair)
W. Kuich (Vienna)
M. Mislove (Tulane)
D. Niwinski (Warsaw)
R. F. C. Walters (Sydney)
|Aim: Fixed points play a
fundamental role in several areas of computer
science and logic by justifying induction and recursive definitions. The construction and
properties of fixed points have been investigated
in many different frameworks. The aim of the workshop is to provide
a forum for researchers to
their results to those members of
the computer science and logic communities who
study or apply the fixed point operation in the
different fields and formalisms.
The First workshop on Fixed Points in Computer Science was held in Brno (1998).
Topics: Construction and reasoning about properties of fixed points, categorical, metric and ordered fixed point models, continuous algebras, relation algebras, fixed points in process algebras and process calculi, regular algebras of finitary and infinitary languages, formal power series, tree automata and tree languages, infinite trees, the mu-calculus and other programming logics, fixed points in relation to dataflow and circuits, fixed points and the lambda calculus, fixed points in logic programming and data bases.
Paper submission: Authors are invited to send three copies of an abstract not exceeding three pages to the PC chair. Electronic submissions in the form of uuencoded postscript files are encouraged and can be sent in duplicate to firstname.lastname@example.org and email@example.com. Submissions are to be received before April 3, 2000. Authors will be notified of acceptance by June 1, 2000.
Proceedings: preliminary proceedings containing the abstracts of the talks will be available at the meeting. Publication of final proceedings as a special issue of Journal of Logic and Computation depends on the number and quality of the papers.
No special registration fee
will be required.
Suppport for the Meeting: GDR-ALP , Université Pierre et Marie
Curie (Direction de la Recherche) , EVOLUTION.