J. Adamek (Braunschweig)
Submission: April 15, 2001
|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.
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 email@example.com. Submissions are to be received before April 15, 2001. Authors will be notified of acceptance by 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. (The proceedings of FICS 98 appeared in the same journal, Vol. 33, No. 4/5, 1999.)
The workshop is organised as a satellite event of the conference Principles, Logics and Implementations of High-Level Programming Languages (PLI 2001), Firenze, Italy, September 3 - 7, 2001, http://music.dsi.unifi.it/pli01. The workshop is partially sponsored by GNCS-CNR.