|
||
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 | ||
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 | ||
CGO 2021 : International Symposium on Code Generation and OptimizationSeoul, South Korea |
||
When: Feb 27, 2021 - Feb 27, 2021 Submission Deadline: Sep 01, 2020 | ||
The International Symposium on Code Generation and Optimization (CGO) is a premier venue to bring together researchers and practitioners working at the interface of hardware and software on a wide ran... | ||
COMPUTATIONAL THEORY MATHEMATICS SOFTWARE ENGINEERING PROGRAMMING | ||
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: Jan 18, 2021 - Jan 19, 2021 Submission Deadline: Oct 09, 2020 | ||
The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages.These languages h... | ||
FUNCTIONAL PROGRAMMING LOGIC PROGRAMMING CONSTRAINT PROGRAMMING DECLARATIVE PROGRAMMING | ||
|
||
When: Sep 02, 2020 - Sep 04, 2020 Submission Deadline: Dec 07, 2020 | ||
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2020 will be ... | ||
FUNCTIONAL LANGUAGES FUNCTIONAL PROGRAMMING | ||
|
||
When: Sep 17, 2020 - Sep 18, 2020 Submission Deadline: Jul 13, 2020 | ||
Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was foun... | ||
LOGIC | ||
|
||
When: Nov 15, 2020 - Nov 20, 2020 Submission Deadline: Jul 24, 2020 | ||
A number of publications on middleware and language design – so-called reactive and event-based languages and systems (REBLS) – have already seen the light, but the field still raises seve... | ||
REACTIVE PROGRAMMING REACTIVE SYSTEMS EVENT PROGRAMMING TEMPORAL LOGIC | ||
|
||
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 | ||
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 | ||
|
||
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 | ||
|
||
Submission Deadline: Apr 25, 2020 | ||
International Journal of Programming Languages and Applications (IJPLA) is a Quarterly peer-reviewed and refereed open access journal that publishes articles which contribute new results in all a... | ||
PROGRAMMING LANGUAGES | ||
ISEUP 2020 : Workshop on Intelligence in Spreadsheets and End-User ProgrammingDunedin, New Zealand |
||
When: Aug 10, 2020 - Aug 14, 2020 Submission Deadline: May 08, 2020 | ||
This workshop on Intelligence in Spreadsheets and End-User Programming will provide a venue for exploring issues that arise in designing, developing and evaluating intelligent and inferentia... | ||
ARTIFICIAL INTELLIGENCE MACHINE LEARNING SPREADSHEETS | ||
|
||
When: Sep 01, 2020 - Sep 04, 2020 Submission Deadline: May 01, 2020 | ||
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing is an international conference that aims to stimulate the interaction between the two scientific comm... | ||
NUMERICAL COMPUTATION LOGIC AND PROGRAMMING ARTIFICIAL INTELLIGENCE | ||
|
||
When: Sep 04, 2020 - Sep 04, 2020 Submission Deadline: May 04, 2020 | ||
The DBPL symposium is aimed at improving understanding, and facilitating exchange of ideas, between data management and programming languages research, broadly construed. For over 30 year... | ||
DATABASE PROGRAMMING LANGUAGES | ||
|
||
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 | ||
IWOMP 2020 : 16th International Workshop on OpenMPAustin, TX USA |
||
When: Sep 23, 2020 - Sep 25, 2020 Submission Deadline: Apr 24, 2020 | ||
As computing hardware has evolved from simple core reproduction to advanced SIMD units, deeper memories, and heterogeneous computing, OpenMP has also evolved and extended its application interface to ... | ||
HIGH PERFORMANCE COMPUTING PROGRAMMING MODELS PARALLEL COMPUTING | ||
|
||
When: Sep 08, 2020 - Sep 10, 2020 Submission Deadline: May 15, 2020 | ||
The 22nd International Symposium on Principles and Practice of Declarative Programming will take place 8-10 September 2020 in Bologna, Italy. The PPDP 2020 symposium brings together resea... | ||
REGULAR RESEARCH PAPERS SYSTEM DESCRIPTIONS EXPERIENCE REPORTS | ||
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: 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 | ||
ICSME 2020 : IEEE International Conference on Software Maintenance and EvolutionAdelaide, Australia |
||
When: Sep 28, 2020 - Oct 02, 2020 Submission Deadline: Apr 24, 2020 | ||
The International Conference on Software Maintenance and Evolution (ICSME) is the premier international forum for researchers and practitioners from academia, industry, and government to present,... | ||
SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
ISSTA 2020 : International Symposium on Software Testing and AnalysisLos Angeles, United States |
||
When: Jul 18, 2020 - Jul 22, 2020 Submission Deadline: Jan 27, 2020 | ||
The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, a... | ||
DATABASES INFORMATION SYSTEMS SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
|
||
When: Jul 07, 2020 - Jul 20, 2020 Submission Deadline: Jan 13, 2020 | ||
The annual ICDCS conference is a premier international forum for researchers, developers and users to present, discuss and exchange the cutting edge ideas and latest findings on topics related to any ... | ||
NETWORKS SOFTWARE ENGINEERING PROGRAMMING COMMUNICATIONS COMPUTER SCIENCE | ||
CAV 2020 : International Conference on Computer Aided VerificationLos Angeles, United States |
||
When: Jul 19, 2020 - Jul 24, 2020 Submission Deadline: Jan 28, 2020 | ||
CAV 2020 is the 32nd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference will take place Jul... | ||
SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
Find and Compare Upcoming Programming Events in 2020. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.