List of conferences
- IFL 2024 first Call for Papers
IFL 2024 -- 36rd Symposium on Implementation and Application of Functional Languages.
venue: Radboud University Nijmegen, The Netherlands
August 26 - 28 2024
https://ifl24.cs.ru.nl- FMICS 2024 paper submission deadline is very close
Call-for-papers:
29th International Conference on Formal Methods for Industrial Critical SystemsCo-located with FM 2024 in Milan, Italy, 9-11 September 2024
IMPORTANT DATES
- Abstract submission: 25 April 2024
- Paper submission: 1 May 2024
- Notification: 10 June 2024
- Camera-ready version: 23 June 2024
- Conference: 9-11 September 2024For more info, see: https://fmics.inria.fr/2024/
- MPLR 2024 Call for Papers
21st International Conference on Managed Programming Languages & Runtimes (MPLR, formerly ManLang, originally PPPJ).
September 19, 2024 (together with ECOOP and ISSTA from September 16-20).Submission Deadline: May 16, 2024
https://conf.researchr.org/home/issta-ecoop-2024/mplr-2024
Submissions: https://mplr24.hotcrp.com/
- 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.
