 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 | ||
 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 | ||
 |
||
| When: Oct 13, 2022 - Oct 14, 2022 Submission Deadline: Jun 3, 2022 | ||
| MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium focuses o... | ||
| FORMAL METHODS PROGRAMMING LANGUAGES CYBER-PHYSICAL 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 | ||
 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: 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 | ||
 |
||
| 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 | ||
|
|
||
| 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 | ||
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 | ||
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.
