|
||
When: Oct 11, 2024 - Oct 17, 2024 Submission Deadline: May 6, 2024 | ||
SCOPE • Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of log... | ||
LOGIC PROGRAMMING | ||
|
||
When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 13, 2024 | ||
The 26th International Symposium on • Principles and Practice of Declarative Programming • Part of FM 2024 and co-located with LOPSTR 2024, FACS 2024, FMICS 2024, • and TAP 2024. &... | ||
PROGRAMMING LANGUAGES FUNCTIONAL PROGRAMMING LOGIC PROGRAMMING DECLARATIVE PROGRAMMING | ||
|
||
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 | ||
COORDINATION 2024 : 26th International Conference on Coordination Models and LanguagesUniversity of Groningen, The Netherlands |
||
When: May 18, 2024 - May 20, 2024 Submission Deadline: Feb 9, 2024 | ||
Call For Papers • COORDINATION 2024 • 26th International Conference on Coordination Models and Languages • Dates: June 18-20, 2024 • Location: University of Groningen, The Net... | ||
COMPUTER SCIENCE DISTRIBUTED COMPUTING FORMAL METHODS PROGRAMMING LANGUAGES | ||
HPCDays 2024 : HPC Days 2024Durham |
||
When: May 6, 2024 - May 10, 2024 Submission Deadline: Feb 5, 2024 | ||
=============================================================== • Call for presentations • HPC Days 2024 • Durham, 6 May – 10 May 2024 • ====================================... | ||
HPC EXASCALE GREEN COMPUTING PERFORMANCE PROGRAMMING | ||
|
||
When: May 28, 2024 - May 31, 2024 Submission Deadline: Dec 4, 2024 | ||
The 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research will be held in Uppsala, Sweden, from May 28 to May 31, 2024. Full inf... | ||
COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE OPERATIONS RESEARCH CONSTRAINT PROGRAMMING | ||
|
||
When: May 15, 2024 - May 17, 2024 Submission Deadline: Dec 13, 2023 | ||
============================================================================ • Call For Papers • FLOPS 2024: 17th International Symposium on Functional and Logic Programming • =====... | ||
PROGRAMMING LANGUAGES FUNCTIONAL PROGRAMMING LOGIC PROGRAMMING DECLARATIVE PROGRAMMING | ||
EuroGP 2024 : EuroGP 24 - the 27th European Conference on Genetic ProgrammingAberystwyth, Wales, UK |
||
When: Apr 3, 2024 - May 5, 2024 Submission Deadline: Nov 15, 2023 | ||
********************************************************************************* • Last Call for Papers (Extended Submission Deadline): • EuroGP 24 - the 27th European Conference on Gene... | ||
EVOLUTIONARY COMPUTATION GENETIC PROGRAMMING | ||
|
||
When: Sep 11, 2023 - Sep 15, 2023 Submission Deadline: May 10, 2023 | ||
Papers and presentations are sought in all areas that relate to biomolecular computing, including, but not restricted to: algorithms and models for computation on biomolecular systems; computational ... | ||
ALGORITHMS DNA COMPUTING MOLECULAR COMPUTING BIOMOLECULAR | ||
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 | ||
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 | ||
|
||
Submission Deadline: May 31, 2023 | ||
SPECIAL ISSUE on Emerging Trends and Recent Advances in Communication Networks Security • JOURNAL Open Computer Science • https://www.degruyter.com/journal/key/comp/html#editorial •... | ||
COMPUTER SCIENCE CRYPTOGRAPHY CYBERSECURITY 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 | ||
EuroMPI/USA 2022 : EuroMPI/USA 2022Chattanooga, Tennessee, USA |
||
When: Sep 20, 2022 - Sep 22, 2022 Submission Deadline: May 23, 2022 | ||
EuroMPI/USA 2022 will be hosted by the University of Tennessee at • Chattanooga and will be co-located with IWOMP 2022 (September 21-23, • 2022), with joint tutorials, and opportunities t... | ||
HIGH PERFORMANCE COMPUTING MESSAGE PASSING INTERFACE HYBRID PROGRAMMING HETEROGENEOUS SYSTEMS | ||
|
||
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 | ||
|
||
When: Sep 14, 2022 - Sep 16, 2022 Submission Deadline: May 20, 2022 | ||
======================================================================== • Call for Papers • MPLR 2022 - 19th International Conference • on Managed Programming Languages & Runtimes ... | ||
PROGRAMMING LANGUAGES COMPILERS INTERPRETERS VIRTUAL MACHINES | ||
|
||
When: Sep 21, 2022 - Sep 23, 2022 Submission Deadline: May 9, 2022 | ||
====================================================================== • LOPSTR 2022: Fist Call for Papers • ====================================================================== •... | ||
PROGRAMMING LANGUAGES COMPUTER SCIENCE | ||
|
||
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 | ||
SBLP 2022 : XXVI Brazilian Symposium on Programming LanguagesUberlândia, Brazil |
||
When: Oct 3, 2022 - Oct 7, 2022 Submission Deadline: May 22, 2022 | ||
SBLP 2022 • 26th Brazilian Symposium on Programming Languages • SBLP 2022 is the 26th edition of the Brazilian Symposium on Programming Languages. It is promoted by the Brazilian Computer... | ||
PROGRAMMING LANGUAGES FORMAL METHODS BLOCKCHAIN | ||
PROLE 2022 : XXI Jornadas sobre Programación y LenguajesSantiago de Compostela (Spain) |
||
When: Sep 5, 2022 - Sep 7, 2022 Submission Deadline: May 15, 2022 | ||
PROLE 2022 • XXI Jornadas sobre Programación y Lenguajes • Santiago de Compostela (Spain), 5-7 de septiembre de 2022 • Parte de las Jornadas SISTEDES 2022 • https://sistedes2... | ||
PROGRAMMING LANGUAGES PROGRAMMING PARADIGMS PROGRAM SPECIFICATION PROGRAM ANALYSIS | ||
|
||
When: Oct 29, 2022 - Oct 30, 2022 Submission Deadline: May 28, 2022 | ||
8th International Conference on Computer Science and Information Technology (CSTY 2022) • October 29 ~ 30, 2022, Vienna, AustriaTopics of interest include, but are not limited to, the following ... | ||
COMPUTER SCIENCE INFORMATION TECHNOLOGY DATA MINING PROGRAMMING LANGUAGES | ||
|
||
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: May 30, 2022 - May 30, 2022 Submission Deadline: Feb 11, 2022 | ||
HIPS 2022 Workshop • 27th International Workshop on High-Level Parallel Programming Models and Supportive Environments • Held in conjunction with IPDPS 2022, Lyon, France • ********... | ||
COMPUTER SCIENCE | ||
|
||
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: May 17, 2020 - May 21, 2020 Submission Deadline: Oct 12, 2020 | ||
IPDPS 2021 will be held in Portland, Oregon, which sits on the Columbia and Willamette rivers in the shadow of snow-capped Mount Hood and is known for its parks, bridges and bicycle paths, as well as ... | ||
ALGORITHMS ARCHITECTURE PROGRAMMING MODELS COMPILERS | ||
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 | ||
Find and Compare Upcoming Programming Events in May. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.