Programme for Monday September 17 |
Session Chair | Time | Agenda |
08:30-09:00 | Coffee, Tea, Registration | |
Tim Griffin | 09:00-10:30 | Tutorial Dexter Kozen:
Kleene Algebra with Tests (slides for Part I) |
10:30-11:00 | Coffee, Tea | |
Michael Winter | 11:00-11:30 | Rudolf Berghammer and Sebastian Fischer:
Simple Rectangle-based Functional Programs for Computing Reflexive-transitive Closures. (slides) |
11:30-12:00 | Nikita Danilenko: Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings |
|
12:00-12:30 | Walter Guttmann:
Unifying Lazy and Strict Computations. (slides) |
|
12:30-14:00 | Lunch | |
Georg Struth | 14:00-15:00 | Tutorial Larry Paulson:
Isabelle/HOL Tutorial (slides for Part I) |
15:00-15:30 | Student Paper. Patrick Roocks : A Hierarchically Typed Relation Algebra. (paper) (slides) | |
15:30-16:00 | Coffee, Tea | |
Rudolf Berghammer | 16:00-16:30 | John Stell:
Relations on Hypergraphs (slides) |
16:30-17:00 | Wolfram Kahl:
Towards Certifiable Implementation of Graph Transformation via Relation Categories (project page) (slides) |
|
17:00-17:30 | Roland Glück:
Two Observations in Dioid Based Model Refinement (slides) |
|
19:00- | Banquet at Christ's College. Drinks at 19:00 in The Buttery, dinner at 19:30.
A note on Beef Wellington. |
Programme for Tuesday September 18 |
Session Chair | Time | Agenda |
08:30-09:00 | Coffee, Tea | |
Tim Griffin | 09:00-10:30 | Tutorial Dexter Kozen:
Kleene Algebra with Tests (slides for Part II) |
10:30-11:00 | Coffee, Tea | |
Peter Höfner | 11:00-11:30 | Gunther Schmidt: Relational Concepts in Social Choice (slides) |
11:30-12:00 | Brijesh Dongol, Ian J. Hayes, Larissa Meinicke and Kim Solin:
Towards an algebra for real-time programs (slides) |
|
12:00-12:30 | Bernhard Möller and
Patrick Roocks:
An Algebra of Layered Complex Preferences (slides) |
|
12:30-14:00 | Lunch | |
Georg Struth | 14:00-15:00 | Tutorial Larry Paulson:
Isabelle/HOL Tutorial (slides for Part II) |
15:00-15:30 | Student Paper. Han-Hing Dang : On the Algebraic Derivation of Garbage Collectors. (paper) (slides) | |
15:30-16:00 | Coffee, Tea | |
Bernhard Möller | 16:00-16:30 | Alasdair Armstrong and Georg Struth: Automated Reasoning in Higher-Order Regular Algebra. (slides) |
16:30-17:00 | Hitoshi Furusawa,
Toshikazu Ishida
and Yasuo Kawahara:
Continuous Relations and Richardson's Theorem (slides) |
|
17:00-17:30 | Peter Jipsen:
A category of algebraic contexts equivalent to idempotent semirings with applications to domain Kleene algebras (slides) |
|
17:30-19:00 | Open Business Meeting to discuss the future of the RAMiCS series, where the next meeting will take place, and organizers. |
Programme for Wednesday September 19 |
Session Chair | Time | Agenda |
08:30-09:00 | Coffee, Tea | |
Wolfram Kahl | 09:00-10:10 | Invited Talk
Damien Pous : Using Relation Algebraic Methods in the Coq Proof Assistant. talk slides Project webe site : http://sardes.inrialpes.fr/~braibant/atbr |
10:00-10:30 | Student Paper. Fethi Ferjani : Hyper-Rectangular Relation Decomposition and Dimensionality Reduction. (paper) (slides) | |
10:30-11:00 | Coffee, Tea | |
Peter Jipsen | 11:00-11:30 | Dexter Kozen and Alexandra Silva:
Left-Handed Completeness (slides) |
11:30-12:00 | Michael Laurence and Georg Struth:
On Completeness of Omega-Regular Algebras (slides) |
|
12:00-12:30 | Koki Nishizawa
and Hitoshi Furusawa:
Relational Representation Theorem for Powerset Quantales (slides) |
|
12:30-14:00 | Lunch | |
Gunther Schmidt | 14:00-15:00 | Invited Talk Alexander Krauss:
Formalized Regular Expression Equivalence and Relation Algebra in Isabelle (talk materials) |
15:00-15:30 | Student Paper. Anastasiya Grinenko : Some Relational Style Laws of Linear Algebra. (paper) | |
15:30- | Excursions. Punting on the River Cam followed by self-guided walking tours |
Programme for Thursday September 20 |
Session Chair | Time | Agenda |
08:30-09:00 | Coffee, Tea | |
Hitoshi Furusawa | 09:00-10:00 | Invited Talk Peter O'Hearn:
Algebraic Laws of Concurrency and Separation (slides) |
10:00-10:30 | Student Paper. Andreas Zelend : Constraints in Feature Algebra. (paper) (slides) | |
10:30-11:00 | Coffee, Tea | |
Michael Winter | 11:00-11:30 | Peter Höfner,
Bernhard Möller
and Andreas Zelend:
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming (slides) |
11:30-12:00 | Ivo Düntsch and
Sanjiang Li:
Extension properties of Boolean contact algebras (slides) |
|
12:00-12:30 | Han-Hing Dang
and Bernhard Möller:
Transitive Separation Logic (slides) |
|
12:30-14:00 | Lunch | |
Damien Pous | 14:00-14:30 | Nelma Moreira,
David Pereira
and Simão Melo De Sousa:
Deciding Regular Expressions (In-)Equivalence in Coq. (slides) (project page) |
14:30-15:00 | Hitoshi Furusawa
and Yasuo Kawahara:
Point Axioms in Dedekind Categories (slides) |
|
15:00-15:30 | Student Paper. Alasdair Armstrong: An Evaluation of Automated Theorem Proving in Regular Algebra. (paper) (slides) | |
15:30-16:00 | Coffee, Tea | |
Wolfram Kahl | 16:00-16:30 | Sahar Ismail and Ali Jaoua :
Incremental Pseudo Rectangular Organization of Information Relative to a Domain (slides) |
16:30-17:00 | Francis Atampore and Michael Winter: Relation Algebras, Matrices, and Multi-Valued Decision Diagrams (slides) |
|
17:00-17:30 | Nuno Macedo, Hugo Pacheco and Alcino Cunha:
Relations as executable specifications: taming partiality and non-determinism using invariants (slides) |
Sponsors |