Fixed Points in Computer Science
A Satellite Workshop to LC'2000
Preliminary Program, Postscript file of the Preliminary Program

July 22 and 23, 2000, Paris, France


Program Committee:
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)

Invited speakers
S. Bloom (Hoboken)
B. Courcelle (Bordeaux)
H. Marandjian (Yerevan)
J. Rutten (Amsterdam)
I. Walukiewicz (Warsaw)

Contact person:
Irene Guessarian LIAFA
University Paris 7, Paris 6
Case 7014. 2, place Jussieu
75251 Paris Cedex 05
phone: 33-1 44 27 70 99
fax:      33-1 44 27 68 49

Important Dates:
Submission: April 3, 2000
Notification: June 1, 2000

More information:
Hotel Information

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 present 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  and 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.
The workshop will be organised just before the Logic 2000 conference.

Suppport for the Meeting: GDR-ALP , Université Pierre et Marie Curie (Direction de la Recherche)  , EVOLUTION.
The workshop will take place in Amphitheatre de Physique, University Paris 6, 12 rue Cuvier (metro Jussieu)