Workshop on Mathematical Formalisms for RNA Structure