ETAPS ForewordPreface

Laura Kovács; Sebastian Junges; Guy Katz; Guy Amir; Matthias Volk; Dirk Beyer; Jan Strejček

ETAPS ForewordPreface

Laura Kovács
, Sebastian Junges
, Guy Katz
, Guy Amir
, Matthias Volk
, Dirk Beyer
, Jan Strejček

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Contribution to journal › Editorial

Original language	English
Journal	Lecture Notes in Computer Science
Volume	16505 LNCS
State	Published - 2026
Event	32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026 - Turin, Italy Duration: 11 Apr 2026 → 16 Apr 2026

Cite this

@article{2a45075cf496477a92ab07ec33c713ef,

title = "ETAPS ForewordPreface",

author = "Laura Kov{\'a}cs and Sebastian Junges and Guy Katz and Guy Amir and Matthias Volk and Dirk Beyer and Jan Strej{\v c}ek",

year = "2026",

language = "אנגלית",

volume = "16505 LNCS",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026 ; Conference date: 11-04-2026 Through 16-04-2026",

}

TY - JOUR

T1 - ETAPS ForewordPreface

AU - Kovács, Laura

AU - Junges, Sebastian

AU - Katz, Guy

AU - Amir, Guy

AU - Volk, Matthias

AU - Beyer, Dirk

AU - Strejček, Jan

PY - 2026

Y1 - 2026

UR - https://www.scopus.com/pages/publications/105039556018

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:105039556018

SN - 0302-9743

VL - 16505 LNCS

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026

Y2 - 11 April 2026 through 16 April 2026

ER -

ETAPS ForewordPreface

Other files and links

Cite this