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



PROGRAMMING LANGUAGES EVENTS

Filter: Programming Languages

Country



Categories



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  
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  
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  
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  
CSEN 2019 : 6th International Conference on Computer Science and Engineering
Chennai, India
When: Dec 14, 2019 - Dec 15, 2019 Submission Deadline: Aug 31, 2019
6th International Conference on Computer Science and Engineering (CSEN 2019) December 14~15, 2019, Chennai, India Scope & Topics 6th International Conference on Computer Science and Engineering (CSEN 2019)will provide an excellent international forum for sharing knowledge and results in theory, meth...
COMPUTER SCIENCE   ARTIFICIAL INTELLIGENCE   DATA MINING   PROGRAMMING LANGUAGES  
EAPLS-PHD 2019 : EAPLS Best Dissertation Award 2018: Call for Nominations
N/A
When: Jun 15, 2019 - Aug 30, 2019 Submission Deadline: Aug 30, 2019
...
PROGRAMMING LANGUAGES   SOFTWARE LANGUAGES   SOFTWARE ENGINEERING  
PLAS 2019 : ACM SIGSAC 14th Workshop on Programming Languages and Analysis for Security
London, UK
When: Nov 15, 2019 - Nov 15, 2019 Submission Deadline: Jul 19, 2019
ACM SIGSAC 14th Workshop on Programming Languages and Analysis for Security (PLAS 2019) • ---------------------------------------------------------------------------------------- • Friday November 15, 2019 - London, UK (Co-located with ACM CCS 2019) • http://2019.plas.ws/ • P...
PROGRAMMING LANGUAGES   SECURITY  
IJPLA 2019 : International Journal of Programming Languages and Applications
N/A
Submission Deadline: Aug 31, 2019
International Journal of Programming Languages and Applications (IJPLA) Call for Papers 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 Prog...
PROGRAMMING LANGUAGES   APPLICATIONS   EMBEDDED   EDUCATIONAL  
PPoPP 2019 : 47th ACM SIGPLAN Symposium on Principles of Programming Languages
New Orleans, Louisiana, United States
When: Jan 19, 2020 - Jan 25, 2020 Submission Deadline: Oct 21, 2019
POPL 2020 Call for Papers • Scope • The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to...
PROGRAMMING LANGUAGES  
FACS 2019 : Formal Aspects of Component Software Conference Series : Formal Aspects of Component Software  
Amsterdam
When: Oct 23, 2019 - Oct 25, 2019 Submission Deadline: Jul 12, 2019
** • ** Call for Papers: FACS 2019 • ** • ** 16th International Conference on • ** Formal Aspects of Component Software • ** • ** 23-25 October 2019, Amsterdam • ** • ** http://facs2019.org • ** • ## NEWS • * Deadline extension -- abs...
FORMAL METHODS   SOFTWARE ENGINEERING   MODELING   PROGRAMMING LANGUAGES  
MPLR 2019 : Managed Programming Languages and Runtimes 2019
Athens, Greece
When: Oct 20, 2019 - Oct 25, 2019 Submission Deadline: Jul 8, 2019
The 16th International Conference on Managed Programming Languages & Runtimes (MPLR, formerly ManLang) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important com...
PROGRAMMING LANGUAGES   RUNTIMES   VIRTUAL MACHINES   COMPILERS  
TyDe 2019 : 4th Workshop on Type-Driven Development (TyDe 2019)
Berlin, Germany
When: Aug 18, 2019 - Aug 18, 2019 Submission Deadline: May 19, 2019
-------------------------------------------------------------------------------- • CALL FOR PAPERS • 4th Workshop on Type-Driven Development (TyDe 2019) • 18th August 2019, Berlin, Germany • https://icfp19.sigplan.org/home/tyde-2019 • -----------------------------------...
PROGRAMMING LANGUAGES   FUNCTIONAL PROGRAMMING   TYPES   GENERIC PROGRAMMING  
FTfJP 2019 : 21st Workshop on Formal Techniques for Java-like Programs
London
When: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Apr 21, 2019
Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but a...
FORMAL METHODS   PROGRAMMING LANGUAGES   SOFTWARE ENGINEERING   LOGIC  
ARRAY 2019 : International Workshop on Libraries, Languages and Compilers for Array Programming
Phoenix, Arizona
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 • 22nd June 2019, Phoenix, Arizona • https://pldi19.sigplan.org/ • ABOUT • Array...
PROGRAMMING LANGUAGES   HIGH PERFORMANCE COMPUTING   PARALLEL COMPUTING   COMPILERS  
ICE 2019 : Interaction and Concurrency Experience
Lyngby, 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/conferences/?conf=ice20190 • === Highlights === • - Distinctive selection procedure involving...
COMPUTER SCIENCE   CONCURRENCY   FORMAL METHODS   PROGRAMMING LANGUAGES  
QPLogic 2019 : QPLogic - International Workshop on Quantum and Probabilistic Logic
Cottbus, Germany
When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 3, 2019
...
THEORY   PROGRAMMING LANGUAGES   COGNITIVE SYSTEMS   REASONING  
CAIJ 2019 : Computer Applications: An International Journal
N/A
Submission Deadline: Sep 7, 2019
Computer Applications: An International Journal (CAIJ) Scope and Topics Computer Applications: An International Journal (CAIJ)  is a Quarterly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Computer Science Applications. The journal ...
COMPUTER SCIENCE   SOFTWARE ENGINEERING   CRYPTOGRAPHY   PROGRAMMING LANGUAGES  
POPL 2020 : ACM SIGPLAN Symposium on Principles of Programming Languages 2020 Conference Series : Symposium on Principles of Programming Languages  
New Orleans, Louisiana, USA
When: Jan 19, 2020 - Jan 25, 2020 Submission Deadline: Jul 10, 2019
Scope • The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submi...
PROGRAMMING LANGUAGES  
OOPSLA 2019 : SPLASH 2019 OOPSLA Conference Series : Conference on Object-Oriented Programming Systems, Languages, and Applications  
Athens, Greece
When: Oct 20, 2019 - Oct 25, 2019 Submission Deadline: Apr 5, 2019
PACMPL (OOPSLA) seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL will present their work at OOPSLA in Athens. • Papers may target any stage of software development, including requirements, modeling, prototyping, design,...
PROGRAMMING LANGUAGES  
ICFP 2019 : International Conference on Functional Programming Conference Series : International Conference on Functional Programming  
Berlin, Germany 18 - Fri 23 August 2019
When: Aug 18, 2019 - Aug 23, 2019 Submission Deadline: Mar 1, 2019
• PACMPL Volume 3, Issue ICFP 2019 • Call for Papers • accepted papers to be invited for presentation at • The 24th ACM SIGPLAN International Conference on Functional Programming • Berlin, Germany • http://icfp19.sigplan.org/ • ### Important dates • Su...
FUNCTIONAL PROGRAMMING   PROGRAMMING LANGUAGES   TYPE SYSTEMS  
WAPL 2019 : 7th Workshop on Advances in Programming Languages
Leipzig, Germany
When: Sep 1, 2019 - Sep 4, 2019 Submission Deadline: Jun 4, 2019
**************************************************************************************** • CALL FOR POSITION PAPERS • WAPL 2019 • 7th Workshop on Advances in Programming Languages • https://fedcsis.org/2019/wapl • Organized within the framework of FedCSIS, • the F...
PROGRAMMING LANGUAGES   LANGUAGE PROCESSING   GRAMMAR ENGINEERING   COMPUTER SCIENCE  
QAPL 2019 : QAPL 2019 - 16th Workshop on Quantitative Aspects of Programming Languages and Systems
Prague, Czechia
When: Apr 6, 2019 - Apr 7, 2019 Submission Deadline: Feb 10, 2019
Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (for example, probabilities) for the characterisation of the behaviour and for determining the properties of systems. Such quantities play a central role in defining...
COMPUTER SCIENCE   FORMAL METHODS   SEMANTICS   PROGRAMMING LANGUAGES  
MoreVMs 2019 : Workshop on Modern Language Runtimes, Ecosystems, and VMs
Genova
When: Apr 1, 2019 - Apr 2, 2019 Submission Deadline: Jan 11, 2019
...
VIRTUAL MACHINES   COMPILERS   PROGRAMMING LANGUAGES  
ECOOP 2019 : ECOOP 2019 : European Conference on Object-Oriented Programming Conference Series : European Conference on Object-Oriented Programming  
London, United Kingdom
When: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Jan 11, 2019
ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. • This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective ...
PROGRAMMING LANGUAGES  


