Papers accepted for presentation at FICS 2015 are:

Etienne Lozes. A Type-Directed Negation Elimination
Dilian Gurov and Minko Markov. Self-Correlation and Maximum Independence in Finite Relations
Zoltan Esik, Uli Fahrenberg and Axel Legay. *-Continuous Kleene ω-Algebras for Energy Problems
Karoliina Lehtinen. Disjunctive form and the modal $\mu$ alternation hierarchy
Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou. Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
Naohi Eguchi. Formalizing Termination Proofs under Polynomial Quasi-interpretations
Henning Basold. Dependent Inductive and Coinductive Types are Fibrational Dialgebras
Makoto Hamana. Iteration Algebras for UnQL Graphs and Completeness for Bisimulation
Paolo Torrini and Tom Schrijvers. Reasoning about modular data-types with Mendler induction
Helle Hvid Hansen and Clemens Kupke. Weak Completeness of Coalgebraic Dynamic Logics
Martin Lange. The Arity Hierarchy in the Polyadic mu-Calculus