Preface : Fixed Points in Computer Science (FICS) 2013
Résumé
This special issue of Fundemanta Informaticae contains revised and extended versions of contributions that were presented at the 6th edition of the workshop Fixed Points in Computer Science (FICS) 2013. The FICS 2013 workshop is was held on September 1st 2013 in Torino, as a satellite event ofthe EACSL Annual Conference on Computer Science Logic (CSL) 2013. Fixed points play a fundamental role in several areas of computer science. They are used tojustify (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 implementationof programming languages, logics, verification, databases. The FICS workshop series aims to providea forum for researchers of the computer science and logic communities who study or apply the theoryof fixed points.The special issue presents 7 papers.