EVENTS RECENTLY ADDED

PECCS 2020 : 10th International Conference on Pervasive and Parallel Computing, Communication and Sensors
Budapest, Hungary
Nov 04, 2020
WEBIST 2020 : 16th International Conference on Web Information Systems and Technologies
Budapest, Hungary
Nov 03, 2020
EAI ADHIP 2020 : 4th EAI International Conference on Advanced Hybrid Information Processing
Binzhou, People's Republic of China
Sep 26, 2020
KDIR 2020 : 12th International Conference on Knowledge Discovery and Information Retrieval
Budapest, Hungary
Nov 02, 2020
SAS 2020 : Static Analysis Symposium
Chicago, Illinois, United States
Nov 18, 2020
AISA 2020 : The 1st IEEE Services Workshop on Artificial Intelligence and Services Adaption
Beijing, China
Jul 20, 2020
OCL 2020 : 20th International Workshop on OCL and Textual Modeling
Bergen, Norway
Jun 26, 2020
EOMAS 2020 : 16th International Workshop on Enterprise & Organizational Simulation and Modelling
Grenoble, France
Jun 08, 2020
ICFEM 2020 : The 22nd International Conference on Formal Engineering Methods
Singapore
Nov 02, 2020
ESSCA 2020 : Second European Symposium on Serverless Computing and Applications
Copenhagen, Denmark
Jun 12, 2020
Disengaged Employee to Engaged Employee 2020 : How to Transform a Disengaged Employee to Engaged Employee
Online
Mar 02, 2020
Year End Payroll 2020 : Year End Payroll and Business Tax Update
Online
Feb 28, 2020
WIMS 2020 : The 10th International Conference on Web Intelligence, Mining and Semantics
Biarritz, France
Jun 30, 2020
ELECTRONICA 2020 : 11th National Conference with International Participation
Sofia, Bulgaria
May 14, 2020
IEEE SmartIoT 2020 : IEEE International Conference on Smart Internet of Things
Beijing, China
Aug 14, 2020
VLOOKUP 2020 : Going Beyond VLOOKUP to Master Excel Formulas
Online
Feb 28, 2020
AIME 2021 : 18th Conference on Artificial Intelligence in Medicine
Porto, Portugal
Jun 16, 2021
DIALOGO-CONF 2020 : The Virtual International Conference on Psychology, Sociology, Pedagogy, and Religious Issues Modern Man faces
http://www.dialogo-conf.com/
May 19, 2020
ICE 2020 : 13th Interaction and Concurrency Experience
University of Malta, Valletta
Jun 19, 2020
FMICS 2020 : 25th International Conference on Formal Methods for Industrial Critical Systems
Vienna, Austria
Sep 02, 2020