Proceedings Twelfth Workshop on Fixed Points in Computer Science

2025/11/01 by Saurin, Alexis
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)

paper · doi:10.48550/arxiv.2511.00626

Abstract

This EPTCS volume contains the post-proceedings of the Twelfth International Workshop on Fixed Points in Computer Science, presenting a selection of the works presented during the workshop that took place in Naples (Italy) on the 19th and 20th of February 2024 as a satellite of the International Conference on Computer Science Logic (CSL 2024).

Related

• Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
• Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019
• Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)
• Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems
• Proceedings of the XIII Spanish Conference on Programming and Computer Languages (PROLE 2013)