RAMiCS 2012 Conference Programme

Monday | Tuesday | Wednesday | Thursday

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)

                                    Winton Capital Management