| Event | When | Where | Deadline | |
| LANMR 2024 |
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning | |
| Sep 6, 2024 - Sep 7, 2024 |
Oaxaca, Mexico |
Jun 1, 2024 |
ICMLSC 2025 |
9th International Conference on Machine Learning and Soft Computing | |
| Jan 24, 2025 - Jan 26, 2025 |
Tokyo, Japan |
Aug 30, 2024 |
| Expired CFPs |
| FMCAD 2023 |
2023 Formal Methods in Computer-Aided Design (FMCAD) | |
| Oct 23, 2023 - Oct 27, 2023 |
Ames, Iowa, USA |
May 22, 2023 (May 15, 2023) |
| VMCAI 2023 |
International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers | |
| Jan 15, 2023 - Jan 17, 2023 |
Boston |
Sep 8, 2022 |
| LANMR 2022 |
Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning | |
| Jun 16, 2022 - Jun 17, 2022 |
Mexico City |
Apr 1, 2022 (Mar 25, 2022) |
| AMAI 2021 |
Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification | |
| N/A |
N/A |
Jan 31, 2021 |
| SIGLOG/VCLA/ILLC Awards for WiL 2020 |
SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop) | |
| Jun 30, 2020 - Jun 30, 2020 |
Paris, France |
May 15, 2020 |
| UNIF 2020 |
The 34th International Workshop on Unification | |
| Jun 29, 2020 - Jun 29, 2020 |
online |
Apr 27, 2020 (Apr 20, 2020) |
| IJCAR 2020 |
10th International Joint Conference on Automated Reasoning | |
| Jun 29, 2020 - Jul 5, 2020 |
Paris, France |
Jan 23, 2020 (Jan 16, 2020) |
| DPSW 2020 |
Declarative Problem Solving Workshop | |
| Jun 9, 2019 - Jun 9, 2019 |
Santiago de Compostela Spain |
Apr 20, 2019 |
| LPAR 2018 |
International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
| Nov 16, 2018 - Nov 21, 2018 |
Awassa, Ethiopia |
Aug 13, 2018 (Aug 6, 2018) |
| MIREL 2018 |
MIREL 2018 workshop on MIning and REasoning with Legal texts | |
| Sep 17, 2018 - Sep 17, 2018 |
Luxembourg |
Jul 2, 2018 |
| ARQNL 2018 |
Automated Reasoning in Quantified Non-Classical Logics | |
| Jul 18, 2018 - Jul 18, 2018 |
Oxford |
Apr 15, 2018 (Apr 8, 2018) |
| IJCAR 2018 |
9th International Joint Conference on Automated Reasoning | |
| Jul 14, 2018 - Jul 17, 2018 |
Oxford, United Kingdom |
Jan 29, 2018 (Jan 22, 2018) |
| GCAI 2017 |
The 3rd Global Conference on Artificial Intelligence (GCAI 2017), Miami, USA, 18-22 October 2017 | |
| Oct 18, 2017 - Oct 22, 2017 |
Miami, USA |
Jul 21, 2017 (Jul 14, 2017) |
| DT 2017 |
Deduktionstreffen 2017 | |
| Sep 25, 2017 - Sep 26, 2017 |
TU Dortmund, Germany |
Jul 15, 2017 |
| ICCMIT 2017 |
International Conference on Communication, Management and Information Technology (ICCMIT 2017) | |
| Apr 3, 2017 - Apr 5, 2017 |
Poland |
Mar 1, 2017 |
| LPAR 2017 |
International Conferences on Logic for Programming, Artificial Intelligence and Reasoning | |
| May 7, 2017 - May 12, 2017 |
Maun, Botswana |
Jan 15, 2017 (Jan 1, 2017) |
| Artificial Intelligence Workshop - ENC 2016 |
Artificial Intelligence Workshop: Methods and applications - At Mexican International Conference on Computer Science 2016 (ENC 2016) | |
| Nov 14, 2016 - Nov 16, 2016 |
Chihuahua, México |
Aug 31, 2016 |
| Bridging 2016 |
Bridging the Gap between Human and Automated Reasoning | |
| Jul 9, 2016 - Jul 9, 2016 |
an IJCAI-16 workshop in New York |
Apr 18, 2016 |
|
