Preface : Fixed Points in Computer Science (FICS) 2013
1
LSV -
Laboratoire Spécification et Vérification [Cachan]
2 LIGM - Laboratoire d'Informatique Gaspard-Monge
3 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
4 CNRS - Centre National de la Recherche Scientifique
5 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 LIGM - Laboratoire d'Informatique Gaspard-Monge
3 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
4 CNRS - Centre National de la Recherche Scientifique
5 LaBRI - Laboratoire Bordelais de Recherche en Informatique
Arnaud Carayol
- Fonction : Auteur
- PersonId : 18018
- IdHAL : arnaud-carayol
- IdRef : 113630891
Ralph Matthes
- Fonction : Auteur
- PersonId : 174839
- IdHAL : ralph-matthes
- ORCID : 0000-0002-7299-2411
- IdRef : 16505977X
Igor Walukiewicz
- Fonction : Auteur
- PersonId : 2200
- IdHAL : igor-walukiewicz
- IdRef : 078177146
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.
Domaines
Informatique [cs]Format du dépôt | Notice |
---|---|
Type de dépôt | Article dans une revue |
Titre |
en
Preface : Fixed Points in Computer Science (FICS) 2013
|
Résumé |
en
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.
|
Auteur(s) |
David Baelde
1
, Arnaud Carayol
2
, Ralph Matthes
3, 4
, Igor Walukiewicz
5
1
LSV -
Laboratoire Spécification et Vérification [Cachan]
( 2571 )
- Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX
- France
2
LIGM -
Laboratoire d'Informatique Gaspard-Monge
( 3210 )
- Université de Paris-Est Marne-la-Vallée, Cité Descartes, Bâtiment Copernic, 5 bd Descartes, 77454 Marne-la-Vallée Cedex 2
- France
3
IRIT-ACADIE -
Assistance à la Certification d’Applications DIstribuées et Embarquées
( 394992 )
- IRIT
118 Route de Narbonne
31062 Toulouse Cedex 9
- France
4
CNRS -
Centre National de la Recherche Scientifique
( 441569 )
- France
5
LaBRI -
Laboratoire Bordelais de Recherche en Informatique
( 3102 )
- Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex
- France
|
Nom de la revue |
|
Comité de lecture |
Oui
|
Langue du document |
Anglais
|
Vulgarisation |
Non
|
Audience |
Internationale
|
Date de publication |
2017
|
Volume |
150
|
Numéro |
3-4
|
Page/Identifiant |
i-ii
|
URL éditeur |
https://content.iospress.com/download/fundamenta-informaticae/fi1468?id=fundamenta-informaticae%2Ffi1468
|
Voir aussi |
|
Domaine(s) |
|
Éditeur commercial |
|
Éditeur scientifique |
|
DOI | 10.3233/FI-2017-1468 |
Loading...