 |
||
| When: Oct 7, 2025 - Oct 10, 2025 Submission Deadline: Jul 27, 2025 | ||
| ## Summary • ChapelCon '25 welcomes anyone with computing challenges that demand performance, particularly through parallelism and scalability. • ChapelCon '25 brings together Chapel user... | ||
| PROGRAMMING LANGUAGES HIGH PERFORMANCE COMPUTING PARALLEL PROGRAMMING SOFTWARE ENGINEERING | ||
 |
||
| When: Oct 12, 2025 - Oct 18, 2025 Submission Deadline: Jul 21, 2025 | ||
| ======================================================================== • Call for Papers • Workshop on Virtual Machines and Language Implementations (VMIL’25) • Co-located with ... | ||
| VIRTUAL MACHINES PROGRAMMING LANGUAGES LANGUAGE IMPLEMENTATIONS COMPILERS | ||
 PLOS 2025 : PLOS 2025 : 13th Workshop on Programming Languages and Operating SystemsSeoul, Republic of Korea |
||
| When: Oct 13, 2025 - Oct 13, 2025 Submission Deadline: Jul 25, 2025 | ||
| CFP: PLOS '25: 13th Workshop on Programming Languages and Operating Systems • CALL FOR PAPERS • 13th Workshop on Programming Languages and Operating Systems • (PLOS 2025) • Oc... | ||
| OPERATING SYSTEMS PROGRAMMING LANGUAGES | ||
 |
||
| When: Jun 30, 2025 - Jul 4, 2025 Submission Deadline: May 28, 2025 | ||
| ======================================================================== • ICOOOLPS 2025 – Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems •... | ||
| PROGRAMMING LANGUAGES LANGUAGE IMPLEMENTATION MANAGED RUNTIMES COMPILERS | ||
 DEBT 2025 : Third Workshop on Advanced Debugging Techniques (DEBT)Bergen, Norway with ECOOP 25 |
||
| When: Jul 4, 2025 - Jul 4, 2025 Submission Deadline: Apr 25, 2025 | ||
| *Scope:* • DEBT’25 is looking to advance state-of-the-art to debug modern software. We welcome researchers from all related areas aimed at helping with the hard task of diagnosing the root ca... | ||
| DEBUGGING SOFTWARE ENGINEERING PROGRAMMING LANGUAGES | ||
 |
||
| When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: May 15, 2022 | ||
| The formal design and verification of Cyber-Physical Systems pose numerous diverse and interesting challenges to both research and engineering communities. Because of their hybrid and distributed nat... | ||
| CYBER-PHYSICAL SYSTEMS FORMAL METHODS PROGRAMMING LANGUAGES | ||
 LearnAut 2022 : Learning & Automata 2022Paris, France |
||
| When: Jul 4, 2022 - Jul 4, 2022 Submission Deadline: Apr 7, 2022 | ||
| Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexit... | ||
| MACHINE LEARNING FORMAL METHODS COMPLEXITY PROGRAMMING LANGUAGES | ||
POPL 2023 : 50th Symposium on Principles of Programming LanguagesSan Antonio, Texas, USA (tentative) |
||
| When: Jan 15, 2023 - Jan 21, 2023 Submission Deadline: Jul 7, 2022 | ||
| # POPL 2023 Call for Papers • PACMPL Issue POPL 2023 seeks contributions on all aspects of programming languages and programming systems, both theoretical and practical. Authors of papers publi... | ||
|
|
||
| When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 20, 2022 | ||
| 2022 Joint Workshop Linearity & TLLA • Haifa, Israel • 31 July - 1 August 2022 • ======================================================== • FIRST Call for Papers • 3rd J... | ||
| LOGIC FORMAL METHODS THEORETICAL COMPUTER SCIENCE PROGRAMMING LANGUAGES | ||
|
|
||
| When: Nov 15, 2019 - Nov 15, 2019 Submission Deadline: Jul 19, 2019 | ||
| ACM SIGSAC 14th Workshop on Programming Languages and Analysis for Security (PLAS 2019) • ---------------------------------------------------------------------------------------- • Friday ... | ||
| PROGRAMMING LANGUAGES SECURITY | ||
|
|
||
| When: Oct 23, 2019 - Oct 25, 2019 Submission Deadline: Jul 12, 2019 | ||
| ** • ** Call for Papers: FACS 2019 • ** • ** 16th International Conference on • ** Formal Aspects of Component Software • ** • ** 23-25 October 2019, Amsterdam &bu... | ||
| FORMAL METHODS SOFTWARE ENGINEERING MODELING PROGRAMMING LANGUAGES | ||
 MPLR 2019 : Managed Programming Languages and Runtimes 2019Athens, Greece |
||
| When: Oct 20, 2019 - Oct 25, 2019 Submission Deadline: Jul 8, 2019 | ||
| The 16th International Conference on Managed Programming Languages & Runtimes (MPLR, formerly ManLang) is a premier forum for presenting and discussing novel results in all aspects of managed programm... | ||
| PROGRAMMING LANGUAGES RUNTIMES VIRTUAL MACHINES COMPILERS | ||
|
|
||
| When: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Apr 21, 2019 | ||
| Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to thei... | ||
| FORMAL METHODS PROGRAMMING LANGUAGES SOFTWARE ENGINEERING LOGIC | ||
|
|
||
| When: Jan 19, 2020 - Jan 25, 2020 Submission Deadline: Jul 10, 2019 | ||
| Scope • The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experiment... | ||
| PROGRAMMING LANGUAGES | ||
 |
||
| When: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Jan 11, 2019 | ||
| ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. • This year the conference... | ||
| PROGRAMMING LANGUAGES | ||
Find and Compare Upcoming Programming Languages Events in July. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
