Topics Related to Accessibility and Formal Sciences: