#### New : book of abstracts

The book of abstract can be fond on Hal.#### Practical Informations

The scientific program shall start at 10.30 in room B011 at the Faculty of Informatics of Masaryk University -- registration to the workshop is possible from 10.00. A plan of the venue and some travel instructions.#### Important dates

June 20 : paper submission deadline (extended)July 10 : author notification

August 21-22 : workshop in Brno

#### 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 were held in Brno (1998, MFCS/CSL workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop), Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop), Coimbra (2009, CSL workshop) (check the FICS history).

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

- Arnaud Carayol,
Laboratoire d'informatique Gaspard-Monge :
*Structures defined by higher-order recursion schemes*. - Panos Rondogiannis,
University of Athens :
*Fixed-Point Semantics for Non-Monotonic Formalisms*. - Dale
Miller, INRIA and LIX :
*Fixed points and proof theory: an extended abstract*.

#### Contributed talks

The call for papers.

Selection of contributed talks is based on extended abstracts/short papers of 3...6 pp formatted with easychair.cls. Submission is via EasyChair, by June 20 2010 (deadline extended). The authors will be notified of acceptance/rejection by July 10 2010. Camera-ready versions of the accepted contributions will be published for distribution at the workshop as a technical report.

#### Journal publication

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.

#### FICS Program Committee

Thorsten Altenkirch
(University of Nottingham)

Giovanna
D'Agostino (University of Udine)

Peter Dybjer (Chalmers
University of Technology)

Zoltán Ésik (University of Szeged)

Anna Ingólfsdóttir
(Reykjavík University)

Gerhard Jäger
(University of Bern)

Ralph Matthes (IRIT,
Toulouse)

Andrzej
Murawski (University of Oxford)

Damian Niwinski
(University of Warsaw)

Luigi Santocanale
(LIF, Université Aix-Marseille I)

Alex Simpson (University
of Edinburgh)

Jean-Marc Talbot (LIF,
Université Aix-Marseille I)

Tarmo Uustalu
(Institute of Cybernetics, Tallinn)

Yde Venema (University of
Amsterdam)

Igor Walukiewicz
(LaBRI, Bordeaux)

#### FICS Steering Committee

Peter Dybjer
(Chalmers University of Technology)

Zoltán Ésik
(University of Szeged)

Anna Ingólfsdóttir
(Reykjavík University)

Ralph Matthes
(IRIT, Toulouse)

Damian Niwinski
(University of Warsaw)

Luigi Santocanale
(LIF, Université Aix-Marseille I)

Alex Simpson
(University of Edinburgh)

Tarmo Uustalu
(Institute of Cybernetics, Tallinn)

Igor Walukiewicz
(LaBRI, Bordeaux)

#### Sponsors

Dernière mise à jour : Wed Aug 18 2010, 11:24:01