Tenth International Workshop on Fixed Points in Computer Science (FICS 2015), Berlin, Allemagne, 11/09/2015 - 12/09/2015

Ralph Matthes (1, 2) , Matteo Mio (3, 4)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 CNRS - Centre National de la Recherche Scientifique
3 ENS de Lyon - École normale supérieure de Lyon
4 PLUME - Preuves et Langages

This volume contains the proceedings of the Tenth International Workshop on Fixed Points in Computer Science (FICS 2015) which took place on September 11th and 12th, 2015 in Berlin, Germany, as a satellite event of the conference Computer Science Logic (CSL 2015). 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. Each of the 11 contributed papers of this volume were evaluated by three or four reviewers. Some of the papers were re-reviewed after revision. Additionally, this volume contains the abstracts of the FICS 2015 invited talks given by Bartek Klin and James Worrell.

Domaines: Informatique [cs]

Ralph Matthes, Matteo Mio (Dir.). Tenth International Workshop on Fixed Points in Computer Science (FICS 2015), Berlin, Allemagne, 11/09/2015 - 12/09/2015. Matthes, Ralph; Mio, Matteo. Electronic Proceedings in Theoretical Computer Science, 191, 2015, ⟨10.4204/EPTCS.191⟩. ⟨hal-03198240⟩