============================================================= FICS'2002 Fixed Points in Computer Science A Satellite Workshop to LICS'2002 July 20--21, 2002, Copenhagen, Denmark http://floc02.diku.dk/FICS/ PRELIMINARY CALL FOR PAPERS 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 the PC cochair Anna Ingolfsdottir. Electronic submissions in the form of uuencoded postscript files are encouraged and can be sent to annai@cs.auc.dk. Submissions are to be received before April 15, 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. Final proceedings will be published after the meeting as a special issue of the journal Theoretical Informatics and Application} (http://www.edpsciences.org/docinfos/ITA/). Invited speakers: L. Aceto (Aalborg), D. Kozen (Cornell), A. Labella (Rome), G. Winskel (Cambridge, provisional). Program Committee: J. Adamek (Braunschweig), R. Backhouse (Nottingham), S. Bloom (Hoboken NJ), J. Bradfield (Edinburgh), R. De Nicola (Florence), Z. Esik (cochair, Szeged), I. Guessarian (Paris), A. Ingolfsdottir (cochair, Aalborg), W. Kuich (Vienna), A. Labella (Rome), M. Mislove (Tulane), D. Niwinski (Warsaw). The meeting will be organised in affiliation to LICS'02: http://www.dcs.ed.ac.uk/home/grohe/lics/lics02/ FICS'02 is partially supported by BRICS (Basic Research in Computer Science): http://www.brics.dk/ and the Computer Science Department of Aalborg University: http://cs.auc.dk/. More information} is available at the web site http://floc02.diku.dk/FICS/