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
Projects
- 2024-2027: APPAM: proof assistants for learning mathematics
Conferences
-
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