FICS' 03 Programme

Invited talks

• Erich Graedel
  Inflationary and deflationary fixed points
• Martin Grohe
  Monadic Datalog on Trees
• Damian Niwinski
  Automta conditions and Borel hierarchy

Contributed Talks

• A. Abel and R. Matthes
  Primitive Recursion for Rank-2 Inductive Types
• A. Arnold and L. Santocanale
  On ambiguous classes in the mu-calculus hierarchy of tree languages
  
• V. Danos and J. Desharnais
  A Fixpoint Logic for Labeled Markov Processes
• L. Dominguez
  A Bisimilarity Logical Relation for the Object Calculus S
• N. Ghani and T. Uustalu
  Coproducts of Ideal Monads
• C. Juergensen
  Monadic fusion of functional programs
• E. Moggi and A. Sabry
  An Abstract Monadic Semantics for Value Recursion
• T. Uustalu and V. Vene
  An Alternative Characterization for Complete Iterativeness