paper

Proceedings Twelfth Workshop on Fixed Points in Computer Science

arXiv:2511.00626 · doi:10.4204/EPTCS.435

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).

Proceedings Twelfth Workshop on Fixed Points in Computer Science · wovepaper