10. RelMiCS 2008: Frauenwörth, Germany

• Marc Pauly:
  Formal Methods and the Theory of Social Choice. 1-2
  
• Gunther Schmidt:
  Relations Making Their Way from Logics to Mathematics and Applied Sciences. 3
  
• Philippe Balbiani, Tinko Tinchev:
  Boolean Logics with Relations. 4-21
  
• Rudolf Berghammer, Britta Kehden:
  Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables. 22-36
  
• Bernd Braßel, Jan Christiansen:
  A Relation Algebraic Semantics for a Lazy Functional Logic Language. 37-53
  
• Jean-Lou De Carufel, Jules Desharnais:
  Latest News about Demonic Algebra with Domain. 54-68
  
• Jean-Lou De Carufel, Jules Desharnais:
  On the Structure of Demonic Refinement Algebras with Enabledness and Termination. 69-83
  
• Florian Diedrich, Britta Kehden, Frank Neumann:
  Multi-objective Problems in Terms of Relational Algebra. 84-98
  
• Ivo Düntsch, Michael Winter:
  The Lattice of Contact Relations on a Boolean Algebra. 99-109
  
• Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa:
  A Non-probabilistic Relational Model of Probabilistic Kleene Algebras. 110-122
  
• Timothy G. Griffin, Alexander J. T. Gurney:
  Increasing Bisemigroups and Algebraic Routing. 123-137
  
• Walter Guttmann:
  Lazy Relations. 138-154
  
• Mark Hopkins:
  The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. 155-172
  
• Mark Hopkins:
  The Algebraic Approach II: Dioids, Quantales and Monads. 173-190
  
• Peter Höfner:
  Automated Reasoning for Hybrid Systems - Two Case Studies -. 191-205
  
• Peter Höfner, Georg Struth:
  Non-termination in Idempotent Semirings. 206-220
  
• Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara:
  Formal Concepts in Dedekind Categories. 221-233
  
• Peter Jipsen, Georg Struth:
  The Structure of the One-Generated Free Domain Semiring. 234-242
  
• Wolfram Kahl:
  Determinisation of Relational Substitutions in Ordered Categories with Domain. 243-258
  
• Yasuo Kawahara:
  Boolean Algebras and Stone Maps in Schröder Categories. 259-273
  
• Yasuo Kawahara, Michael Winter:
  Cardinality in Allegories. 274-288
  
• Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc:
  Solving Linear Equations in *-continuous Action Lattices. 289-303
  
• Larissa Meinicke, Kim Solin:
  Reactive Probabilistic Programs and Refinement Algebra. 304-319
  
• Bernhard Möller:
  Knowledge and Games in Modal Semirings. 320-336
  
• Camilo Rocha, José Meseguer:
  Theorem Proving Modulo Based on Boolean Equational Procedures. 337-351
  
• Gunther Schmidt:
  Rectangles, Fringes, and Inverses. 352-366
  
• Michael Winter:
  An Ordered Category of Processes. 367-381
  
• James Worthington:
  Automatic Proof Generation in Kleene Algebra. 382-396