List of conferences - page 8
- IJCAR 2024: call for co-located events
The International Joint Conference on Automated Reasoning (IJCAR 2024) is
soliciting proposals for co-located events such as workshops, tutorials and
competitions.- SPIN 2024 - Call for Papers - extended deadline: 22 January 2024
The 30th SPIN Symposium on Model Checking of Software will take place on April 10--11, 2024, in Luxembourg City, Luxembourg, colocated with ETAPS 2024. This call for papers solicits three categories of papers: full, short, and special anniversary papers, celebrating the 30th Anniversary of the SPIN Symposium.
- IJCAR 2024 --- Call for Papers
CALL FOR PAPERS
IJCAR 2024
The 12th International Joint Conference on Automated Reasoning
Nancy, France, July 1-6, 2024
https://ijcar2024.loria.fr/- [Call for Papers] EASE 2024 - Evaluation and Assessment in Software Engineering
The International Conference on Evaluation and Assessment in Software Engineering (EASE) is one of the premier conferences for research related to empirical software engineering. EASE is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A conference in CORE. The 28th edition of EASE will take place from 18 to 21 June 2024 in Salerno, Italy.
- 21st International Conference on Software and Systems Reuse (ICSR 2024): First Call for Papers
The International Conference on Software and Systems Reuse (ICSR) is a biannual conference
in the field of software reuse research and technology. ICSR is a premier event aiming to
present the most recent advances and breakthroughs in the area of software reuse and to
promote an intensive and continuous exchange among researchers and practitioners.The guiding theme of this edition is Sustainable Software Reuse.
- 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024): First Call for Papers
The CAiSE’24 organization calls for full papers with a special emphasis on the theme of
Information Systems in the Age of Artificial Intelligence. Artificial Intelligence (AI) has emerged
as a transformative technology, revolutionizing various industries, and its significance in
Information Systems cannot be overstated. AI-powered systems have the potential to
streamline operations, enhance decision-making processes, and drive innovation across
organizations. From data analysis to automated processes, AI is reshaping the way we leverage
information in the digital age. The relevance of AI in IS extends beyond internal operations.
AI-powered predictive analytics enables organizations to forecast trends, anticipate customer
needs, and optimize resource allocation. This empowers businesses to adapt swiftly to
changing market dynamics, gain a competitive edge, and make proactive decisions. AI
algorithms can also detect anomalies and patterns that indicate potential security breaches,
contributing to robust cybersecurity measures in information systems. However, while
acknowledging the benefits, it is essential to consider the ethical implications of AI in
information systems. Ensuring data privacy, addressing bias in algorithms, and maintaining
transparency are vital aspects that need to be carefully managed and regulated to foster trust
and accountability.- FACS 2023 - Call for Participation
FACS 2023 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.
We cordially invite you to join FACS 2023! Registration for FACS 2023 is free and open.
- Call for participation LOPSTR 2023
Registration is now open for LOPSTR 2023!
The 33rd International Symposium on Logic-based Program Synthesis and Transformation will be co-located with PPDP 2023 as part of SPLASH 2023 in Cascais (Lisbon), Portugal and held on October 23-24.
REGISTRATION
Registration to be completed through the SPLASH registration pages; see instructions at:
https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration
https://2023.splashcon.org/attending/Registration
