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: Sep 7, 2022 - Sep 9, 2022 Submission Deadline: Apr 14, 2022 | ||
Many scientists, mathematicians, and engineers want to find optimal solutions to their particular problems. Optimization techniques have become important and widely used in industry and science. With... | ||
OPTIMIZATION ENGINEERING DESIGN LINEAR PROGRAMMING MACHINE LEARNING | ||
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 | ||
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 | ||
|
||
When: Sep 28, 2022 - Sep 30, 2022 Submission Deadline: Jun 26, 2022 | ||
Overview and Scope • The 20th edition of the International Conference on Software Engineering and Formal Methods (SEFM'22) will be held Sept. 28 - 30, 2022, with workshops on Sept. 26 and 27 an... | ||
SOFTWARE ENGINEERING FORMAL METHODS PROGRAMMING LANGUAGES CYBER-PHYSICAL SYSTEMS | ||
LION 2022 : Learning and Intelligent OptimizationMilos Island, Cyclades, Greece |
||
When: Jun 5, 2022 - Jun 10, 2022 Submission Deadline: Feb 28, 2022 | ||
LION15 welcomes high quality submissions on the broad topics of machine learning, artificial intelligence, energy, mathematical programming, optimization (models, algorithms and applications) and heu... | ||
MACHINE LEARNING ARTIFICIAL INTELLIGENCE MATHEMATICAL PROGRAMMING OPTIMIZATION | ||
|
||
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 | ||
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: Sep 5, 2022 - Sep 8, 2022 Submission Deadline: Apr 30, 2022 | ||
[Apologies in case of multiple posting] • Call for Papers • --------------------------------------------------------------------------------------------- • 16th International Confer... | ||
LOGIC PROGRAMMING NON-MONOTONIC REASONING KNOWLEDGE REPRESENTATION | ||
|
||
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: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Feb 4, 2022 | ||
=================================================================== • FIRST CALL FOR PAPERS • COORDINATION 2022 • 24th International Conference on Coordination Models and Languages ... | ||
COMPUTER SCIENCE DISTRIBUTED COMPUTING FORMAL METHODS 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: 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 | ||
|
||
Submission Deadline: Jan 16, 2021 | ||
International Journal on Foundations of Computer Science & Technology (IJFCST) is a Bi-monthly peer-reviewed and refereed open access journal that publishes articles which contribute new results ... | ||
COMPUTER SCIENCE INFORMATION TECHNOLOGY PROGRAMMING LANGUAGES ALGORITHMS | ||
|
||
When: Jun 20, 2021 - Jun 25, 2021 Submission Deadline: Nov 20, 2020 | ||
PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI 2021... | ||
PROGRAMMING | ||
|
||
When: Mar 23, 2021 - Mar 26, 2021 Submission Deadline: Dec 22, 2020 | ||
... | ||
STREAM COMPUTING DATA PIPELINES DATA SCIENCE FUNCTIONAL PROGRAMMING | ||
|
||
When: Mar 27, 2021 - Apr 01, 2021 Submission Deadline: Oct 15, 2020 | ||
... | ||
FORMAL METHODS PARALLEL COMPUTING PROGRAMMING VERIFICATION | ||
|
||
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 | ||
|
||
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: Aug 30, 2021 - Sep 03, 2021 Submission Deadline: Jan 29, 2021 | ||
INTERACT is the International Conference promoted by the IFIP Technical Committee 13 on Human–Computer Interaction. INTERACT is held every two years. • The theme of INTERACT 2021 &... | ||
HUMAN COMPUTER INTERACTION SOFTWARE ENGINEERING PROGRAMMING WEB MOBILE MULTIMEDIA TECHNOLOGIES | ||
CISS 2021 : Conference on Information Sciences and SystemsBaltimore, United States |
||
When: Mar 22, 2021 - Mar 24, 2021 Submission Deadline: Dec 07, 2020 | ||
The 55rd Annual Conference on Information Sciences and Systems will be hosted by the Johns Hopkins University Whiting School of Engineering’s Department of Electrical and Computer Engineering an... | ||
DATABASES INFORMATION SYSTEMS WEB MOBILE PROGRAMMING MULTIMEDIA TECHNOLOGIES | ||
|
||
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 | ||
FPGA 2021 : Symposium on Field Programmable Gate ArraysSeaside, United States |
||
When: Feb 28, 2021 - Mar 02, 2021 Submission Deadline: Aug 14, 2020 | ||
The ACM/SIGDA International Symposium on Field-Programmable Gate Arrays is the premier conference for presentation of advances in all areas related to FPGA technology. For FPGA conferences, we solicit... | ||
SOFTWARE ENGINEERING PROGRAMMING HARDWARE ELECTRONICS SIGNAL PROCESSING | ||
Find and Compare Upcoming Programming Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.