From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1818 Path: news.gmane.org!not-for-mail From: Anna Labella Newsgroups: gmane.science.mathematics.categories Subject: FICS'2001 - CFP Date: Wed, 31 Jan 2001 11:17:20 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: ger.gmane.org 1241018124 624 80.91.229.2 (29 Apr 2009 15:15:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:15:24 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Jan 31 17:48:49 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f0VKq4Q29674 for categories-list; Wed, 31 Jan 2001 16:52:05 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 49 Original-Lines: 93 Xref: news.gmane.org gmane.science.mathematics.categories:1818 Archived-At: FICS'2001 - CALL FOR PAPERS Fixed Points in Computer Science September 8, 2001, Florence, Italy http://www.dsi.uniroma1.it/~labella/FICS.html A Satellite Workshop to PLI'2001 Principles, Logics and Implementations of High-Level Programming Languages September 3-7, 2001, Florence, Italy http://music.dsi.unifi.it/pli01 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 where held in 1998 in Brno and in 2000 in Paris. 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 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. Program Committee: J. Adamek(Braunschweig) R. Backhouse (Nottingham) S. Bloom (Hoboken NJ) R. De Nicola (Florence) Z. 'Esik (Szeged) I. Guessarian (Paris) W. Kuich (Vienna) A. Labella (Rome, chair) M. Mislove (Tulane) D. Niwinski (Warsaw) Invited speakers: J. Adamek (Braunschweig) Z. 'Esik (Szeged) I. Guessarian (Paris) C. Stirling (Edinburgh) R. F. C. Walters (Sydney) 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 labella@dsi.uniroma1.it. Important Dates: Submission: April 15, 2001 Notification: June 15, 2001 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. Contact person: Anna Labella dip. Scienze dell'Informazione Universita` La Sapienza via Salaria 113 00198, Rome, Italy labella@dsi.uniroma1.it phone: +39 06 49918355 fax: +39 06 8541842 ============================================== Prof. Anna Labella Dipartimento di Scienze dell'Informazione Universita` di Roma "La Sapienza" Via Salaria, 113 - 00198 Roma (ITALY) tel: +39 06 49918355 fax: +39 06 8541842 email: labella@dsi.uniroma1.it ==============================================