List of conferences - page 2
- SAC-SVT 2025 CFP: Software Verification and Testing Track at SAC 2025: deadline September 20, 2024
40th Annual ACM/SIGAPP Symposium on Applied Computing
Software Verification and Testing Track
Sicily, Italy, March 31 - April 4, 2025
Submission deadline : September, 20, 2024- [LPNMR 2024] Call For Papers
Call for Papers: 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
Dallas, Texas, USA | October 11-14, 2024
Website: https://lpnmr2024.demacs.unical.it/
Contact us: [email protected]
Submission: https://easychair.org/conferences/?conf=lpnmr2024- CfP: The Art, Science, and Engineering of Programming Journal volume 9
The Art, Science, and Engineering of Programming accepts papers that advance knowledge of programming. The remaining submission deadlines for Volume 9 are June 1 and October 1.
- IFL 2024 first Call for Papers
IFL 2024 -- 36rd Symposium on Implementation and Application of Functional Languages.
venue: Radboud University Nijmegen, The Netherlands
August 26 - 28 2024
https://ifl24.cs.ru.nl- IJCAR 2024: Call for Participation
IJCAR 2024 - The 12th International Joint Conference on Automated Reasoning
Nancy, France, July 1-6, 2024
https://ijcar2024.loria.fr- IJCAR 2024: Woody Bledsoe Awards
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
====================================
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)
Call for Participation for PLDI 2024, the ACM SIGPLAN Conference on Programming Language Design and Implementation!
