[TYPES/announce] FICS 2013 - second call for papers

David Baelde david.baelde at lsv.ens-cachan.fr
Sat Jun 8 10:25:34 EDT 2013

      == Second call for papers == Announcing invited speakers ==

                       Call for Papers
                          FICS 2013
              September 1st, 2013, Torino, Italy
                Satellite workshop to CSL 2013



Abstract submission:         14 June 2013
Paper submission:            21 June 2013
Notification:                15 July 2013
Final version:               16 August 2013


Fixed points play a fundamental role in several areas of computer science.
They are used to justify (co)recursive definitions and associated reasoning
techniques. The construction and properties of fixed points have been
investigated in many different settings such as: design and implementation
of programming languages, logics, verification, databases.

The aim of this 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.

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
  * fixed points in the mu-calculus and modal logics
  * fixed points in process algebras and process calculi
  * fixed points in functional programming and type theory
  * fixed points in relation to dataflow and circuits
  * fixed points in logic programming and theorem proving
  * fixed points in finite model theory, descriptive complexity theory,
    and databases


  Andreas Abel (Ludwig-Maximilians-Universität München)
  David Baelde, co-chair (ENS Cachan)
  Lars Birkedal (Aarhus University)
  Arnaud Carayol, co-chair (CNRS / Université Paris-Est, Marne-la-Vallée)
  Javier Esparza (Technische Universität München)
  Neil Ghani (University of Strathclyde)
  Dexter Kozen (Cornell University)
  Ralph Matthes (IRIT, Toulouse)
  Paul-André Melliès (CNRS / Université Paris Denis Diderot)
  Matteo Mio (CWI, Amsterdam)
  Pawel Parys (Warsaw University)
  Luke Ong (University of Oxford)
  Luigi Santocanale (LIF, Université Aix-Marseille I)
  Makoto Tatsuta (National Institute of Informatics, Tokyo)
  Wolfgang Thomas (RWTH Aachen University, Germany)


  Anuj Dawar, University of Cambridge
  Alexandra Silva, Radboud University Nijmegen
  Third speaker to be confirmed


A selection of contributed talks will be based on extended abstracts/short
papers. Submission is via EasyChair:

Accepted papers will be published though the open-access venue EPTCS.
Submissions should be composed using LaTeX and the EPTCS style:

Typical submission would be 8 pages long but submissions of up to 15 pages
will be accepted.


A subsequent special issue of the journal Fundamenta Informaticae will
appear with extended versions of selected papers from the workshop.

More information about the Types-announce mailing list