List of conferences - page 12
- CfP HLPP 2021: 14th International Symposium on International Symposium on High-Level Parallel Programming and Applications
As processor and system manufacturers adjust their roadmaps towards increasing levels of both inter and intra-chip parallelism, so the urgency of reorienting the mainstream software industry towards these architectures grows.
At present, popular parallel and distributed programming methodologies are dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms.
Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism.
HLPP symposia provide a forum for discussion and research about such high-level approaches to parallel and distributed programming.- SAT 2021: CFP
24th International Conference on Theory and Applications of Satisfiability Testing
SAT-2021, July 5-9, 2021, Barcelona, SpainCall For Papers
https://www.iiia.csic.es/sat2021
- Call for Papers - MDEML track at Euromicro SEAA 2021
MDEML: Model-Driven Engineering and Modeling Languages
https://dsd-seaa2021.unipv.it/seaa/MDEML.htmlPaper Submission Deadline: April 1, 2021
Notification of Acceptance: May 15, 2021
Camera-Ready Papers: June 15, 2021- Call for papers: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.
ISSTA 2021 will be held in Aarhus, Denmark, on July 12-16, 2021, co-located with ECOOP 2021.
2021 will mark the 30th edition of ISSTA.
Authors are invited to submit technical papers, experience papers, and reproducibility studies.
- Call for workshops: ECOOP and ISSTA 2021
Call for workshops: 35th European Conference on Object-Oriented Programming (ECOOP'21) & 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)
- Call for Papers - SPIN 2021
International Symposium on Model Checking of Software
- Call for Papers: FormaliSE 2021
*****************************************************************************************
Call for Papers: FORMALISE 2021
9th International Conference on Formal Methods in Software Engineering
May 23-24, Madrid, Spain, co-located with ICSE 2021
http://www.formalise.org/
*****************************************************************************************- MPLR 2020 Call for Participation
The 17th International Conference on Managed Programming Languages & Runtimes (MPLR'20) is a premier forum for presenting and discussing innovations and breakthroughs in the area of managed programming languages and runtime systems, which form the basis of many modern computing systems, from small scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms).
