1,721,479 research outputs found
Report on Coalgebraic Methods in Computer Science 2022
Get PDFThe 16th edition of the IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022) took place in Munich on Saturday April 2 and Sunday April 3, 2022, as a satellite event of the European Joint Conference on Theory and Practice of Software (ETAPS 2022). As chairs of the workshop, it was a great pleasure for us to run the workshop as an on-site event after a long hiatus due to the COVID pandemic. The workshop was, in fact, a hybrid event, allowing both speakers and registered participants to participate remotely, but in-person participation was strongly encouraged, partly through ETAPS registration fees being the same for online and on-site participation. Up until just a few weeks before the workshop, the COVID situation in Munich was still quite uncertain, and we did not know how many people would attend on-site or at all, so we were extremely happy to find that the large majority of speakers and participants chose to travel to the event, which ensured a lively and engaging atmosphere. The workshop had circa 40 participants of which 5 participated online (with an attendance of 20--30 throughout the sessions). This made CMCS the second-largest workshop at ETAPS 2022. The hybrid setup did pose some technical challenges, but it was much appreciated, and without the option of presenting on-line at least three of the talks would have had to be cancelled. A hybrid format will be considered also for future editions of the workshop
Algebraic Presentation of Semifree Monads
Get PDFMonads and their composition via distributive laws have many applications in
program semantics and functional programming. For many interesting monads,
distributive laws fail to exist, and this has motivated investigations into
weaker notions. In this line of research, Petri\c{s}an and Sarkis recently
introduced a construction called the semifree monad in order to study
semialgebras for a monad and weak distributive laws. In this paper, we prove
that an algebraic presentation of the semifree monad M^s on a monad M can be
obtained uniformly from an algebraic presentation of M. This result was
conjectured by Petri\c{s}an and Sarkis. We also show that semifree monads are
ideal monads, that the semifree construction is not a monad transformer, and
that the semifree construction is a comonad on the category of monads.Comment: In Proceedings of CMCS 202
Unambiguous acceptance of thin coalgebras
No full textAutomata admitting at most one accepting run per structure, known as unambiguous automata, find applications in ver- ification of reactive systems as they extend the class of deterministic automata whilst maintaining some of their desirable properties. In this paper, we generalise a classical construction of unambiguous automata from thin trees to thin coalgebras for analytic functors. This achieves two goals: extending the existing construction to a larger class of structures, and pro- viding conceptual clarity and parametricity to the construction by formalising it in the coalgebraic framework. As part of the construction, we link automaton acceptance of languages of thin coalgebras to language recognition via so-called coherent algebras, which were previously introduced for studying thin coalgebras. This link also allows us to establish an automata- theoretic characterisation of languages recognised by finite coherent algebras
- …
