 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: Sep 16, 2024 - Sep 20, 2024 Submission Deadline: Apr 17, 2024 | ||
| ECOOP is a conference about programming originally focused on object-orientation, but now including all practical and theoretical investigations of programming languages, systems and environments. EC... | ||
| PROGRAMMING LANGUAGES SOFTWARE ENGINEERING | ||
ESOP 2023 : 32st European Symposium on ProgrammingParis, France |
||
| When: Apr 22, 2023 - Apr 27, 2023 Submission Deadline: Oct 13, 2022 | ||
| 32st European Symposium on Programming • General information • ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of pro... | ||
| PROGRAMMING LANGUAGES FORMAL METHODS | ||
 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 | ||
 SLE 2022 : Software Language EngineeringAuckland, New Zealand |
||
| When: Dec 5, 2022 - Dec 10, 2022 Submission Deadline: Apr 13, 2022 | ||
| Topics of Interest • SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: • - Software Langua... | ||
| PROGRAMMING LANGUAGES SOFTWARE ENGINEERING FORMAL METHODS PERFORMANCE | ||
 |
||
| When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Apr 8, 2022 | ||
| Agility with Microservices Programming: Call for Papers • ======================================================= • Third International Workshop on Agility with Microservices Programming ... | ||
| MICROSERVICES AGILE SOFTWARE ENGINEERING PROGRAMMING LANGUAGES | ||
 |
||
| When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 4, 2022 | ||
| The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The Intern... | ||
| PROGRAMMING LANGUAGES DISTRIBUTION AND CONCURRENCY TYPE SYSTEMS VERIFICATION | ||
|
|
||
| When: Apr 01, 2021 - Apr 01, 2021 Submission Deadline: Aug 14, 2020 | ||
| ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and compilers, operating systems and networking. The 26th ASPLOS w... | ||
| PROGRAMMING LANGUAGE SOFTWARE ENGINEERING OPERATING SYSTEMS | ||
 |
||
| Submission Deadline: Apr 25, 2020 | ||
| International Journal of Programming Languages and Applications (IJPLA) is a Quarterly peer-reviewed and refereed open access journal that publishes articles which contribute new results in all a... | ||
| PROGRAMMING LANGUAGES | ||
 ICE 2020 : 13th Interaction and Concurrency ExperienceUniversity of Malta, Valletta |
||
| When: Jun 19, 2020 - Jun 20, 2020 Submission Deadline: Apr 22, 2020 | ||
| Interaction and Concurrency Experiences (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
 |
||
| 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: Jun 22, 2019 - Jun 22, 2019 Submission Deadline: Apr 8, 2019 | ||
| CALL FOR PAPERS • ARRAY 2019 • 6th ACM SIGPLAN International Workshop on • Libraries, Languages and Compilers for Array Programming • co-located with PLDI 2019 at ACM FCRC &bu... | ||
| PROGRAMMING LANGUAGES HIGH PERFORMANCE COMPUTING PARALLEL COMPUTING COMPILERS | ||
ICE 2019 : Interaction and Concurrency ExperienceLyngby, Denmark |
||
| When: Jun 20, 2019 - Jun 21, 2019 Submission Deadline: Apr 29, 2019 | ||
| ICE 2019 • 12th Interaction and Concurrency Experience • June 20-21, 2019, Lyngby, Denmark • Satellite workshop of DisCoTec 2019 • Paper submission: https://easychair.org/confe... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
 |
||
| When: Oct 20, 2019 - Oct 25, 2019 Submission Deadline: Apr 5, 2019 | ||
| PACMPL (OOPSLA) seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL will present their work at OOPSLA in Athens. • Papers ... | ||
| PROGRAMMING LANGUAGES | ||
 |
||
| When: Apr 6, 2019 - Apr 7, 2019 Submission Deadline: Feb 10, 2019 | ||
| Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (for example, probabilities) for the characterisation of the beha... | ||
| COMPUTER SCIENCE FORMAL METHODS SEMANTICS PROGRAMMING LANGUAGES | ||
 |
||
| When: Apr 1, 2019 - Apr 2, 2019 Submission Deadline: Jan 11, 2019 | ||
| ... | ||
| VIRTUAL MACHINES COMPILERS PROGRAMMING LANGUAGES | ||
Find and Compare Upcoming Programming Languages Events in April. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
