List of conferences - page 2

by Dalvan Griebler, May 2, 2024

28th Brazilian Symposium on Programming Languages (SBLP 2024) at Curitiba, Brazil

ICTCS 2024: Call for Papers (deadline June 9, 2024)
by Emilio Tuosto, April 30, 2024

ICTCS is the conference of the Italian Chapter of the European Association for Theoretical Computer Science.

ICLP 2024: Final Call for Papers
by Gopal Gupta, April 27, 2024

The paper submission deadline (May 6) for the 40th International Conference on Logic Programming to be held in Dallas, TX, USA, is fast approaching.

IFL 2024 first Call for Papers
by Mart Lubbers, April 24, 2024

IFL 2024 -- 36rd Symposium on Implementation and Application of Functional Languages.

venue: Radboud University Nijmegen, The Netherlands
August 26 - 28 2024

IJCAR 2024: Call for Participation
by Peter Lammich, April 18, 2024

IJCAR 2024 - The 12th International Joint Conference on Automated Reasoning
Nancy, France, July 1-6, 2024

EDOC 2024
by Fabrizio Fornari, April 17, 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.

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)
Mon 6 - Fri 10 May 2024 Curitiba, Brazil