From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4982 Path: news.gmane.org!not-for-mail From: Tarmo Uustalu Newsgroups: gmane.science.mathematics.categories Subject: FICS'09 2nd Call for papers - Fixed Points in Computer Science (CSL'09 workshop) Date: Wed, 17 Jun 2009 12:26:45 +0300 Message-ID: Reply-To: Tarmo Uustalu NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1245247229 21029 80.91.229.12 (17 Jun 2009 14:00:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 17 Jun 2009 14:00:29 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Wed Jun 17 16:00:27 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1MGvgg-0003YR-Jo for gsmc-categories@m.gmane.org; Wed, 17 Jun 2009 16:00:26 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MGv6e-0000Ur-LU for categories-list@mta.ca; Wed, 17 Jun 2009 10:23:12 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4982 Archived-At: 2nd Call for Papers (Extended Abstracts) 6th Workshop on Fixed Points in Computer Science, FICS 2009 Coimbra, Portugal, 12-13 September 2009, a satellite workshop of CSL 2009, colocated with PPDP 2009, LOPSTR 2009 http://cs.ioc.ee/fics09/ Background 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/CSL workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop), Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop). Topics include, but are not restricted to: * categorical, metric and ordered fixed point models * fixed points in algebra and coalgebra * fixed points in languages and automata * fixed points in programming language semantics * the mu-calculus and fixed points in modal logic * fixed points in process algebras and process calculi * fixed points in the lambda-calculus, = functional programming and type theory * fixed points in relation to dataflow and circuits * fixed points in logic programming and theorem proving * finite model theory, descriptive complexity theory, = fixed points in databases Invited speakers Javier Esparza (Technische Universit=E4t M=FCnchen) Yde Venema (Universiteit van Amsterdam) a 3rd invited speaker tba Contributed talks Selection of contributed talks is based on extended abstracts/short papers of 3..6 pp formatted with easychair.cls. Submission is via EasyChair by 30 June 2009. The authors will be notified of acceptance/rejection by 21 July 2009. Camera-ready versions of the accepted contributions, due by 11 August 2009, will be published for distribution at the workshop as a technical report. If the number and quality of submissions and accepted talks warrant this, EDP Sciences will publish a special issue of Theoretical Informatics and Applications. The special issues of the previous editions of FICS appeared in the same journal. Programme committee Yves Bertot (INRIA Sophia Antipolis) Anuj Dawar (University of Cambridge) Peter Dybjer (Chalmers University of Technology) Zolt=E1n =C9sik (University of Szeged) Masahito Hasegawa (Kyoto University) Anna Ing=F3lfsd=F3ttir (Reykjavik University) Ralph Matthes (IRIT, Toulouse) (co-chair) Jan Rutten (CWI and Vrije Universiteit Amsterdam) Luigi Santocanale (LIF, Marseille) Alex Simpson (University of Edinburgh) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (co-chair) Igor Walukiewicz (LaBRI, Bordeaux) Sponsors EXCS, Estonian Centre of Excellence in Computer Science [For admin and other information see: http://www.mta.ca/~cat-dist/ ]