ETAPS Foreword

Marieke Huisman

doi:10.1007/978-3-031-57231-9

ETAPS Foreword

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

40 Downloads (Pure)

Original language	English
Title of host publication	Foundations of software science and computation structures
Subtitle of host publication	27th International Conference, FoSSaCS 2024; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024. Proceedings, Part II
Editors	Naoki Kobayashi, James Worrell
Place of Publication	Cham
Publisher	Springer
Pages	v-vi
ISBN (Electronic)	978-3-031-57231-9
ISBN (Print)	978-3-031-57230-2
DOIs	https://doi.org/10.1007/978-3-031-57231-9
Publication status	Published - 2024
Event	27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024 - Luxembourg City, Luxembourg Duration: 6 Apr 2024 → 11 Apr 2024 Conference number: 27

Publication series

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

Conference

Conference	27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024
Abbreviated title	FOSSACS 2024
Country/Territory	Luxembourg
City	Luxembourg City
Period	6/04/24 → 11/04/24
Other	Held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024

Access to Document

10.1007/978-3-031-57231-9Licence: CC BY

978-3-031-57231-9 ETAPS ForewordFinal published version, 76.1 KBLicence: CC BY

Cite this

Huisman, M. (2024). ETAPS Foreword. In N. Kobayashi, & J. Worrell (Eds.), Foundations of software science and computation structures: 27th International Conference, FoSSaCS 2024; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024. Proceedings, Part II (pp. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14575). Springer. https://doi.org/10.1007/978-3-031-57231-9

Huisman, Marieke. / ETAPS Foreword. Foundations of software science and computation structures: 27th International Conference, FoSSaCS 2024; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024. Proceedings, Part II. editor / Naoki Kobayashi ; James Worrell. Cham : Springer, 2024. pp. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{f21f157bf5ef4cbfbe2489f4a2a39352,

title = "ETAPS Foreword",

author = "Marieke Huisman",

year = "2024",

doi = "10.1007/978-3-031-57231-9",

language = "English",

isbn = "978-3-031-57230-2",

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

publisher = "Springer",

pages = "v--vi",

editor = "Naoki Kobayashi and James Worrell",

booktitle = "Foundations of software science and computation structures",

address = "Germany",

note = "27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, FOSSACS 2024 ; Conference date: 06-04-2024 Through 11-04-2024",

}

Huisman, M 2024, ETAPS Foreword. in N Kobayashi & J Worrell (eds), Foundations of software science and computation structures: 27th International Conference, FoSSaCS 2024; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024. Proceedings, Part II. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14575, Springer, Cham, pp. v-vi, 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, Luxembourg City, Luxembourg, 6/04/24. https://doi.org/10.1007/978-3-031-57231-9

ETAPS Foreword. / Huisman, Marieke.
Foundations of software science and computation structures: 27th International Conference, FoSSaCS 2024; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024. Proceedings, Part II. ed. / Naoki Kobayashi; James Worrell. Cham: Springer, 2024. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14575).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

TY - CHAP

T1 - ETAPS Foreword

AU - Huisman, Marieke

N1 - Conference code: 27

PY - 2024

Y1 - 2024

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

U2 - 10.1007/978-3-031-57231-9

DO - 10.1007/978-3-031-57231-9

M3 - Foreword/postscript

AN - SCOPUS:85190689312

SN - 978-3-031-57230-2

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

A2 - Kobayashi, Naoki

A2 - Worrell, James

PB - Springer

CY - Cham

T2 - 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024

Y2 - 6 April 2024 through 11 April 2024

ER -

Huisman M. ETAPS Foreword. In Kobayashi N, Worrell J, editors, Foundations of software science and computation structures: 27th International Conference, FoSSaCS 2024; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024. Proceedings, Part II. Cham: Springer. 2024. p. v-vi. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-57231-9

ETAPS Foreword

Publication series

Conference

Access to Document

Other files and links

Cite this