Coalgebraic methods and tools are present throughout computer science. Their applications span from data types to development techniques, specification formalisms, and logics, contributing to in theory and practice in computer science.
This is the website of the coalgebra community that aims at bringing together researchers with a common interest in the theory of coalgebras:
- The Conference on Algebra and Coalgebra in Computer Science (CALCO) is held bianually and is usually co-located with MFPS. The conference proceedings of recent editions have been published open access in the LIPIcs series.
See CALCO 2023 for more information.
- The Workshop on Coalgebraic Methods in Computer Science (CMCS) is held bianually in co-location with ETAPS. The proceedings of recent editions are published in the Springer LNCS series.
See CMCS 2022 for more information.
- The coalgebra mailing list is a platform for exchanges on coalgebra and related news and events.