List of conferences


Call for Participation: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering
by Andrei Chis, Sept. 23, 2024

** 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
by George Angelos Papadopoulos, Sept. 22, 2024

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
by Marco Giunti, Sept. 20, 2024

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
by Marco Giunti, Sept. 9, 2024

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
by German Vidal, Sept. 2, 2024

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
by Gopal Gupta, Aug. 30, 2024

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
by Anton Wijs, Aug. 23, 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
by Gopal Gupta, July 15, 2024

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.

« previous123...2930next »