Proceedings Twelfth Workshop on Fixed Points in Computer Science
Alexis Saurin
TL;DR
This volume compiles selected research papers from the Twelfth Workshop on Fixed Points in Computer Science, showcasing recent advances in fixed point theory and applications discussed at the workshop held in Naples in 2024.
Contribution
It provides a curated collection of recent research contributions on fixed points in computer science from the 2024 workshop.
Findings
New theoretical frameworks for fixed points
Applications of fixed points in logic and computation
Innovative algorithms for fixed point computations
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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Computability, Logic, AI Algorithms · Logic, Reasoning, and Knowledge