 |
||
| When: Jul 4, 2024 - Jul 5, 2024 Submission Deadline: Apr 12, 2024 | ||
| HLPP '24 warmly invites papers on topics related to all aspects of • parallel computing with a focus on high-level programming of • multi-/many-cores, heterogeneous compute clusters, high... | ||
| PARALLEL PROGRAMMING DISTRIBUTED COMPUTING PARALLEL APPLICATIONS PROGRAMMING MODELS | ||
 |
||
| When: Jul 24, 2024 - Jul 26, 2024 Submission Deadline: Apr 15, 2024 | ||
| The 4th edition of the International Conference on Optimization, Learning Algorithms and Applications (OL2A 2024) will provide a forum where academic scientists, researchers and research scholars wil... | ||
| OPTIMIZATION MACHINE LEARNING STOCHASTIC PROGRAMMING MULTI-OBJECTIVE OPTIMIZATION | ||
 |
||
| When: Jul 8, 2024 - Jul 12, 2024 Submission Deadline: Feb 13, 2024 | ||
| 51st EATCS International Colloquium on Automata, Languages and Programming • ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS)... | ||
| AUTOMATA THEORY | ||
 AMP 2023 : Agility with Microservices ProgrammingYeditepe University, Istanbul, Turkey |
||
| When: Sep 18, 2023 - Sep 18, 2023 Submission Deadline: Jul 7, 2023 | ||
| Agility with Microservices Programming: Call for Papers • ======================================================= • Third International Workshop on Agility with Microservices Programming ... | ||
| MICROSERVICE PROGRAMMING ARCHITECTURE | ||
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: Nov 4, 2022 - Nov 6, 2022 Submission Deadline: Jul 30, 2022 | ||
| The International Symposium on Parallel Architectures, Algorithms and Programming (PAAP) provides a major forum for scientists, engineers and practitioners throughout the world to present the latest ... | ||
| PARALLEL ARCHITECTURES PARALLEL ALGORITHMS PARALLEL PROGRAMMING BIG DATA | ||
 |
||
| 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 | ||
 |
||
| Submission Deadline: Jul 1, 2022 | ||
| Artificial Intelligence (AI) is getting more and more popular, being adopted in a large number of applications and technologies we use on a daily basis. A large number of AI-enabled applications are ... | ||
| COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE SOFTWARE ENGINEERING | ||
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 - 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: Jul 31, 2022 - Sep 8, 2022 Submission Deadline: Feb 25, 2022 | ||
| Scope • CP is the premier international event for presenting research in all aspects of computing with constraints, including but not restricted to: theory, algorithms, environments, languages,... | ||
| CONSTRAINT PROGRAMMING OPERATIONS RESEARCH OPTIMIZATION CONSTRAINT SATISFACTION | ||
|
|
||
| When: Jul 7, 2022 - Jul 8, 2022 Submission Deadline: May 6, 2022 | ||
| --------------- • CALL FOR PAPERS • --------------- • HLPP 2022 • The 15th International Symposium on • High-level Parallel Programming and Applications • Porto, P... | ||
| HIGH PERFORMANCE COMPUTING FUNCTIONAL PARALLELISM ALGORITHMIC SKELETONS HIGH LEVEL PARALLELISM | ||
|
|
||
| When: Jul 12, 2021 - Jul 16, 2021 Submission Deadline: Jan 29, 2021 | ||
| 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... | ||
| DATABASES INFORMATION SYSTEMS SOFTWARE ENGINEERING PROGRAMMING | ||
|
|
||
| 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 | ||
|
|
||
| When: Jul 08, 2020 - Jul 12, 2020 Submission Deadline: Feb 12, 2020 | ||
| The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for T... | ||
| SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
ISSTA 2020 : International Symposium on Software Testing and AnalysisLos Angeles, United States |
||
| When: Jul 18, 2020 - Jul 22, 2020 Submission Deadline: Jan 27, 2020 | ||
| The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, a... | ||
| DATABASES INFORMATION SYSTEMS SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
|
|
||
| When: Jul 07, 2020 - Jul 20, 2020 Submission Deadline: Jan 13, 2020 | ||
| The annual ICDCS conference is a premier international forum for researchers, developers and users to present, discuss and exchange the cutting edge ideas and latest findings on topics related to any ... | ||
| NETWORKS SOFTWARE ENGINEERING PROGRAMMING COMMUNICATIONS COMPUTER SCIENCE | ||
CAV 2020 : International Conference on Computer Aided VerificationLos Angeles, United States |
||
| When: Jul 19, 2020 - Jul 24, 2020 Submission Deadline: Jan 28, 2020 | ||
| CAV 2020 is the 32nd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference will take place Jul... | ||
| SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
RSS 2020 : Robotics: Science and SystemsOregon State University at Corvallis, United States |
||
| When: Jul 12, 2020 - Jul 17, 2020 Submission Deadline: Jan 31, 2020 | ||
| The 2020 Robotics: Science and Systems Conference will bring together researchers working on all aspects of robotics including scientific foundations of robotics, robotics applications, and analysis o... | ||
| HARDWARE ROBOTICS ELECTRONICS SOFTWARE ENGINEERING PROGRAMMING | ||
 DAC 2020 : Design Automation ConferenceSan Francisco, United States |
||
| When: Jul 19, 2020 - Jul 23, 2020 Submission Deadline: Nov 21, 2019 | ||
| The Design Automation Conference (DAC) is the premier event to showcase cutting-edge research achievements in the design and design automation of electronic circuits and systems. In addition to a broa... | ||
| HARDWARE ROBOTICS ELECTRONICS SIGNAL PROCESSING SOFTWARE ENGINEERING PROGRAMMING | ||
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: 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 | ||
Find and Compare Upcoming Programming Events in July. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
