PROGRAMMING LANGUAGES EVENTS
Filter:
programming languages
 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 | ||
 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 | ||
 |
||
| 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 | ||
 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 | ||
 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 | ||
 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 | ||
 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 | ||
|
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 | ||
 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 | ||
 N/A |
||
| When: Jun 15, 2019 - Aug 30, 2019 Submission Deadline: Aug 30, 2019 | ||
| ... | ||
| PROGRAMMING LANGUAGES SOFTWARE LANGUAGES SOFTWARE ENGINEERING | ||
|
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 | ||
|
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 | ||
|
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 | ||
 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 | ||
 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 | ||
|
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 | ||
|
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 | ||
 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 | ||
|
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 | ||
 Cottbus, Germany |
||
| When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 3, 2019 | ||
| ... | ||
| THEORY PROGRAMMING LANGUAGES COGNITIVE SYSTEMS REASONING | ||
|
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 | ||
|
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 | ||
 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 | ||
|
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 | ||
 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 | ||
|
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 | ||
|
Genova |
||
| When: Apr 1, 2019 - Apr 2, 2019 Submission Deadline: Jan 11, 2019 | ||
| ... | ||
| VIRTUAL MACHINES COMPILERS PROGRAMMING LANGUAGES | ||
|
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 | ||
Event Type
EVENTS RECENTLY ADDED |
|
|
|
ICCCP 2021 : 11th International Conference on Chemistry and Chemical Process
Tokyo, Japan Feb 25, 2021 |
|
ICCBS 2021 : 8th International Conference on Chemical and Biological Sciences
Tokyo, Japan Feb 25, 2021 |
|
ICIIT 2021 : 6th International Conference on Intelligent Information Technology
Ho Chi Minh, Vietnam Feb 25, 2021 |
|
|
|
|
|
ICIGP 2021 : The 4th International Conference on Image and Graphics Processing
Sanya, China Jan 01, 2021 |
 H2RC 2020 : Sixth International Workshop on Heterogeneous High-performance Reconfigurable Computing
Atlanta, Georgia, USA Nov 15, 2020 |
|
|
|
|
|
|
|
|
|
ASPOCP 2020 : 13th Workshop on Answer Set Programming and Other Computing Paradigms
https://sites.google.com/site/aspocp2020 Sep 17, 2020 |
 UCC 2020 : 13th IEEE/ACM International Conference on Utility and Cloud Computing
Leicester, UK Dec 07, 2020 |
 |
 |
 LegalAI 2020 : The Fourth Annual Workshop on Applications of Artificial Intelligence in the Legal Industry
Virtual Dec 10, 2020 |
 RSDA 2020 : The 5th IEEE International Workshop on Reliability and Security Data Analysis
Coimbra, Portugal (Virtual workshop) Oct 12, 2020 |
 EMSA 2020 : 9th International Conference on Embedded Systems and Applications
London, United Kingdom Jul 25, 2020 |
|
WEESR 2020 : Third Workshop on Experiences and Empirical Studies on Software Reuse
online Oct 19, 2020 |