CFP: FICS 03

CFP: FICS 03

[Igor Walukiewicz]

  Fixed Points in Computer Science
             FICS'03
  A Satellite Workshop to ETAPS'2003
  12-13 April, 2003, Warsaw, Poland


           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 such as: design and implementation of
programming languages, program logics, databases. 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 theory of fixed points.  Previous workshops
where held in Brno (1998, MFCS workshop), Paris (2000, LC2000
workshop), Florence (2001, PLI workshop). Copenhagen (2002, LICS
workshop).

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, regular
algebras of finitary and infinitary languages, formal power series,
word and tree automata, the mu-calculus and other programming logics,
fixed points in process algebras and process calculi, fixed points and
the lambda calculus, fixed points in relation to dataflow and
circuits, fixed points in logic programming, databases and complexity
theory.



Programme Committee:
 J. Adamek (Braunschweig)
 R. Amadio (Marseille)
 R. Backhouse (Nottingham)
 S. Bloom (Hoboken NJ)
 J. Bradfield (Edinburgh)
 A. Dawar (Cambridge)
 R. De Nicola (Florence)
 Z. Esik (cochair, Szeged)
 I. Guessarian (Paris)
 M. Mislove (Tulane)
 I. Walukiewicz (cochair, Bordeaux)


Invited speakers:
 Martin Grohe (Edinburgh)
 Erich Gradel (Aachen)
 Damian Niwinski (Warsaw)
 Leszek Pacholski (Wroclaw)



Contact person:
 Igor Walukiewicz
 LaBRI
 Domaine Universitaire, bat. A30
 351, cours de la Liberation
 33405 Talence Cedex
 FRANCE
 igw@labri.fr
 phone: +33 5 56.84.69.00
 fax: +33 5 56.84.66.69



Paper submission: Authors are invited to send three copies of an
abstract not exceeding three pages to Igor Walukiewicz. Electronic
submissions in the form of uuencoded postscript files are encouraged
and can be sent to igw@labri.fr. Submissions are to be received before
February 14, 2003. Authors will be notified of acceptance by March 10,
2003.



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 Theoretical
Informatics and Application
(http://www.edpsciences.org/docinfos/ITA/).


The meeting will be organized in affiliation to
ETAPS'03: http://www.mimuw.edu.pl/etaps03


Important Dates:
Submission: February 14, 2003
Notification: March 10, 2003
Final version of the abstract: March 17, 2003


More information is available at the web site
http://www.labri.fr/~igw/fics