WLPP 2024 : 10th WORKSHOP ON LANGUAGE BASED PARALLEL PROGRAMMINGOstrava, Czech Republic |
||
When: Sep 8, 2024 - Sep 11, 2024 Submission Deadline: Apr 30, 2024 | ||
WLPP 2024 is a full-day workshop to be held at the PPAM 2024 focusing on high level programming for large-scale parallel systems and multicore processors, with special emphasis on component architect... | ||
PARALLEL LANGUAGES HETEROGENOUS COMPUTING PERFORMANCE PORTABILITY BENCHMARKS | ||
|
||
When: May 27, 2024 - May 31, 2024 Submission Deadline: Jan 19, 2024 | ||
HIPS 2024: The 29th International Workshop on High-Level Parallel Programming Models and Supportive Environments • to be held in conjunction with IPDPS 2024 • May 27-31, 2024 • San ... | ||
HTTPS://HIPS2024.GITHUB.IO | ||
|
||
When: Jan 17, 2024 - Jan 19, 2024 Submission Deadline: Nov 17, 2023 | ||
The current trend towards many-core and heterogeneous accelerator-based • architectures requires a global rethinking of software and hardware design, • which turn out to be more than ever... | ||
COMPUTER ARCHITECTURE PARALLEL PROGRAMMING RUNTIME MANAGEMENT DESIGN SPACE EXPLORATION | ||
|
||
When: Feb 14, 2024 - Feb 16, 2024 Submission Deadline: Jan 15, 2024 | ||
Workshop on Asynchronous Many-Task Systems and Applications (WAMTA) 2024 • Knoxville, Tennessee, USA. Feb 14-16 • http://wamta24.icl.utk.edu/ • Call For Papers • The next gene... | ||
TASK BASED PROGRAMMING MODELS PARALLEL PROGAMMING HIGH PERFORMANCE COMPUTING | ||
|
||
When: Nov 12, 2023 - Nov 12, 2023 Submission Deadline: Aug 4, 2023 | ||
D-HPC'23: The First International Workshop on Democratizing High-Performance Computing • held in conjunction with SC23, The International Conference on High-Performance Computing, Networking, S... | ||
HIGH PEFORMANCE COMPUTING PERFORMANCE ANALYSIS PARALLEL PROGRAMMING SCIENTIFIC COMPUTING | ||
|
||
When: Oct 22, 2023 - Oct 27, 2023 Submission Deadline: Aug 2, 2023 | ||
*** The abstract and paper submission deadlines have been extended *** • The new deadlines are: • 2023-07-23: Abstract and submission deadline (research and experience papers) • 202... | ||
VIRTUAL MACHINES PROGRAMMING LANGUAGES LANGUAGE IMPLEMENTATIONS COMPILERS | ||
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: Oct 23, 2023 - Oct 23, 2023 Submission Deadline: Aug 4, 2023 | ||
CALL FOR PAPERS • 12th Workshop on Programming Languages and Operating Systems • (PLOS 2023) • October 23, 2023 • Koblenz, Germany • https://plos-workshop.org/2023/ &bu... | ||
OPERATING SYSTEMS PROGRAMMING LANGUAGES | ||
IWOMP 2023 : 19th International Workshop on OpenMPBristol University |
||
When: Sep 13, 2023 - Sep 15, 2023 Submission Deadline: May 26, 2023 | ||
CALL FOR PAPERS: • ----------------------------------------- • + IWOMP 2023 • + 19th International Workshop on OpenMP • + September 13-15, 2023 • + Bristol University, B... | ||
PARALLEL PROGRAMMING HPC THREADING GPU | ||
|
||
When: Sep 5, 2022 - Sep 5, 2022 Submission Deadline: Jun 30, 2022 | ||
In the last decades, deductive reasoning has been widely used in several fields such as planning, scheduling problems, robotics controls applications, and many others thanks to its ability in develop... | ||
LOGIC PROGRAMMING DEDUCTIVE REASONING INDUCTIVE REASONING MACHINE LEARNING | ||
|
||
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: Aug 29, 2022 - Sep 1, 2022 Submission Deadline: May 16, 2022 | ||
============================================================== • P2S2 2022 - CALL FOR PAPERS • ============================================================== • The Fifteenth Interna... | ||
PARALLEL PROGRAMMING MODELS SYSTEMS SOFTWARE HIGH-END COMPUTING | ||
HOPE 2022 : ACM SIGPLAN Workshop on Higher-Order Programming with EffectsLjubljana, Slovenia |
||
When: Sep 11, 2022 - Sep 11, 2022 Submission Deadline: Jun 1, 2022 | ||
HOPE is an established informal workshop bringing together researchers • interested in the design, semantics, implementation, and verification • of higher-order effectful programs. Talks ... | ||
COMPUTER SCIENCE PROGRAMMING LANGUAGES SIGPLAN | ||
|
||
When: Oct 10, 2022 - Oct 12, 2022 Submission Deadline: May 15, 2022 | ||
The 28th International Workshop on Cellular Automata and Discrete Complex Systems will take place on October 10-12 at the Indian Institute of Technology Kharagpur, India • AUTOMATA 2022 is the ... | ||
COMPUTER SCIENCE MACHINE LEARNING 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 | ||
WLPP 2022 : 9th WORKSHOP ON LANGUAGE BASED PARALLEL PROGRAMMINGGdansk , Poland |
||
When: Sep 11, 2022 - Sep 14, 2022 Submission Deadline: May 6, 2022 | ||
WLPP 2022 is a full-day workshop to be held at the PPAM 2022 focusing on high level programming for large-scale parallel systems and multicore processors, with special emphasis on component architect... | ||
PARALLEL PROGRAMMING PARALLEL COMPUTING HPC | ||
|
||
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: 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: Sep 12, 2022 - Sep 12, 2022 Submission Deadline: Jun 1, 2022 | ||
• Scope and Topics • The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness... | ||
FORMAL METHODS PROGRAMMING LANGUAGES LOGIC SOFTWARE | ||
|
||
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: May 19, 2022 - May 19, 2022 Submission Deadline: Jan 21, 2022 | ||
** Fourth International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT) ** • Co-located with the 44th International Conference on Software Engineerin... | ||
INTERNET-OF-THINGS SOFTWARE ENGINEERING EMBEDDED SYSTEMS PROGRAMMING | ||
|
||
When: Mar 23, 2021 - Mar 26, 2021 Submission Deadline: Dec 22, 2020 | ||
... | ||
STREAM COMPUTING DATA PIPELINES DATA SCIENCE FUNCTIONAL 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: Nov 13, 2020 - Nov 13, 2020 Submission Deadline: Jun 12, 2020 | ||
PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to m... | ||
PROGRAMMING LANGUAGES SECURITY | ||
TyDe 2020 : 5th Workshop on Type-Driven DevelopmentOnline (co-located with ICFP 2020) |
||
When: Aug 23, 2020 - Aug 23, 2020 Submission Deadline: May 19, 2020 | ||
The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together le... | ||
PROGRAMMING LANGUAGES FUNCTIONAL PROGRAMMING GENERIC PROGRAMMING | ||
ISEUP 2020 : Workshop on Intelligence in Spreadsheets and End-User ProgrammingDunedin, New Zealand |
||
When: Aug 10, 2020 - Aug 14, 2020 Submission Deadline: May 08, 2020 | ||
This workshop on Intelligence in Spreadsheets and End-User Programming will provide a venue for exploring issues that arise in designing, developing and evaluating intelligent and inferentia... | ||
ARTIFICIAL INTELLIGENCE MACHINE LEARNING SPREADSHEETS | ||
IWOMP 2020 : 16th International Workshop on OpenMPAustin, TX USA |
||
When: Sep 23, 2020 - Sep 25, 2020 Submission Deadline: Apr 24, 2020 | ||
As computing hardware has evolved from simple core reproduction to advanced SIMD units, deeper memories, and heterogeneous computing, OpenMP has also evolved and extended its application interface to ... | ||
HIGH PERFORMANCE COMPUTING PROGRAMMING MODELS PARALLEL COMPUTING | ||
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 | ||
Find and Compare Upcoming Programming Workshops. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.