Advanced Research in Computing and Software Science

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

Editors:

• Naoki Kobayashi
• James Worrell

• Open Access
• Copyright: 2024

Available Renditions

• Hard cover

Fundamental Approaches to Software Engineering

27th International Conference, FASE 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

Editors:

• Dirk Beyer
• Ana Cavalcanti

• Open Access
• Copyright: 2024

Available Renditions

• Soft cover

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 I

Editors:

• Naoki Kobayashi
• James Worrell

• Open Access
• Copyright: 2024

Available Renditions

• Soft cover

Programming Languages and Systems

33rd European Symposium on Programming, ESOP 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 I

Editors:

• Stephanie Weirich

• Open Access
• Copyright: 2024

Available Renditions

• Soft cover

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 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:

• Bernd Finkbeiner
• Laura Kovács

• Open Access
• Copyright: 2024

Available Renditions

• Soft cover