VSTTE 2024Posted in Formal MethodsVerified Software: Theories, Tools, Experiments Event Date: Oct 14, 2024 - Oct 15, 2024 Posted inLocation: Prague, Czech Republic Deadline: Aug 03, 2024
ThEdu 2022Posted in Software11th International Workshop on Theorem-Proving Components for Educational Software Event Date: Aug 11, 2022 - Aug 11, 2022 Posted inLocation: Haifa, Israel Deadline: May 09, 2022
