List of conferences
- Call for Participation: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering
** Call for Participation **
17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024)
October 20-21, 2024
Pasadena, California, United States(Collocated with SPLASH 2024)
https://www.sleconf.org/2024/
https://2024.splashcon.org/track/sle-2024
Follow us on X: https://x.com/sleconf- 19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025): First Call for Papers
TASE 2025 aims to bring together researchers and developers from academia and industry with
interest in the theoretical aspects of software engineering. Modern society is increasingly
dependent on software systems that are becoming larger and more complex. This poses new
challenges to current software engineering methodologies that need to be enhanced using
modern results from theoretical computer science. We invite submission of research papers on
topics covering all theoretical aspects of software engineering, including those describing
applications of theoretical computer science in industrial applications and software engineering
methodologies.- LAST CFP: SAC 2025 -- Programming Languages Track
Last call for papers for the Programming Languages Track of the 40th Annual ACM/SIGAPP Symposium on Applied Computing -- Deadline: October 4
- CFP: SAC 2025 -- Programming Languages Track
Call for papers for the Programming Languages Track of the 40th Annual ACM/SIGAPP Symposium on Applied Computing, Catania, Italy, March 31-April 4, 2025
- PADL 2025: First Call for Papers
PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving.
PADL 2025 will take place in Denver, Colorado (United States) on 20-21 January, 2025. The homepage of PADL 2025 is: https://popl25.sigplan.org/home/PADL-2025
- 40th International Conference on Logic Programming: Call for Participation
The 40th ICLP will be held in Dallas, TX. Program consists of invited talks, tutorials, and contributed papers.
- 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- ICLP 2024/LPNMR 2024: Call for Papers for Workshops and Doctoral Consortium
We cordially invite you to submit papers to the ICLP'24/LPNMR'24 affiliated workshops. PhD students are invited to submit to the jointly organized doctoral consortium. The events will be held Oct 11-17, 2024, in Dallas, TX.