List of conferences - page 6


32ND INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT (ISD’2024)
by Ivan Lukovic, Feb. 4, 2024

ISD is an internationally leading venue in the realm of information systems. Since its inception in 1988, it has served as a platform where researchers, practitioners, and educators convene to share and deliberate on the latest innovations, trends, experiences, and challenges in the field of Information Systems. The theme of ISD 2024 is "Harnessing Opportunities: Reshaping ISD in the post-COVID-19 and Generative AI Era".

CFP-CIbSE 2024: Deadline Submission Extension
by Andrea Delgado, Jan. 29, 2024

CFP-CIbSE 2024: Deadline Submission Extension -
27th Ibero-American Conference on Software Engineering (CIbSE 2024) - CURITIBA - MAY 6-10
https://conf.researchr.org/home/cibse-2024

CFP: ISPDC 2024
by Dalvan Griebler, Jan. 29, 2024

The 23rd International Symposium on Parallel and Distributed Computing (ISPDC 2024)

CFP-CIbSE 2024: Abstract Submission Extension
by Andrea Delgado, Jan. 16, 2024

CFP-CIbSE 2024: Abstract Submission Extension -
27th Ibero-American Conference on Software Engineering (CIbSE 2024) - CURITIBA - MAY 6-10
https://conf.researchr.org/home/cibse-2024

FORTE 2024 - Second call for papers
by Valentina Castiglioni, Jan. 16, 2024

FORTE 2024 - June 17-21, 2024 - Groningen, The Netherlands
Submit your papers by February 9, 2024!
https://www.discotec.org/2024/forte

IJCAR 2024: Final CfP
by Peter Lammich, Jan. 12, 2024

IJCAR is the premier international joint conference on all aspects of automated reasoning.

IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA in Nancy, France, from July 1-6, 2024.

IJCAR 2024 is the merger conference of leading events in automated reasoning:

CADE – Conference on Automated Deduction
FroCoS – Symposium on Frontiers of Combining Systems
TABLEAUX – Conference on Analytic Tableaux and Related Methods

Call for Papers: TAP 2024 (Tests and Proofs 2024), Milan, Italy
by Marieke Huisman, Jan. 8, 2024

TAP 2024 - Call for Papers


***********************************************************************************************************************
The 18th International Conference on Tests and Proofs (TAP 2024)
https://tapconference.github.io/2024/

co-located within FM 2024 (Formal Methods 2024)
https://www.fm24.polimi.it/

***********************************************************************************************************************

21st International Conference on Software and Systems Reuse (ICSR 2024): Fourth Call for Papers
by George Angelos Papadopoulos, Jan. 5, 2024

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.

We invite submissions on new and innovative research results and industrial experience
reports dealing with all aspects of software reuse within the context of the modern software
development landscape.