Haifa, Israel
Events (Conferences or Workshops)
|

No. Title Abbr. Title Location Date Submission Due Date
1 ThEdu 2022 11th International Workshop on Theorem-Proving Components for Educational Software
(ThEdu 2022)
 ()
Haifa, Israel 2022-08-11
~
2022-08-11
2022-05-09
[Passed]
2 PAAR 2022 8th Workshop on Practical Aspects of Automated Reasoning
(PAAR 2022)
 ()
Haifa, Israel, 2022-08-11
~
2022-08-12
2022-04-26
[Passed]
(Abstract Submission Due Date:
2022-04-19
[Passed])
3 NSV 2022 15th International Workshop on Numerical Software Verification
(NSV 2022)
 ()
Haifa, Israel 2022-08-11
~
2022-08-11
2022-05-10
[Passed]