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] |
MANUSCRIPTLINK © 2015 -
