Workshop on Fixed Points

Workshop on Fixed Points

[categories]

Date: Thu, 8 Jan 98 15:27 MET
From: esik@inf.u-szeged.hu


*******************************************************************************
*******************************************************************************
**                                                                           **
**                               F I C S  ' 9 8                              **
**                                                                           **
**                      Fixed Points in Computer Science                     **
**                                                                           **
**                       A Satellite Workshop to MFCS'98                     **
**                                                                           **
**                   August 27-28, 1998, Brno, Czech Republic                **
**                                                                           **
**                               CALL FOR PAPERS                             **
**                                                                           **
*******************************************************************************
*******************************************************************************


Aim:
 Fixed points play a fundamental role in several areas of computer science,
 and 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 community who study or apply the fixed point operation in the
 different fields and formalisms.


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
 algebra 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.


Invited speakers:
 A. Arnold (Bordeaux)
 J. W. de Bakker (Amsterdam)
 Y. N. Moschovakis (Los Angeles/Athens)


Program Committee:

R. Backhouse (Eindhoven)
S. L. Bloom (Hoboken)
C. Boehm (Rome)
R. De Nicola (Florence)
Z. Esik (Szeged, chairman)
P. Freyd (Philadelphia)
I. Guessarian (Paris)
D. Kozen (Cornell)
W. Kuich (Vienna)
M. Mislove (Tulane)
R. F. C. Walters (Sydney)


Contact person:

Zoltan Esik
Dept. of Computer Science
Jozsef Attila University
P.O.B. 652
6701 Szeged, Hungary
e-mail: fics@inf.u-szeged.hu
phone:  ++36-62-454-289
fax:    ++36-62-312-292


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 fics@inf.u-szeged.hu.
 Submissions are to be received before May 25, 1998. Authors will be notified
 of acceptance by June 25, 1998.


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 workshop will be organised at the same place as the federated
MFCS'98/CSL'98 conference and care will be taken that participants of the
workshop can attend invited talks of the MFCS and CSL conferences.

No special registration fee will be required for participants who also
register for MFCS'98 or CSL'98 and have a presentation at the workshop. Other
workshop participants registered for MFCS'98 or CSL'98 will be requested to
pay a small fee for the preliminary proceedings. Registration only for the
workshop will also be possible--expenses for fee, accommodation, and basic
meals will be very modest.


Organising Committee:

L. Bernatsky (Szeged)
A. Kucera (Brno)
T. Szeles (Szeged)


More information is available at the following web sites:

 http://www.inf.u-szeged.hu/fics/
 http://www.cs.stevens-tech.edu/CFP/FICS/