 |
||
| 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: 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: Jul 24, 2024 - Jul 26, 2024 Submission Deadline: Apr 15, 2024 | ||
| The 4th edition of the International Conference on Optimization, Learning Algorithms and Applications (OL2A 2024) will provide a forum where academic scientists, researchers and research scholars wil... | ||
| OPTIMIZATION MACHINE LEARNING STOCHASTIC PROGRAMMING MULTI-OBJECTIVE OPTIMIZATION | ||
 |
||
| 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: Aug 21, 2024 - Aug 24, 2024 Submission Deadline: Mar 15, 2024 | ||
| Call for Papers: SAT 2024 • ========================== • SAT 2024 is the 27th edition of the International Conference on Theory and Applications of Satisfiability Testing (SAT). The scope... | ||
| FORMAL METHOD LOGIC SATISFIABILITY CONSTRAINT PROGRAMMING | ||
 |
||
| When: Sep 16, 2024 - Sep 20, 2024 Submission Deadline: Apr 17, 2024 | ||
| ECOOP is a conference about programming originally focused on object-orientation, but now including all practical and theoretical investigations of programming languages, systems and environments. EC... | ||
| PROGRAMMING LANGUAGES SOFTWARE ENGINEERING | ||
 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 | ||
|
|
||
| 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 | ||
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 | ||
|
|
||
| When: Feb 17, 2024 - Feb 18, 2024 Submission Deadline: Jan 13, 2024 | ||
| 8th International Conference on Software Engineering and Applications (SOEA 2024)February 17 ~ 18, 2024, Dubai, UAETopics of interest include, but are not limited to, the followingAdvanced Topics in ... | ||
| SOFTWARE ENGINEERING APPLICATIONS PROGRAMMING LANGUAGES NATURAL LANGUAGE | ||
DNA 2022 : 28th International Conference on DNA Computing and Molecular ProgrammingAlbuquerque, NM, USA |
||
| When: Aug 8, 2022 - Aug 12, 2022 Submission Deadline: Apr 24, 2022 | ||
| Scope • Research in DNA computing and molecular programming draws together mathematics, computer science, physics, chemistry, biology, and nanotechnology to address the analysis, design, and sy... | ||
| ALGORITHMS MOLECULAR COMPUTATION SELF-ASSEMBLY DNA | ||
 |
||
| 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 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 | ||
|
|
||
| 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: 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: 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: Aug 30, 2021 - Sep 03, 2021 Submission Deadline: Nov 20, 2020 | ||
| 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 | ||
 VMCAI 2021 : Verification, Model Checking and Abstract InterpretationCopenhagen, Denmark |
||
| When: Jan 17, 2021 - Jan 22, 2021 Submission Deadline: Oct 05, 2020 | ||
| VMCAI 2021 is the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held on January 17-19, 2021, in Copenhagen, Denmark, as a physical,... | ||
| SOFTWARE ENGINEERING PROGRAMMING ABSTRACT INTERPRETATION | ||
 |
||
| When: Jan 20, 2021 - Jan 22, 2021 Submission Deadline: Aug 28, 2020 | ||
| High performance computing is a key technology to solve large problems in science, engineering, and business by utilizing computing power which has been evolving to the future. HPCAsia, which is an in... | ||
| APPLICATIONS AND ALGORITHMS PROGRAMMING MODELS AND SYSTEMS | ||
|
|
||
| When: Nov 04, 2020 - Nov 06, 2020 Submission Deadline: Aug 12, 2020 | ||
| The 17th International Conference on Managed Programming Languages & Runtimes (MPLR'20) is a premier forum for presenting and discussing innovations and breakthroughs in the area of mana... | ||
| COMPILERS VIRTUAL MACHINES | ||
|
|
||
| When: Sep 13, 2020 - Sep 18, 2020 Submission Deadline: Apr 20, 2020 | ||
| Biomolecular computing is an interdisciplinary field that draws together molecular biology, physics, chemistry, computer science and mathematics. Our knowledge of biomolecular computing and the closel... | ||
| ALGORITHMS BIOINFORMATICS DNA MOLECULAR COMPUTATION | ||
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: Jul 08, 2020 - Jul 12, 2020 Submission Deadline: Feb 12, 2020 | ||
| The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for T... | ||
| SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
Find and Compare Upcoming Programming Conferences. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
