[Prev][Next][Index][Thread]
FICS 02, a satellite workshop to LICS 02
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 pointsin 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/