[Prev][Next][Index][Thread]

FICS'2001 - CFP



                       '2001 - CALL FOR PAPERS
                   Fixed Points in Computer Science
		September 8, 2001, Florence, Italy
            http://www.dsi.uniroma1.it/~labella/FICS.html

                   A Satellite Workshop to PLI'2001
Principles, Logics and Implementations of High-Level Programming Languages
                 September 3-7, 2001, Florence, Italy
                   http://music.dsi.unifi.it/pli01

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.
  Previous workshops where held in 1998 in Brno and in 2000 in Paris.

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.

Program Committee:
 J. Adamek(Braunschweig)
 R. Backhouse (Nottingham)
 S. Bloom (Hoboken NJ)
 R. De Nicola (Florence)
 Z. 'Esik (Szeged)
 I. Guessarian (Paris)
 W. Kuich (Vienna)
 A. Labella (Rome, chair)
 M. Mislove (Tulane)
 D. Niwinski (Warsaw)

Invited speakers:
 J. Adamek (Braunschweig)
 Z. 'Esik (Szeged)
 I. Guessarian (Paris)
 C. Stirling (Edinburgh)
 R. F. C. Walters (Sydney)

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 file are encouraged and can be sent to
 labella@dsi.uniroma1.it.

Important Dates:
Submission: April 15, 2001
Notification: June 15, 2001

Proceedings:  preliminary proceedings containing the abstracts
of the talks will be available at the meeting.
Publication of final proceedings as a special issue of  Theoretical
Informatics and Applications
depends on the number and quality of the papers.

Contact person:
Anna Labella
dip. Scienze dell'Informazione
Universita` La Sapienza
via Salaria 113
00198, Rome, Italy
labella@dsi.uniroma1.it
phone:  +39 06 49918355
fax: +39 06 8541842


==============================================
Prof. Anna Labella
Dipartimento di Scienze dell'Informazione
Universita` di Roma "La Sapienza"
Via Salaria, 113    -  00198 Roma (ITALY)

tel: +39 06 49918355   fax:  +39 06 8541842
email: labella@dsi.uniroma1.it
==============================================