resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



PROGRAMMING EVENTS

Filter: Programming

Country



Categories



REBLS 2020 : 7th Workshop on Reactive and Event-based Languages & Systems
Chicago, USA
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 several questions. For example, the interaction with mainstream language concepts is poorly understood, ...
REACTIVE PROGRAMMING   REACTIVE SYSTEMS   EVENT PROGRAMMING   TEMPORAL LOGIC  
PLAS 2020 : ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security
Orlando, USA
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 machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ide...
PROGRAMMING LANGUAGES   SECURITY  
TyDe 2020 : 5th Workshop on Type-Driven Development
Online (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 leading researchers and practitioners who are using or exploring types as a means of program developme...
PROGRAMMING LANGUAGES   FUNCTIONAL PROGRAMMING   GENERIC PROGRAMMING  
IJPLA 2020 : International Journal of Programming Languages and Applications
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 areas of the Programming Languages and Applications. This journal is dedicated to the distribution of...
PROGRAMMING LANGUAGES  
SYNASC 2020 : 22th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Timisoara
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 communities of symbolic and numeric computing and to exhibit interesting applications of the areas ...
NUMERICAL COMPUTATION   LOGIC AND PROGRAMMING   ARTIFICIAL INTELLIGENCE  
DBPL 2020 : 18th International Symposium on Database Programming Languages
Tokyo, Japan
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 years, DBPL has established itself as the principal venue for publishing and discussing new id...
DATABASE   PROGRAMMING LANGUAGES  
IWOMP 2020 : 16th International Workshop on OpenMP
Austin, 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 harness new capabilities throughout the spectrum of hardware advances. New features and extensions o...
HIGH PERFORMANCE COMPUTING   PROGRAMMING MODELS   PARALLEL COMPUTING  
ICE 2020 : 13th Interaction and Concurrency Experience
University 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, and programming primitives for complex interactions. The general scope of the venue includes th...
COMPUTER SCIENCE   CONCURRENCY   FORMAL METHODS   PROGRAMMING LANGUAGES  
ICALP 2020 : International Colloquium on Automata, Languages and Programming
Beijing, China
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 Theoretical Computer Science (EATCS), will take place in Beijing (China) on 8 - 12 July 2020. ICALP 2...
SOFTWARE ENGINEERING   PROGRAMMING   COMPUTER SCIENCE  
ICSME 2020 : IEEE International Conference on Software Maintenance and Evolution
Adelaide, 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, discuss, and debate the most recent ideas, experiences, and challenges in software maintenance and ...
SOFTWARE ENGINEERING   PROGRAMMING   COMPUTER SCIENCE  
ISSTA 2020 : International Symposium on Software Testing and Analysis
Los 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, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software...
DATABASES   INFORMATION SYSTEMS   SOFTWARE ENGINEERING   PROGRAMMING   COMPUTER SCIENCE  
ICDCS 2020 : International Conference on Distributed Computing Systems
Singapore
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 aspects of distributed computing systems. We invite you to submit your original contributions to ICD...
NETWORKS   SOFTWARE ENGINEERING   PROGRAMMING   COMMUNICATIONS   COMPUTER SCIENCE  
CAV 2020 : International Conference on Computer Aided Verification
Los 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 July 19-24, 2020 in Los Angeles, California, USA. The conference covers the spectrum from theoretica...
SOFTWARE ENGINEERING   PROGRAMMING   COMPUTER SCIENCE  
TACAS 2020 : International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Dublin, Ireland
When: Apr 25, 2020 - May 01, 2020 Submission Deadline: Oct 24, 2019
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the ut...
SOFTWARE ENGINEERING   PROGRAMMING   COMPUTER SCIENCE  
ASE 2020 : IEEE/ACM International Conference on Automated Software Engineering
Melbourne, Australia
When: Sep 21, 2020 - Sep 25, 2020 Submission Deadline: Apr 24, 2020
Welcome to the website of the ASE 2020 conference. The 35th IEEE/ACM International Conference on Automated Software Engineering. The ASE 2020 conference is the premier research forum for Automated Software Engineering. Each year, it brings together researchers and practitioners from academia and ...
SOFTWARE ENGINEERING   PROGRAMMING   DATABASES   INFORMATION SYSTEMS   COMPUTER SCIENCE  
Mobisys 2020 : Annual International Conference on Mobile Systems, Applications, and Services
Toronto, Canada
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 evaluation of mobile computing and wireless systems, applications, and services. This conference builds...
HUMAN COMPUTER INTERACTION   NETWORKS   COMMUNICATIONS   SOFTWARE ENGINEERING   PROGRAMMING  
UIST 2020 : ACM Symposium on User Interface Software and Technology
Minneapolis, Minnesota, USA
When: Oct 20, 2020 - Oct 23, 2020 Submission Deadline: Apr 01, 2020
The ACM Symposium on User Interface Software and Technology (UIST) is the premier forum for innovations in human-computer interfaces. Sponsored by ACM special interest groups on computer-human interaction (SIGCHI) and computer graphics (SIGGRAPH), UIST brings together people from diverse areas inclu...
HUMAN COMPUTER INTERACTION   SOFTWARE ENGINEERING   PROGRAMMING   GRAPHICS   COMPUTER SCIENCE  
RSS 2020 : Robotics: Science and Systems
Oregon State University at Corvallis, United States
When: Jul 12, 2020 - Jul 17, 2020 Submission Deadline: Jan 31, 2020
The 2020 Robotics: Science and Systems Conference will bring together researchers working on all aspects of robotics including scientific foundations of robotics, robotics applications, and analysis of robotic systems. We seek your best work in all areas of robotics and solicit papers that cover bot...
HARDWARE   ROBOTICS   ELECTRONICS   SOFTWARE ENGINEERING   PROGRAMMING  
DAC 2020 : Design Automation Conference
San Francisco, United States
When: Jul 19, 2020 - Jul 23, 2020 Submission Deadline: Nov 21, 2019
The Design Automation Conference (DAC) is the premier event to showcase cutting-edge research achievements in the design and design automation of electronic circuits and systems. In addition to a broad range of topics within the domains, Design, EDA, Embedded Systems & Software (ESS), Machine Learni...
HARDWARE   ROBOTICS   ELECTRONICS   SIGNAL PROCESSING   SOFTWARE ENGINEERING   PROGRAMMING  
OSDI 2020 : Symposium on Operating Systems Design and Implementation
BANFF, Canada
When: Nov 04, 2020 - Nov 06, 2020 Submission Deadline: May 12, 2020
The 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI '20) will take place November 4–6, 2020, at the Fairmont Banff Springs in Banff, Alberta, Canada. OSDI brings together professionals from academic and industrial backgrounds in what has become a p...
SOFTWARE ENGINEERING   PROGRAMMING   COMPUTER SCIENCE  
FSE 2020 : ACM SIGSOFT International Symposium on Foundations of Software Engineering
Sacramento, California, United States
When: Nov 08, 2020 - Nov 13, 2020 Submission Deadline: Mar 05, 2020
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the...
COMPUTER SCIENCE   SOFTWARE ENGINEERING   PROGRAMMING  
PLDI 2020 : Programming Language Design and Implementation
London, 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/or applies programming-language concepts to advance the field of computing. Novel system designs, th...
COMPUTER SCIENCE   SOFTWARE ENGINEERING   PROGRAMMING  
FCST 2020 : 8th International Conference on Foundations of Computer Science & Technology
Copenhagen, Denmark
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 research projects in the areas of Foundations of Computer Science & Technology. It will also serve to f...
COMPUTER SCIENCE   PROGRAMMING LANGUAGES   ALGORITHMS   TECHNOLOGY  
LPAR 2020 : 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Alicante, Spain
When: May 22, 2020 - May 27, 2020 Submission Deadline: Feb 15, 2020
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their...
ARTIFICIAL INTELLIGENCE   LOGIC PROGRAMMING   COMPUTATIONAL COMPLEXITY   SYSTEMS ENGINEERING  
LCPC 2020 : Languages and Compilers for Parallel Computing
Stony Brook University, NY, USA
When: Oct 14, 2020 - Oct 16, 2020 Submission Deadline: Jul 30, 2020
The 33rd LCPC Workshop will be held on October 14-16, 2020 at Stony Brook University, NY, USA. Since its inception in 1988, the Workshop on Languages and Compilers for Parallel Computing (LCPC) has been a leading venue for cutting-edge research on all aspects of parallel programmin...
COMPUTER SCIENCE   PARALLEL COMPUTING   PROGRAMMING SYSTEMS   COMPILERS  
AMP 2020 : Agility with Microservices Programming
Copenhagen, 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 components that collaborate to provide the desired functionality. Such components are usually loosely-...
MICROSERVICES   AGILE   SOFTWARE ENGINEERING   PROGRAMMING LANGUAGES  
ICLP 2020 : The 36th International Conference on Logic Programming
Rende, Italy
When: Sep 18, 2020 - Sep 24, 2020 Submission Deadline: May 15, 2020
The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th to the 24nd of September 2020 in Rende (CS), Italy, with the main program starting immediately after KR 2020 . It will be hosted by the Department of Mathematics and Computer Science of the Uni...
CONSTRAINT LOGIC PROGRAMMING   OPERATIONS RESEARCH   CONSTRAINT SATISFACTION   LOGIC PROGRAMMING  
CC 2020 : Compiler Construction Conference Series : Compiler Construction
San Diego, CA, USA
When: Feb 22, 2019 - Feb 26, 2019 Submission Deadline: Oct 30, 2019
The ACM SIGPLAN 2020 International Conference on Compiler Construction (CC 2020) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input programs that describe how a system operates, including traditional compiler construction as a special c...
COMPILERS   PROGRAMMING  
program-transformations 2019 : NeurIPS 2019 Workshop on Program Transformations for Machine Learning
Vancouver, Canada
When: Dec 13, 2019 - Dec 14, 2019 Submission Deadline: Sep 16, 2019
CALL FOR PAPERS • Program Transformations for Machine Learning • Workshop at the 33rd Conference on Neural Information Processing Systems (NeurIPS) • December 13 or 14, 2019 • Vancouver Convention Centre, Vancouver, BC, Canada • https://program-transformations.github.io...
MACHINE LEARNING   AUTOMATIC DIFFERENTIATION   PROBABILISTIC PROGRAMMING   PROGRAMMING LANGUAGES  
TFP 2020 : Trends in Functional Programming Conference Series : Trends in Functional Programming  
Krakow, Poland
When: Feb 13, 2020 - Feb 14, 2020 Submission Deadline: Nov 15, 2019
------------------------------------------------------------------------- • First call for papers • 21st Symposium on Trends in Functional Programming • tfp2020.org • ------------------------------------------------------------------------- • The symposium on Trends in ...
COMPUTING SCIENCE   FUNCTIONAL PROGRAMMING   TRENDS  


EVENTS RECENTLY ADDED

RLPMTM 2021 : Applied Sciences special issue Rich Linguistic Processing for Multilingual Text Mining

ICGS3 2021 : VIRTUAL 13th International Conference on Global Security, Safety & Sustainability
Virtual Conference
Jan 14, 2021
CO 2020 : Constitutional Building Fund

HPCS 2020 : The 2020 International Conference on High Performance Computing & Simulation
Barcelona
Oct 26, 2020
Frontiers in Big Data 2020 : Novel Big Data Technologies in Public Health

CloudCom 2020 : The 12th IEEE International Conference on Cloud Computing Technology and Science
Bangkok, Thailand
Dec 14, 2020
ICMTEL 2021 : 3rd EAI International Conference on Multimedia Technology and Enhanced Learning
Leicester, Great Britain
Apr 09, 2021
COMPSE 2020 : 4th EAI International Conference on Computer Science and Engineering in Health Services
N/A, Cyberspace
Nov 26, 2020
APEQS 2020 : 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software
Sacramento
Nov 13, 2020
CSMO 2021 : 5th International Conference on Simulation, Modeling and Optimization
Hangzhou, China
Apr 16, 2021
DMCIT 2021 : 5th International Conference on Data Mining, Communications and Information Technology
Hangzhou, China
Apr 16, 2021
ICRESG 2021 : 6th International Conference on Renewable Energy and Smart Grid
Chongqing, China
Apr 08, 2021
SAASE 2021 : 5th International Symposium on Aviation and Aerospace System Engineering
Beijing, China
May 14, 2021
AMAE 2021 : 5th International Conference on Aeronautical Materials and Aerospace Engineering
Beijing, China
May 14, 2021
ACVR 2020 : 8th International Workshop on Assistive Computer Vision and Robotics
Online
Aug 28, 2020
ACPEE 2021 : 6th Asia Conference on Power and Electrical Engineering
Chongqing, China
Apr 08, 2021
IIOM Conference 2021 : Obsolescence Management- The Key to Sustainability
Munich
May 25, 2021
ICDM 2021 : 21th Industrial Conference on Data Mining
New York, USA
Jul 14, 2021
MDA AI&PR 2021 : 16th International Conference on Mass Data Analysis of Images and Signals in Artificial Intelligence and Pattern Recognition
New York, USA
Jul 11, 2021
MLDM 2021 : 17th International Conference on Machine Learning and Data Mining
New York, USA
Jul 17, 2021