List of conferences - page 3


Software, System and Service Engineering (S3E) Topical Area at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
by Aleksandar Popovic, April 8, 2024

S3E2024@FedCSIS 2024

IJCAR 2024: Woody Bledsoe Awards
by Peter Lammich, April 8, 2024

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.

CIbSE 2024 Call for Participation
by Andrea Delgado, April 6, 2024

====================================
CIbSE 2024 - Call for Participation
====================================

XXVII Ibero-American Conference on Software Engineering (CIbSE 2024)
https://conf.researchr.org/home/cibse-2024
Mon 6 - Fri 10 May 2024 Curitiba, Brazil

PLDI 2024 - Call for Participation (Early registration: May 15)
by Yao Li, April 3, 2024

Call for Participation for PLDI 2024, the ACM SIGPLAN Conference on Programming Language Design and Implementation!

FMICS 2024 2nd Call for Papers
by Anne E. Haxthausen, April 2, 2024

Deadlines approaching for the submission of papers to

FMICS 2024:
29th International Conference on Formal Methods for Industrial Critical Systems

Milan, Italy, 9-11 September 2024
https://fmics.inria.fr/2024

Abstract submission: 25 April 2024
Paper submission: 1 May 2024

21st International Conference on Software and Systems Reuse (ICSR 2024): Last Call for Late-Breaking Results and Journal First Submissions
by George Angelos Papadopoulos, April 1, 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 now invite submissions for Late-Breaking Results (LBR) and Journal First.

FM 2024: Call for Papers
by Matteo Rossi, March 29, 2024

Deadlines approaching for the submission of papers to the 26th international symposium on Formal Methods (FM 2024):

Abstract Submission: April 15th, 2024
Full Paper Submission: April 19th, 2024

Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)
by BenoƮt Montagu, March 26, 2024

We are looking for motivated people to be members of the ICFP 2024
Artifact Evaluation Committee (AEC). Students, researchers and people
from the industry or the free software community are all welcome.