Event | When | Where | Deadline | |
UNIF 2010 |
International Workshop on Unification | |
Jul 14, 2010 - Jul 14, 2010 |
Edinburgh |
Apr 4, 2010 |
AAAI 2023 |
The 37th AAAI Conference on Artificial Intelligence | |
Feb 7, 2023 - Feb 14, 2023 |
Washington DC, USA |
Aug 15, 2022 (Aug 8, 2022) |
TAASP 2023 |
Workshop on Trends and Applications of Answer Set Programming | |
Nov 28, 2022 - Nov 29, 2022 |
Vienna, Austria |
Oct 10, 2022 |
ICAPS 2023 |
International Conference on Automated Planning and Scheduling | |
Jul 8, 2023 - Jul 13, 2023 |
Prague |
Nov 30, 2022 (Nov 25, 2022) |
IJCAI 2023 |
THE 32nd INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE | |
Aug 19, 2023 - Aug 25, 2023 |
Cape Town, South Africa |
Jan 18, 2023 (Jan 11, 2023) |
LICS 2023 |
Logic in Computer Science | |
Jun 26, 2023 - Jun 29, 2023 |
Boston, Massachusetts, USA |
Jan 23, 2023 (Jan 18, 2023) |
ICLP 2023 |
International Conference on Logic Programming | |
Jul 9, 2023 - Jul 15, 2023 |
London, United Kingdom |
Feb 6, 2023 (Jan 30, 2023) |
IWDSP 2023 |
4th International Workshop on Dynamic Scheduling Problems | |
Jun 5, 2023 - Jun 6, 2023 |
Winterthur, Zurich, Switzerland |
Mar 13, 2023 |
LPAR 2023 |
24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
Jun 4, 2023 - Jun 9, 2023 |
Colombia |
Mar 13, 2023 (Mar 6, 2023) |
KR 2023 |
Principles of Knowledge Representation and Reasoning | |
Sep 2, 2023 - Sep 8, 2023 |
Rhodos, Greece |
Mar 14, 2023 (Mar 7, 2023) |
SAT 2023 |
The 26th International Conference on Theory and Applications of Satisfiability Testing | |
Jul 4, 2023 - Jul 8, 2023 |
Alghero, Italy |
Mar 17, 2023 (Mar 10, 2023) |
BPM 2023 |
Business Process Management | |
Sep 11, 2023 - Sep 15, 2023 |
Utrecht University |
Mar 22, 2023 (Mar 15, 2023) |
xAI 2023 |
1st World Conference on eXplainable Artificial Intelligence | |
Jul 26, 2023 - Jul 28, 2023 |
Lisbon |
Apr 20, 2023 (Apr 15, 2023) |
ECAI 2023 |
European Conference on Artificial Intelligence | |
Sep 30, 2023 - Oct 5, 2023 |
Krakow, Poland |
May 8, 2023 (May 2, 2023) |
ISWC 2023 |
The International Semantic Web Conference | |
Nov 6, 2023 - Nov 10, 2023 |
Athens, Greece |
May 9, 2023 (May 2, 2023) |
IUKM 2023 |
10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making | |
Nov 2, 2023 - Nov 4, 2023 |
Kanazawa, Japan |
May 15, 2023 |
SEMANTiCS 2023 |
19th International Conference on Semantic Systems | |
Sep 20, 2023 - Sep 23, 2023 |
Leipzig, DE |
May 16, 2023 (Sep 5, 2023) |
JELIA 2023 |
18th European Conference on Logics in Artificial Intelligence | |
Sep 20, 2023 - Sep 22, 2023 |
Dresden |
May 25, 2023 (May 22, 2023) |
RuleML+RR 2023 |
The 7th International Joint Conference on Rules and Reasoning | |
Sep 18, 2023 - Sep 20, 2023 |
Oslo, Norway |
May 27, 2023 (May 20, 2023) |
ACM CIIS 2023 |
ACM--2023 The 6th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2023) | |
Nov 25, 2023 - Nov 27, 2023 |
Tokyo, Japan |
Oct 5, 2023 |