 |
||
| Submission Deadline: Jun 7, 2024 | ||
| Call for Papers • Science of Computer Programming special issue on • Advances in Formal Methods for Autonomous Systems • This special issue provides an opportunity for researchers a... | ||
| SPECIAL ISSUE AUTONOMOUS SYSTEMS FORMAL METHODS | ||
 |
||
| When: Jan 1, 2025 - Jan 30, 2025 Submission Deadline: Jun 1, 2024 | ||
| The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers, and operating systems for general-purpose, embedded, and cyber-physical system... | ||
| COMPUTER ARCHITECTURE PROGRAMMING MODELS COMPILERS OPERATING SYSTEMS | ||
 |
||
| When: Jun 27, 2024 - Jun 28, 2024 Submission Deadline: Apr 26, 2024 | ||
| -------------------------------------------------------------------- • ICPEC: 5th International Computer Programming Education Conference • https://icpeconf.org/ • Iscte - Instituto... | ||
| COMPUTER PROGRAMMING EDUCATION SOFTWARE ENG EDUCATION | ||
 |
||
| When: Jun 27, 2024 - Jun 29, 2024 Submission Deadline: Jan 10, 2024 | ||
| Topics of interest for submission include but are not limited to: • Software Engineering • Programming languages • List of programming languages • Scripting • Ada &bull... | ||
| SOFTWARE ENGINEERING COMPUTER SCIENCE PROGRAMMING ENGINEERING | ||
|
|
||
| When: Jun 3, 2024 - Jun 7, 2024 Submission Deadline: Mar 1, 2024 | ||
| ************************************************ • HPDC 2024: PhD Symposium call for papers • Date: 3-7 June 2024 • Location: Pisa, Italy • Web: https://www.hpdc.org/2024/call... | ||
| PARALLEL COMPUTING PARALLEL PROGRAMMING DISTRIBUTED SYSTEMS CLOUD COMPUTING | ||
|
|
||
| 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: 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 | ||
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 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 | ||
 |
||
| 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: 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: 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 | ||
ICE 2020 : 13th Interaction and Concurrency ExperienceUniversity of Malta, Valletta |
||
| When: Jun 19, 2020 - Jun 20, 2020 Submission Deadline: Apr 22, 2020 | ||
| Interaction and Concurrency Experiences (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
 |
||
| When: Jun 02, 2020 - Jun 05, 2020 Submission Deadline: Mar 20, 2020 | ||
| The JFPC (Francophone Days of Programming by Constraints) are the main congress of the French-speaking community working on the problems of satisfaction of constraints (CSP), the problem of the satisf... | ||
| COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE OPTIMIZATION CONSTRAINT SATISFACTION | ||
|
|
||
| When: Jun 15, 2020 - Jun 19, 2020 Submission Deadline: Dec 05, 2019 | ||
| The 18th ACM International Conference on Mobile Systems, Applications, and Services. ACM MobiSys 2020 seeks to present innovative and significant research on the design, implementation, usage, and eva... | ||
| HUMAN COMPUTER INTERACTION NETWORKS COMMUNICATIONS SOFTWARE ENGINEERING PROGRAMMING | ||
PLDI 2020 : Programming Language Design and ImplementationLondon, United Kingdom |
||
| When: Jun 15, 2020 - Jun 20, 2020 Submission Deadline: Nov 22, 2019 | ||
| PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. PLDI seeks outstanding research that extends and/... | ||
| COMPUTER SCIENCE SOFTWARE ENGINEERING PROGRAMMING | ||
 |
||
| When: Jun 27, 2020 - Jun 28, 2020 Submission Deadline: Jan 26, 2020 | ||
| 8th International Conference on Foundations of Computer Science & Technology (FCST 2020) will act as a major forum for the presentation of innovative ideas, approaches, developments, and res... | ||
| COMPUTER SCIENCE PROGRAMMING LANGUAGES ALGORITHMS TECHNOLOGY | ||
 AMP 2020 : Agility with Microservices ProgrammingCopenhagen, Denmark |
||
| When: Jun 08, 2020 - Jun 08, 2020 Submission Deadline: Mar 17, 2020 | ||
| Agile architecture does not necessarily emerge from the use of agile development practices, it needs to be deliberately sought after. This often means creating systems as sets of small, independent co... | ||
| MICROSERVICES AGILE SOFTWARE ENGINEERING PROGRAMMING LANGUAGES | ||
|
|
||
| When: Jun 8, 2020 - Jun 10, 2020 Submission Deadline: Nov 29, 2019 | ||
| The IPCO conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization. The aim is to present recent developments in theory, ... | ||
| INTEGER PROGRAMMING COMBINATORIAL OPTIMIZATION | ||
|
|
||
| When: Jun 15, 2019 - Aug 30, 2019 Submission Deadline: Aug 30, 2019 | ||
| ... | ||
| PROGRAMMING LANGUAGES SOFTWARE LANGUAGES SOFTWARE ENGINEERING | ||
 |
||
| When: Oct 21, 2019 - Oct 22, 2019 Submission Deadline: Jun 28, 2019 | ||
| EDIT: Deadlines extended by 1 week. • The ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences is a programming languages conference focusing on techniques an... | ||
| GENERATIVE PROGRAMMING PROGRAM GENERATION DOMAIN-SPECIFIC LANGUAGES | ||
 |
||
| When: Jun 7, 2019 - Jun 7, 2019 Submission Deadline: Apr 14, 2019 | ||
| Conference for Kotliners is a conference for everything Kotlin. Our speakers are experts, who will talk about the present and future of the Kotlin ecosystem. Conference for Kotliners will take place i... | ||
| KOTLIN NATIVE FUNCTIONAL PROGRAMMING GRADLE KOTLIN DSL KOTLIN JS | ||
|
|
||
| When: Jan 20, 2020 - Jan 22, 2020 Submission Deadline: Jun 1, 2019 | ||
| The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems. • The 15th... | ||
| COMPUTER ARCHITECTURE PROGRAMMING MODEL COMPILER OPERATING SYSTEM | ||
|
|
||
| When: Jul 19, 2019 - Jul 19, 2019 Submission Deadline: Jun 3, 2019 | ||
| The landscape of computation platforms has changed dramatically in recent years. Emerging systems—such as wearable devices, smartphones, unmanned aerial vehicles, Internet of things, cloud computing... | ||
| CODE QUALITY PLATFORMS QUALITY OF SERVICE EMPIRICAL STUDIES | ||
|
|
||
| When: Jun 22, 2019 - Jun 22, 2019 Submission Deadline: Apr 8, 2019 | ||
| CALL FOR PAPERS • ARRAY 2019 • 6th ACM SIGPLAN International Workshop on • Libraries, Languages and Compilers for Array Programming • co-located with PLDI 2019 at ACM FCRC &bu... | ||
| PROGRAMMING LANGUAGES HIGH PERFORMANCE COMPUTING PARALLEL COMPUTING COMPILERS | ||
ICE 2019 : Interaction and Concurrency ExperienceLyngby, Denmark |
||
| When: Jun 20, 2019 - Jun 21, 2019 Submission Deadline: Apr 29, 2019 | ||
| ICE 2019 • 12th Interaction and Concurrency Experience • June 20-21, 2019, Lyngby, Denmark • Satellite workshop of DisCoTec 2019 • Paper submission: https://easychair.org/confe... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
 |
||
| When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 3, 2019 | ||
| ... | ||
| THEORY PROGRAMMING LANGUAGES COGNITIVE SYSTEMS REASONING | ||
Find and Compare Upcoming Programming Events in June. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
