Proceedings Twelfth Workshop on Fixed Points in Computer Science
Logic in Computer Science
2025-11-04 v1 Programming Languages
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).
Keywords
Cite
@article{arxiv.2511.00626,
title = {Proceedings Twelfth Workshop on Fixed Points in Computer Science},
author = {Alexis Saurin},
journal= {arXiv preprint arXiv:2511.00626},
year = {2025}
}