List of conferences - page 3


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

FM 2024: 2nd Call for Workshops (deadline: January 19th)
by Matteo Rossi, Jan. 11, 2024

Second (and final) call for Workshops affiliated with FM24, as deadline is approaching.

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.

CFP - 27th Ibero-American Conference on Software Engineering (CIbSE 2024) - CURITIBA - MAY 6-10
by Andrea Delgado, Dec. 20, 2023

****************************************************************
*27th Ibero-American Conference on Software Engineering (CIbSE 2024)*
*Curitiba, Paraná, Brazil, 6-10 May 2024
****************************************************************

CALL FOR CONTRIBUTIONS
======================
https://conf.researchr.org/home/cibse-2024

2nd Call: Student Research Competition at Programming Conference 2024 - deadline 25 January
by Philipp Haller, Dec. 20, 2023

Call For Papers
ACM Student Research Competition at <Programming> 2024
The International Conference on the Art, Science, and Engineering of Programming
March 11-14, 2024
Lund, Sweden

Extended deadline: Thursday 25 January

https://2024.programming-conference.org/track/programming-2024-SRC

CGO'24 - Student Research Competition (SRC) and more
by luisacicolini, Dec. 8, 2023

CGO'24 Student Research Competition (SRC) is now OPEN!

FORTE 2024 CfP
by Valentina Castiglioni, Dec. 8, 2023

CALL FOR PAPERS
FORTE 2024
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
June 17-21, 2024
Groningen, The Netherlands

Submit your papers by February 9, 2024!

https://www.discotec.org/2024/forte