Keyword: automata

• Fairisle: Proof of the Fairisle 4x4 Switch Element
  Line Jakubiec-Jamet, Solange Coupet-Grimal
• RelationAlgebra: Relation Algebra and KAT
  Damien Pous