 |
||
| 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 | ||
 ArgXAI 2023 : 2nd International Workshop on Argumentation for eXplainable AIImperial College London London, UK, |
||
| When: Jul 10, 2023 - Jul 10, 2023 Submission Deadline: May 15, 2023 | ||
| 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI) • Co-located with ICLP 2023 (London, UK) • In recent years, research on intelligent systems that can explain their ... | ||
| LOGIC PROGRAMMING FORMAL METHODS EXPLAINABLE AI | ||
 MEandE-LP 2023 : 3rd International Workshop on Machine Ethics and Explainability - The Role of Logic ProgrammingImperial College London, UK |
||
| When: Jul 9, 2023 - Jul 10, 2023 Submission Deadline: May 15, 2023 | ||
| ======================================================================= • CALL FOR PAPERS • MEandE-LP 2023 • 3rd Workshop on Machine Ethics and Explainability - The Role of Logic Pr... | ||
| ARTIFICIAL INTELLIGENCE MACHINE ETHICS EXPLAINABILITY LOGIC PROGRAMMING | ||
 |
||
| 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 | ||
|
|
||
| When: Jul 31, 2022 - Jul 31, 2022 Submission Deadline: May 10, 2022 | ||
| This workshop is affiliated with 38th International Conference on Logic Programming (ICLP2022) • ************************************************************************************************... | ||
| ARTIFICIAL INTELLIGENCE MACHINE ETHICS EXPLAINABILITY LOGIC PROGRAMMING | ||
 |
||
| 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: Sep 17, 2020 - Sep 18, 2020 Submission Deadline: Jul 13, 2020 | ||
| Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was foun... | ||
| LOGIC | ||
 |
||
| When: Nov 15, 2020 - Nov 20, 2020 Submission Deadline: Jul 24, 2020 | ||
| A number of publications on middleware and language design – so-called reactive and event-based languages and systems (REBLS) – have already seen the light, but the field still raises seve... | ||
| REACTIVE PROGRAMMING REACTIVE SYSTEMS EVENT PROGRAMMING TEMPORAL LOGIC | ||
LCPC 2020 : Languages and Compilers for Parallel ComputingStony Brook University, NY, USA |
||
| When: Oct 14, 2020 - Oct 16, 2020 Submission Deadline: Jul 30, 2020 | ||
| The 33rd LCPC Workshop will be held on October 14-16, 2020 at Stony Brook University, NY, USA. Since its inception in 1988, the Workshop on Languages and Compilers for Parallel Compu... | ||
| COMPUTER SCIENCE PARALLEL COMPUTING PROGRAMMING SYSTEMS COMPILERS | ||
|
|
||
| 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: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Apr 12, 2019 | ||
| This is a call to submit technical articles based on your previous or ongoing work to the workshop “Architecture-Aware Simulation and Computing” (AASC 2019) at the conference HPCS 2019 (The 17th I... | ||
| HPC ARCHITECTURE AWARE PROGRAMMING MODELS PERFORMANCE, ENERGY EFFICIENCY | ||
|
|
||
| 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: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Apr 10, 2019 | ||
| The 8th International Workshop on Advances in Parallel Programming Models and Frameworks for the Multi-/Many-core Era (APPMM 2019) • http://hpcs2019.cisedu.info/2-conference/workshops/workshop06... | ||
| COMPUTER SCIENCE PARALLEL COMPUTING PARALLEL PROCESSING HIGH PERFORMANCE COMPUTING | ||
Find and Compare Upcoming Programming Workshops in July. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
