| Monday | |
| 9:15-10:30 | Opening |
|
Algebras for Program Correctness in Isabelle/HOL Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
|
|
Abstract Dynamic Frames Han-Hing Dang |
|
| 11:00-12:00 |
Invited Talk
Developments in Concurrent Kleene Algebra Tony Hoare |
| 14:00-15:00 |
Endowing Concurrent Kleene Algebra with Communication Actions Jason Jaskolka, Ridha Khedri, Qinglei Zhang |
|
Concurrent Kleene Algebra with Tests Peter Jipsen |
|
| 15:30-17:00 |
Kleene Algebra with Converse Paul Brunet, Damien Pous |
|
Extended Conscriptions Algebraically Walter Guttmann |
|
|
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages Georg Struth, Michael Laurence |
|
| Tuesday | |
| 9:00-10:30 |
Higher-Order Arrow Categories Michael Winter |
|
Nominal Sets over Algebraic Atoms Joanna Ochremiak |
|
|
A Mechanised Abstract Formalisation of Concept Lattices Wolfram Kahl |
|
| 11:00-12:00 |
Invited Talk
Preparing Relation Algebra for “Just Good Enough” Hardware José Nuno Oliveira |
| 14:00-22:00 | Excursion and Conference Dinner |
| Wednesday | |
| 9:00-10:30 |
Tableau Development for a Bi-Intuitionistic Tense Logic John G. Stell, Renate A. Schmidt, David Rydeheard |
|
Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis Nikolai Krivulin |
|
|
On Faults and Faulty Programs Ali Mili, Marcelo Frias, Ali Jaoua |
|
| 11:00-12:00 |
Invited Talk
Relation Lifting Alexander Kurz |
| 14:00-15:00 |
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories Koki Nishizawa, Hitoshi Furusawa |
|
Finding Subrelations with Desired Properties Martin Eric Müller |
|
| 15:30-17:00 |
Relation Algebra and RelView Applied to Approval Voting Rudolf Berghammer, Nikita Danilenko, Henning Schnoor |
| Business Meeting | |
| Thursday | |
| 9:00-10:30 |
A point-free relation-algebraic approach to general topology Gunther Schmidt |
|
Automated Verification of Relational While-Programs Rudolf Berghammer, Peter Höfner, Insa Stucke |
|
|
Parameterised Bisimulations: Some Applications S. Arun-Kumar, Divyanshu Bagga |
|
| 11:00-12:00 |
Fuzzifying Modal Algebra Jules Desharnais, Bernhard Möller |
|
Relational Lattices Tadeusz Litak, Szabolcs Mikulas, Jan Hidders |
|
| 14:00-15:00 |
Refinements of the RCC25 Composition Table Manas Ghosh, Michael Winter |
|
Fixed-point Theory in the Varieties $\D_{n}$ Sabine Frittella, Luigi Santocanale |
|
| 15:30-16:45 |
A Modified Completeness Theorem of KAT and the Decidability of Term Reducibility Takeo Uramoto |
|
Type-2 Fuzzy Controllers in Arrow Categories Michael Winter, Ethan Jackson, Yuki Fujiwara |
|
| Closing | |
| Sponsors |