List of conferences - page 14
- ECOOP 2022: Call for Papers
NEW this year: ECOOP 2022 will have two rounds of reviewing.
Round 1 paper submission deadline: ** December 1, 2021 **
============================
ECOOP 2022
Call for Papers
ECOOP 2022 will be held on Mon 6th - Fri 10th of June in Berlin, Germany.
https://2022.ecoop.org/
============================- Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering.
- Certified Programs and Proofs (CPP) 2022: Final Call for Papers
Certified Programs and Proofs (CPP)2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on 17-18 January 2022 and will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
The CPP 2022 organizers will strive to enable both in-person and remote participation. If the authors of a CPP 2022 accepted paper will be unable or unwilling to travel to the conference, the organizers can confirm that this will not affect the paper’s publication in the proceedings, and the authors will be able to upload recorded talks that will be made publicly available.
- ACM HSCC 2022 Call for Papers
============================================================
ACM HSCC 2022 Call for Papers
25th ACM International Conference on Hybrid Systems:
Computation and Control (HSCC 2022)Part of CPS-IoT Week 2022
May 4-6, 2022
Milan, Italy
URL: https://hscc.acm.org/2022/
============================================================- Call for participation: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21) and the 35th European Conference on Object-Oriented Programming (ECOOP'21)
Registrations to ECOOP'21 and ISSTA'21 are still open - and free of charge!
If you haven't registered yet, there are still a few days left to do so.
Registration site: https://conf.researchr.org/attending/ecoop-issta-2021/registration- Certified Programs and Proofs (CPP) 2022: Call for Papers
CPP 2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on 16-18 January 2022 and will be co-located with POPL 2022. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
- MFPS 2021 - Deadline Extension and Invited Speakers
The deadline for MFPS 2021 is extended for a week: Instead of June 7, 2021, the new deadline is June 14, 2021.
- Call For Contributions (Second Call) - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high-quality submissions describing original and unpublished work.
