List of conferences
- IJCAR 2024: Call for Participation
IJCAR 2024 - The 12th International Joint Conference on Automated Reasoning
Nancy, France, July 1-6, 2024
https://ijcar2024.loria.fr- LOPSTR 2024 -- Call for Papers
34th International Symposium on Logic-Based Program Synthesis
and Transformation (LOPSTR 2024).
Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024,
and TAP 2024.September 9-11, 2024 - Milan, Italy
https://lopstr.github.io/2024/
Important dates:
- Abstract submission: May 6, 2024 (AoE)
- Paper submission: May 10, 2024 (AoE)
- Author notification: June 26, 2024 (AoE)
- Camera-ready: July 17, 2024 (AoE)
- Symposium: September 9-11, 2024- EDOC 2024
EDOC 2024 is the 28th conference in the EDOC series. EDOC conferences traditionally provide a key forum for researchers and practitioners in Enterprise Design, Operations and Computing, by addressing the full range of models, methodologies, and engineering technologies contributing to building and evolving intra- and inter-enterprise software systems.
- CfP: Software Lifecycle Management for Knowledge Graphs Workshop
The Software Lifecycle Management for KG workshop (SofLiM4KG)
aims to collect experiences in successful and abandoned
knowledge graph projects from this perspective to
(a) carve out the specifics in knowledge graph engineering
that pose challenges beyond software engineering practices,
(b) to establish best practices and anti-patterns for the
community, and (c) build the foundations for the systematic
investigation of the connection to software engineering,
as well as qualitative and quantitative studies in project
management of knowledge graphs.- hydra 2024 - Call for Papers
The HYDRA workshop seeks to bridge the gap between deductive and inductive reasoning, which are two powerful but distinct methods in artificial intelligence. While deductive reasoning relies on explicit premises and logical inference rules to derive specific conclusions, inductive reasoning infers generalizations from observations, often with the help of Machine Learning and Deep Learning techniques. Combining these approaches paves the way for potentially creating more robust and flexible Artificial Intelligence (AI) systems that can reason effectively in various contexts. Nevertheless, neither deductive nor inductive reasoning methods can be considered the ultimate, comprehensive solutions to AI. Therefore, studying how they can be intertwined advantageously enables the development of new solutions that can take into account the peculiarities and strengths of the two methods.
- 31st Static Analysis Symposium (SAS 2024) : Call for Papers
31st Static Analysis Symposium (SAS 2024).
SAS’24 will take place from Sunday, October 20th to October 22nd, 2024.
It will be held in Pasadena, CA, US, co-located with SPLASH 2024.https://2024.splashcon.org/home/sas-2024
Important Dates (All deadlines are AoE (Anywhere on Earth))
- Paper submission: Sunday, May 5th, 2024
- Artifact submission: Sunday, May 12th, 2024
- Author response: Monday, June 17th, 2024 - Wednesday, June 19th, 2024
- Notification: Sunday, July 7th, 2024
- Camera ready: Monday, August 5th, 2024- Software, System and Service Engineering (S3E) Topical Area at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
S3E2024@FedCSIS 2024
- IJCAR 2024: Woody Bledsoe Awards
The Woody Bledsoe Award is intended to enable selected students to attend the
12th International Joint Conference on Automated Reasoning
(IJCAR 2024), by covering part of their expenses.
