• Aucun résultat trouvé

Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Preface"

Copied!
2
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

I NFORMATIQUE THÉORIQUE ET APPLICATIONS

ITA

Preface

Informatique théorique et applications, tome 33, n

o

4-5 (1999), p. 9

<http://www.numdam.org/item?id=ITA_1999__33_4-5_9_0>

© AFCET, 1999, tous droits réservés.

L’accès aux archives de la revue « Informatique théorique et applications » im- plique l’accord avec les conditions générales d’utilisation (http://www.numdam.

org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.

Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques

http://www.numdam.org/

(2)

Préface

Fixed points play a fondamental rôle in several areas of computer science, and the construction and properties of fixed points have been investigated in many different frameworks. The aim of the international workshop Fixed Points in Computer Science, FICS'98 was to provide a forum for researchers to present their results to those mem- bers of the computer science community who study or use the fixed point opération in different fields and formalisms.

The workshop FICS'98, a satellite of MFCS'98, was held in Brno from August 27 to August 29, 1998. This meeting was sponsored by the Masaryk University of Brno and the József Attila University of Szeged. The topics of each of the talks related to fixed points, including the construction and reasoning about properties of fixed points, categorical, metric and ordered fixed point models, recursive types, fixed points in process algebras and process calculi, languages, formai power series and trees, recursion in higher types, the fM calculus and the À calculus.

The scientific program of the workshop consisted of invited lectures given by André Arnold, Jaco W. de Bakker and Yiannis N. Moschovakis, as well as présentations of 15 contributed papers selected by the Program Committee from a total of 23 submissions.

The Program Committee consisted of R. Backhouse, S. L. Bloora, C. Böhm, R. De Nicola, Z. Ésik, P. Freyd, I. Guessarian, D. Kozen, W. Kuich, M. Mislove and R. F. C. Walters.

This special issue contains the full text of 9 of the papers presented at the workshop and a paper by André Arnold related to his invited address.

Zoltân Esik Szeged, August 1999

Références

Télécharger maintenant ( PDF - 2 Page - 106.98 KB )

Documents relatifs

Submitted to the Department of Electrical Engineering and Computer Science in partial fulllment of the requirements for the degree of

There are three phoneme types: phonemic segments (dened in the \Phonemes&#34; section), oating tones (dened automatically based on the number of tones and optionally by

Outlook for Computer Control in the Process Industries Present Vacancies in the Computer Field

Pro- fessional positions in the computer field have been continually increasing during the last five years; indica- tions are that the development of the United

The Challenge to Incorporate the Socials Sciences with Computer Science

Concept Analysis and emotion-based analysis of feelings will be possible using association rules with traditional algorithms such as Apriori and FPGrowth to

Preface to the Second International Workshop on Personalizing Persuasive Technologies

Dijkstra and Kooy, [6] in their paper “The Learning model of Smartphone Feedback Applications in the field of e-health applied to the Step Counter The Learning model of Smartphone

Preface to the CAiSE 2014 Forum

Fabiano Dalpiaz, Utrecht University, The Netherlands Maya Daneva, University of Twente, The Netherlands Sergio España, Universidad Politécnica de Valencia, Spain Christos

Preface to the Third International Workshop on Bidirectional Transformations

The workshop series on Bidirectional Transformations (BX) is dedicated to bringing researchers together from di↵erent disciplines of computer science working on BX- related

Preface to the Proceedings of the 5th International Workshop on Semantic Sensor Networks (SSN2012)

Specifically, to develop an understanding of the ways semantic web technologies can contribute to the growth, application and deployment of large-scale sensor networks on the one

Preface to the 2nd International Workshop on Model-Driven Service Engineering

Valeria De Castro Rey Juan Carlos University, Spain Juan Manuel Vara Rey Juan Carlos University, Spain Esperanza Marcos Rey Juan Carlos University, Spain Mike Papazoglou