Contents
Home Program Accepted papers Registration Call for presentations & tutorials Important dates Venue & local organization Invited speakers History Sponsors Contact
Invited Speakers
Marta Bílková Lorenzo Clemente Anupam Das
Program Committee
Henning Basold Manuel Bodirsky Andrew Craig Uli Fahrenberg (co-chair) Wesley Fussner (co-chair) Roland Glück Damas Gruska Walter Guttman Robin Hirsch Peter Höfner Marcel Jackson Ali Jaoua Peter Jipsen Tobias Kappé Bartek Klin Tomasz Kowalski Stepan Kuznetsov Sławek Lasota Ioana Leustean Roger Maddux Nelma Moreira Luigi Santocanale (co-chair) Eugenia Ternovska Sara Ugolini Michael Winter Krzysztof Ziemiański Jas Šemrl
Organizing Committee
Uli Fahrenberg Wesley Fussner Luigi Santocanale
Steering Committee
Uli Fahrenberg Wesley Fussner Roland Glück Walter Guttmann Peter Höfner Ali Jaoua Peter Jipsen Damien Pous Luigi Santocanale Michael Winter

RAMiCS 2026 Program

Download the conference program (PDF).

Tuesday — 7 April 2026

9:00 – 10:00 Invited talk. Lorenzo Clemente. Commutative Algebras of Series.
10:00 – 10:30 Coffee break
10:30 – 11:00 Michal Certik, Andreas Emil Feldmann, Jaroslav Nešetřil and Paweł Rzążewski. On Computational Aspects of Cores of Ordered Graphs.
11:00 – 11:20 Paul Brunet. Representations.
11:20 – 11:40 Roland Glück. How Can We Compute the Coarsest Matrix (Bi)simulation?
11:40 – 12:00 Roland Glück and Dirk Hachenberger. Some Aspects of Linear Algebra over Lattices.
12:00 – 12:30 Noam Zeilberger. Fibrational perspectives on logic and language (tutorial, Part 1).
12:30 – 14:00 Lunch
14:00 – 14:20 Enzo Erlich. Kamp Theorem for Higher Dimensional Automata.
14:20 – 14:40 Emily Clement, Léo Henry, and Benjamin Monmege. Games on Higher Dimensional Automata.
14:40 – 15:00 Hugo Bazille and Uli Fahrenberg. Automata on Graph Alphabets.
15:00 – 15:20 Paul Brunet and Uli Fahrenberg. Specification Theories, Relationally.
15:20 – 15:50 Coffee break
15:50 – 16:20 Andrei Aleksandrov. Structural Testing with Homomorphic Encryption.
16:20 – 16:50 Henning Basold, Tanjona Ralaivaosaona and Jurriaan Rot. Fan-Causality and Uniform Continuity on Final Coalgebras.
16:50 – 17:20 Dan Johnson, Michael Levet, Petr Vojtechovsky and Brett Widholm. Parallel Complexity of Identifying Groups and Quasigroups via Decompositions.
17:20 – 17:50 Luke Serafin. Strong Morita Rigidity for Kleene Algebras and Related Structures.

Wednesday — 8 April 2026

9:00 – 10:00 Invited talk. Marta Bílková. On the Structure of Involutive Partially Ordered Monoids as Models of Multiplicative Fragments of Linear Logic.
10:00 – 10:30 Coffee break
10:30 – 11:00 Ioana Leuștean and Bogdan Macovei. A hybrid many-sorted modal logic with nominal terms.
11:00 – 11:30 Damian Arellanes. Compositional Control-Driven Boolean Circuits.
11:30 – 12:00 Arnau Messegué-Buisan and Hebert Perez-Roses. Some Families of Greedy Numerical Semigroups.
12:00 – 12:30 Noam Zeilberger. Fibrational perspectives on logic and language (tutorial, Part 2).
12:30 – 14:00 Lunch
14:00 – 15:00 Special Session: Diversity at RAMiCS.
15:00 – 15:30 Max Kanovich, Stepan Kuznetsov and Andre Scedrov. Complexity of equational theories for relational and language action lattices.
15:30 – 15:50 Wesley Fussner and Krzysztof Krawczyk. Amalgamation in Quasivarieties of Sugihara Algebras.
15:50 – 16:10 Roland Glück. Hypergraph Automata.
16:10 – 16:40 Coffee
16:40 – 17:00 Aloÿs Dufour. String Diagrams and Homotopies in Simplicial Sets.
17:00 – 17:20 Peter Arndt, Hugo Luiz Mariano, and Darllan Pinto. Deductive Interpolation from Horn Semantics.
17:20 – 18:30 Open Problem Session.

Thursday — 9 April 2026

9:00 – 10:00 Invited talk. Anupam Das. Right-Linear Structures: (ω-)Regular Languages, Fixed Points, and Cyclic Proofs.
10:00 – 10:30 Coffee break
10:30 – 11:00 Chad Nester, Sam Speight, Ivan Kuzmin and Ülo Reimaa. Combinatory Completeness in Structured Multicategories.
11:00 – 11:30 Andrew Craig, Wilmari Morton and Claudette Robinson. Contractions of quasi relation algebras and applications to representability.
11:30 – 12:00 Ignacio Bellas Acosta and John Stell. Weak Converse and Complement for Quantale-Enriched Profunctors.
12:00 – 12:30 Mateusz Przybylski. Szymczak Category and Leray Functor for Linear Relations (tutorial, Part 1).
12:30 – 14:00 Lunch
14:00 – 14:30 Andrew Craig and Claudette Robinson. Pregroup representable expansions of residuated lattices.
14:30 – 15:00 Roland Glück. Simulation Quotients Simulating Bisimulation Quotients.
15:00 – 16:00 Open Problem Session.
16:00 – 16:30 Coffee
16:30 – 17:00 Nagashri Krishnakumar, Harshil M. and Jayalal Sarma. On Reachability Problem on Monoid-labelled Undirected Graphs.
17:00 – 17:30 Michael Winter. On the Dual Composition of Relations.
17:30 – 18:30 Business meeting.

Friday — 10 April 2026

9:00 – 9:30 Mateusz Przybylski. Szymczak Category and Leray Functor for Linear Relations (tutorial, Part 2).
9:30 – 10:00 Paul Brunet. An adjunction between Representations and preorder morphisms.
10:00 – 10:30 Marta Bílková, Wesley Fussner and Roman Kuznets. Agent Interpolation in Distributed Systems.
10:30 – 12:30 Open Problem Session.
12:30 – 14:00 Closing and Lunch.