RAMiCS 2014 Conference Programme and Slides

Monday | Tuesday | Wednesday | Thursday

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
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
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
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