July 20 and 21, 2002, Copenhagen, Denmark
|
Accepted Papers:
| |
|
Scientific Program :
On-line registration: Hotel booking: Program Committee: J. Adamek (Braunschweig) R. Backhouse (Nottingham) S. Bloom (Hoboken, NJ) J. Bradfield (Edinburgh) R. De Nicola (Florence) Z. Esik (Szeged, cochair) I. Guessarian (Paris) A. Ingólfsdóttir (Aalborg, cochair) W. Kuich (Vienna) A. Labella (Rome) M. Mislove (Tulane) D. Niwinski (Warsaw) Invited speakers Contact persons: Important Dates: |
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 were held in 1998 in Brno, in
2000 in Paris, and in 2001 in Florence.
Topics include, but are not restricted to: 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 Anna Ingólfsdóttir. Electronic submissions in the form of postscript files are encouraged and can be sent to annai@cs.auc.dk. Submissions are to be received before April 20, 2002 . Authors will be notified of acceptance by May 31, 2002. Proceedings: Preliminary proceedings containing the abstracts of the talks will be available at the meeting. Special issue: All participants with accepted contributions are invited to submit a full version of their papers to a special issue of Theoretical Informatics and Application devoted to FICS. All such submissions will be peer reviewed according to the usual standard of the journal. Submissions in the form of postscript files should be sent to Zoltan Esik (esik@inf.u-szeged.hu) or Anna Ingólfsdóttir (annai@decode.is) before November 1, 2002 The meeting will be organised in affiliation to LICS. Sponsors: FICS'02 is partly supported by SNF (Danish Natural Science Research Council), Otto Mønsteds Fond, BRICS (Basic Research in Computer Science) and Department of Computer Science, Aalborg University. |