List of conferences
- CFP: SAC 2025 -- Web Engineering Track
Call for papers for the Web Engineering Track of the 40th Annual ACM/SIGAPP Symposium on Applied Computing, Catania, Italy, March 31-April 4, 2025
- 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.
- FM 2024: Call for Participation
International Symposium on Formal Methods
9-13 September 2024, Milan, Italy
https://www.fm24.polimi.itRegistrations open: https://www.fm24.polimi.it/?page_id=559
- Register Now: European Informatics Leaders Summit (ECSS) 2024 in Malta
Share and join us at ECSS 2024 to celebrate our joint accomplishments and ignite new aspirations with and beyond the Informatics Europe community. Your participation elevates the celebration and enables advanced collaborations and outcomes in informatics education and research. See you in Malta!
