[TYPES/announce] FICS 2013 - call for participation

David Baelde david.baelde at lsv.ens-cachan.fr
Mon Aug 26 10:19:30 EDT 2013

                     Call for Participation

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



The workshop will be held Sunday, September 1st at the Rettorato of the
University of Torino.


The programme is now available:


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


* Anuj Dawar:  Fixed-point approximations of graph isomorphism

* Nicola Gambino: Cartesian closed bicategories

* Alexandra Silva: Rational fixpoints in programming languages


* Stefano Berardi and Ugo de' Liguoro
  Non-monotonic Pre-fixed Points and Learning

* Corina Cirstea
  From Branching to Linear Time, Coalgebraically

* José Espírito Santo, Ralph Matthes and Luís Pinto
  A Coinductive Approach to Proof Search

* Niels Bjørn Bugge Grathwohl, Fritz Henglein and Dexter Kozen
  Infinitary Axiomatization of
    the Equational Theory of Context-Free Languages

* Eleftherios Matsikoudis and Edward A. Lee
  The Fixed-Point Theory of Strictly Contracting Functions
    on Generalized Ultrametric Semilattices

* Stefan Milius and Tadeusz Litak
  Guard Your Daggers and Traces:
    On The Equational Properties of Guarded (Co-)recursion

* Matteo Mio and Alex Simpson
  Lukasiewicz mu-Calculus


  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)


  European Association for Computer Science Logic
  Université Paris-Est Marne-la-Vallée

More information about the Types-announce mailing list