*Getting to the bottom of relational refinement: Relations and correctness, partial and total*- Eerke
**Boiten**, Willem-Paul**de Roever** *Annihilating the annihilation axioms*- Ernie
**Cohen** *Kleene algebra control*- Hans
**Bherer**, Jules**Desharnais****et al.** *Kleene modules*- Thorsten
**Ehm**, Bernhard**Möller**, Georg**Struth** *An online database of relation algebras, Kleene algebras, and related structures*- Peter
**Jipsen** *On the construction of relational categories*- Eric
**Offermann** *Relational unsharpness and processes*- Peter
**Kempf**, Michael**Winter** *The categories of Kleene algebras, action algebras and action lattices are related*- Hitoshi
**Furusawa** **Invited talk:**Choice procedures in pairwise comparison multiple-attribute decision making methods- Marc
**Roubens** *Reasoning about vague concepts in the theory of property systems*- Philippe
**Balbiani** *A necessary and sufficient representation theorem for the region connection calculus*- Thomas
**Mormann** *Spatial regions changing over time*- Philippe
**Balbiani**, Khalil**Challita** *Kleene algebra and dataflow analysis*- Dexter
**Kozen** *Applying relational algebra in 3D graphical software design*- Rudolf
**Berghammer**, Alexander**Fronk** *Requirements specification decomposition: A system testing driven approach*- Ridha
**Khedri**, Ling**Wang**, Lei**Situ** *Time is on my side*- Marcelo F.
**Frias**, Carlos Gustavo**Lopez Pombo** *A calculus of typed relations*- Wendy
**MacCaull**, Ewa**Orlowska** *Relational database theory in constructive type theory*- Carlos
**Gonzalía** *Tracing relations probabilistically*- Ernst-Erich
**Doberkat** *Probabilities defined on relations interpreting first order formulas*- Miklos
**Ferenczi** *Pointer Kleene algebra*- Thorsten
**Ehm** *Checking the shape safety of pointer manipulations*- Adam
**Bakewell**, Detlef**Plump**, Colin**Runciman** *Win, lose and stalemate in impartial games*- Roland
**Backhouse**, Diethard**Michaelis** **Invited talk:**Kleene algebra with relations- Jules
**Desharnais** *Greedy-like algorithms in Kleene algebra*- Bernhard
**Möller**, Georg**Struth** *Relational data analysis*- Gunther
**Schmidt** *Decomposing relations into orderings*- Michael
**Winter** *Two proof systems for Peirce algebras*- Renate A.
**Schmidt**, Ewa**Orlowska** *Integrating model checking and theorem proving for relational reasoning*- Konstantine
**Arkoudas**, Safraz**Khurshid**, Darko**Marinov**, Martin**Rinad** *Calculational relation-algebraic proofs in Isabelle/Isar*- Wolfram
**Kahl** *Random relations: Algorithms and applications*- Ulf
**Milanese** *SCAN is complete for all Sahlqvist formulae*- Valentin
**Goranko**, Ullrich**Hustadt**,**et al.** *Simulation and semantic analysis of modal logics by means of an elementary set theory treated á Rasiowa-Sikorski*- Eugenio
**Omodeo**, Ewa**Orlowska**,**et al.** *Relations and GUHA-style data mining II*- Petr
**Hájek** *Nearest neighbours without k: A classification formalism based on probability*- Hui
**Wang**, Ivo**Düntsch**, Günther**Gediga** *Translating with sense*- Marcelo F.
**Frias** *Monads and powerset algebras*- Patrik
**Eklund** *Logical aspects of user authentication protocols*- László
**Aszalós**, Philippe**Balbiani** *Morphism-driven design of graph colouring institutions*- Giuseppe
**Scollo**