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