ETAPS Foreword

Marieke Huisman

ETAPS Foreword

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

66 Downloads (Pure)

Original language	English
Title of host publication	Foundations of Software Science and Computation Structures
Subtitle of host publication	26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Pages	v-vi
ISBN (Electronic)	978-3-031-30829-1
Publication status	Published - 21 Apr 2023
Event	26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023 - Paris, France Duration: 22 Apr 2023 → 27 Apr 2023 Conference number: 26

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	13992
ISSN (Print)	0302-9743

Conference

Conference	26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023
Abbreviated title	FOSSACS 2023
Country/Territory	France
City	Paris
Period	22/04/23 → 27/04/23
Other	Held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023

Access to Document

1Final published version, 139 KBLicence: CC BY

Cite this

Huisman, M. (2023). ETAPS Foreword. In Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings (pp. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13992).

Huisman, Marieke. / ETAPS Foreword. Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. 2023. pp. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3299c0f6683e498fb85dfd3700fc7cbd,

title = "ETAPS Foreword",

author = "Marieke Huisman",

year = "2023",

month = apr,

day = "21",

language = "English",

isbn = "978-3-031-30828-4",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "v--vi",

booktitle = "Foundations of Software Science and Computation Structures",

note = "26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, FOSSACS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

}

Huisman, M 2023, ETAPS Foreword. in Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13992, pp. v-vi, 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, Paris, France, 22/04/23.

ETAPS Foreword. / Huisman, Marieke.
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. 2023. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13992).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - ETAPS Foreword

AU - Huisman, Marieke

N1 - Conference code: 26

PY - 2023/4/21

Y1 - 2023/4/21

UR - http://www.scopus.com/inward/record.url?scp=85161412157&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85161412157

SN - 978-3-031-30828-4

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - v-vi

BT - Foundations of Software Science and Computation Structures

T2 - 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023

Y2 - 22 April 2023 through 27 April 2023

ER -

Huisman M. ETAPS Foreword. In Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. 2023. p. v-vi. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

ETAPS Foreword

Publication series

Conference

Access to Document

Other files and links

Cite this