| Event | When | Where | Deadline | | | Expired CFPs |
| HYDRA 2023 |
2nd International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning | |
| Sep 30, 2023 - Oct 5, 2023 |
Kraków, Poland |
Jul 20, 2023 |
| HYDRA 2022 |
1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning | |
| Sep 5, 2022 - Sep 5, 2022 |
Genova Nervi, Italy |
Jun 30, 2022 |
| IJCAR 2014 |
International Joint Conference on Automated Reasoning (IJCAR) | |
| Jul 19, 2014 - Jul 22, 2014 |
Vienna, Austria |
Jan 22, 2014 (Jan 15, 2014) |
|
