From owner-dma-list@NIC.SURFNET.NL Tue Jan 20 08:07:42 1998 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.8) with ESMTP id IAA08863; Tue, 20 Jan 1998 08:07:42 -0800 (PST) Received: from listserv-mail.surfnet.nl (listserv-mail.surfnet.nl [192.87.5.141]) by CS.Stanford.EDU (8.8.8/8.8.8) with ESMTP id IAA25985; Tue, 20 Jan 1998 08:08:49 -0800 (PST) Received: from listserv-mail (192.87.5.141) by listserv-mail.surfnet.nl (LSMTP for Windows NT v1.1a) with SMTP id <0.3CC91CC0@listserv-mail.surfnet.nl>; Tue, 20 Jan 1998 17:02:49 +0100 Received: from NIC.SURFNET.NL by NIC.SURFNET.NL (LISTSERV-TCP/IP release 1.8c) with spool id 2843 for DMA-LIST@NIC.SURFNET.NL; Tue, 20 Jan 1998 17:03:35 +0100 Received: from utmfu6.math.utwente.nl by listserv.surfnet.nl (LSMTP for Windows NT v1.1a) with SMTP id <0.58177800@listserv.surfnet.nl>; Tue, 20 Jan 1998 17:03:35 +0100 Received: from utmfu0.math.utwente.nl (utmou1.math.utwente.nl) by utmfu6.math.utwente.nl with ESMTP (1.40.112.8/16.2) id AA224442444; Tue, 20 Jan 1998 17:07:29 +0100 Received: by utmfu0.math.utwente.nl ($Revision: 1.36.108.11 $/16.2) id AA084502441; Tue, 20 Jan 1998 17:07:21 +0100 Mailer: Elm [revision: 66.36.1.1] Approved-By: DMANET Message-ID: <199801201607.AA084502441@utmfu0.math.utwente.nl> Date: Tue, 20 Jan 1998 17:07:19 MET Reply-To: esik@INF.U-SZEGED.HU Sender: DMANET From: DMANET Subject: CfP: FICS '98 To: DMA-LIST@NIC.SURFNET.NL Status: RO X-Status: X-Mozilla-Status: 0001 Content-Length: 4567 ******************************************************************************* ******************************************************************************* ** ** ** 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/ -- ****************************************************** Contributions to be spread via DMANET are submitted to DMANET@math.utwente.nl Replies to a message carried on DMANET should NOT be addressed to DMANET but to the original sender. The original sender, however, is invited to prepare an update of the replies received and to communicate it via DMANET. DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)