Teaching resources on logic

To contribute to the web site, please open an issue, create a pull request or send a mail to the science communication coordinators.

Teaching resources

• Formal Methods Teaching Committee: events & meetings, courses database, case studies, tutorials

• List of tools for online teaching

Projects

• 2024-2027: APPAM: proof assistants for learning mathematics

Conferences

• 2 July 2024: 13th International Workshop on Theorem proving components for Educational software (ThEdu’24), Satellite event at IJCAR 2024, Nancy, France
• 5 July 2023: Theorem-proving Components for Educational Software (ThEdu23) workshop at the, 29th international Conference on Automated Deduction (CADE 2023), July 1-4, 2023, Rome, Italy.
• 6 March 2023: Formal Methods Teaching Workshop (FMTea’23), Lübeck, Germany
• 11-12 August 2022: Theorem-proving Components for Educational Software (ThEdu’22), Haifa, Israel
• 11-12 August 2022: 3rd Workshop on Democratizing Software Verification (DSV’22), Haifa, Israel
• 31 July - 1st August 2022: Why and how to teach Logic for CS undergraduates? (LogTeach-22), Haifa, Israel
• 31 July 2022: Formal Methods Education Online: Tips, Tricks & Tools (FOMEO’22), Haifa, Israel