Samoa Digital Library

Tools and Algorithms for the Construction and Analysis of Systems

Show simple item record

dc.date.accessioned 2021-12-09T20:36:55Z
dc.date.available 2021-12-09T20:36:55Z
dc.date.issued 2021
dc.identifier.isbn 978-3-030-72012-4
dc.identifier.uri https://doi.org/10.1007/978-3-030-72013-1
dc.identifier.uri ${sadil.baseUrl}/handle/123456789/1585
dc.description 476 p. ; PDF en_US
dc.description.abstract and Practice of Software. ETAPS is an annual federated conference established in 1998, and consists of four conferences: ESOP, FASE, FoSSaCS, and TACAS. Each conference has its own Program Committee (PC) and its own Steering Committee (SC). The conferences cover various aspects of software systems, ranging from theoretical computer science to foundations of programming languages, analysis tools, and formal approaches to software engineering. Organising these conferences in a coherent, highly synchronised conference programme enables researchers to participate in an exciting event, having the possibility to meet many colleagues working in different directions in the field, and to easily attend talks of different conferences. On the weekend before the main conference, numerous satellite workshops take place that attract many researchers from all over the globe. ETAPS 2021 received 260 submissions in total, 115 of which were accepted, yielding an overall acceptance rate of 44.2%. I thank all the authors for their interest in ETAPS, all the reviewers for their reviewing efforts, the PC members for their contributions, and in particular the PC (co-)chairs for their hard work in running this entire intensive process. Last but not least, my congratulations to all authors of the accepted papers! en_US
dc.language.iso en en_US
dc.publisher Springer Nature en_US
dc.subject Verification techniques en_US
dc.title Tools and Algorithms for the Construction and Analysis of Systems en_US
dc.title.alternative 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings, Part II en_US
dc.type Book en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account