Relational and algebraic methods in computer science : 22nd International Conference, RAMiCS 2026, Be̜dlewo, Poland, April 7-10, 2026, Proceedings / Uli Fahrenberg, Wesley Fussner, Luigi Santocanale, editors

Format:

Book

Conference/Event

Contributor:

Fahrenberg, Uli, editor.

Fussner, Wesley, editor.

Santocanale, Luigi, 1967- editor.

Conference Name:

RAMiCS (Conference) (22nd : 2026 : Be̜dlewo, Poland)

Series:

Lecture notes in computer science ; 1611-3349 16526.

Lecture notes in computer science, 1611-3349 ; 16526

Language:

English

Subjects (All):

Computer science--Mathematics--Congresses.

Computer science.

Algebraic logic--Congresses.

Algebraic logic.

Relation algebras--Congresses.

Relation algebras.

Computer science--Mathematics.

Genre:

Conference papers and proceedings

Physical Description:

1 online resource (xx, 335 pages) : illustrations

Other Title:

RAMiCS 2026

Place of Publication:

Cham, Switzerland : Springer, [2026]

Summary:

This book constitutes the refereed proceedings of the 22nd International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2026, held in Będlewo, Poland, during April 7-10, 2026. The 18 full papers included in this book were carefully reviewed and selected from 23 submissions. RAMiCS 2026 topics range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.solutions

Contents:

Structural testing with homomorphic encryption / Andrei Aleksandrov

Compositional control-driven Boolean circuits / Damian Arellanes

Fan-causality and uniform continuity on final coalgebras / Henning Basold, Tanjona Ralaivaosaona, and Jurriaan Rot

Weak converse and complement for quantale-enriched profunctors / Ignacio Bellas Acosta and John G. Stell

Representations : a meta-model for system analysis / Paul Brunet

Agent interpolation in distributed systems / Marta Bílková, Wesley Fussner, and Roman Kuznets

On computational aspects of cores of ordered graphs / Michal Čertík, Andreas Emil Feldmann, Jaroslav Nešetřil, and Paweł Rzążewski

Contractions of quasi relation algebras and applications to representability / Andrew Craig, Wilmari Morton, and Claudette Robinson

Pregroup representable expansions of residuated lattices / Andrew Craig and Claudette Robinson

Simulation quotients simulating bisimulation quotients / Roland Glück

Parallel complexity of identifying groups and quasigroups via decompositions / Dan Johnson, Michael Levet, Petr Vojtěchovský, and Brett Widholm

Complexity of equational theories for relational and language action lattices / Max Kanovich, Stepan L. Kuznetsov, and Andre Scedrov

On the reachability problem on monoid-labelled undirected graphs / Nagashri Krishnakumar, Harshil Mittal, and Jayalal Sarma

Hybrid many-sorted modal logic with nominal terms / Ioana Leuştean and Bogdan Macovei

Some families of greedy numerical semigroups / Arnau Messegué-Buisan and Hebert Pérez-Rosés

Combinatory completeness in structured multicategories / Ivan Kuzmin, Chad Nester, Ülo Reimaa, and Sam Speight

Morita rigidity for Kleene algebras / Luke Serafin

On the dual composition of relations / Michael Winter.

Notes:

Includes bibliographical references and index

Online resource; title from PDF title page (Springer Nature Link, viewed April 6, 2026)

Other Format:

Print version: RAMiCS (Conference) (22nd : 2026 : Be̜dlewo, Poland) Relational and algebraic methods in computer science

ISBN:

9783032224699

3032224691

OCLC:

1583240307

Access Restriction:

Restricted for use by site license