{"ID":2847304,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2511.00626","arxiv_id":"2511.00626","title":"Proceedings Twelfth Workshop on Fixed Points in Computer Science","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).","short_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...","url_abs":"https://arxiv.org/abs/2511.00626","url_pdf":"https://arxiv.org/pdf/2511.00626v1","authors":"[\"Alexis Saurin\"]","published":"2025-11-01T17:08:22Z","proceeding":"cs.LO","tasks":"[\"cs.LO\",\"cs.PL\"]","methods":"[]","has_code":false}