Advanced Research in Computing and Software Science

Verification, Model Checking, and Abstract Interpretation

24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Editors:

• Cezara Dragoi
• Michael Emmi
• Jingbo Wang

• Copyright: 2023

• Soft cover

SOFSEM 2023: Theory and Practice of Computer Science

48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings

Editors:

• Leszek Gąsieniec

• Copyright: 2023

• Soft cover

Web and Internet Economics

18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings

Editors:

• Kristoffer Arnsfelt Hansen
• Tracy Xiao Liu
• Azarakhsh Malekian

• Copyright: 2022

• Soft cover

Static Analysis

29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Editors:

• Gagandeep Singh
• Caterina Urban

• Copyright: 2022

• Soft cover

LATIN 2022: Theoretical Informatics

15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings

Editors:

• Armando Castañeda
• Francisco Rodríguez-Henríquez

• Copyright: 2022

• Soft cover