Formáid: Proceeding Paper