Preface : Fixed Points in Computer Science (FICS) 2013 - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2017

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.
Fichier non déposé

Dates et versions

hal-03116273 , version 1 (20-01-2021)

Identifiants

Citer

David Baelde, Arnaud Carayol, Ralph Matthes, Igor Walukiewicz. Preface : Fixed Points in Computer Science (FICS) 2013. Fundamenta Informaticae, 2017, 150 (3-4), pp.i-ii. ⟨10.3233/FI-2017-1468⟩. ⟨hal-03116273⟩
31 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More