 |
||
| 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: Sep 12, 2022 - Sep 12, 2022 Submission Deadline: Jun 1, 2022 | ||
| • Scope and Topics • The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness... | ||
| FORMAL METHODS PROGRAMMING LANGUAGES LOGIC SOFTWARE | ||
 |
||
| When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 4, 2022 | ||
| The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The Intern... | ||
| PROGRAMMING LANGUAGES DISTRIBUTION AND CONCURRENCY TYPE SYSTEMS VERIFICATION | ||
 |
||
| Submission Deadline: Jan 16, 2021 | ||
| International Journal on Foundations of Computer Science & Technology (IJFCST) is a Bi-monthly peer-reviewed and refereed open access journal that publishes articles which contribute new results ... | ||
| COMPUTER SCIENCE INFORMATION TECHNOLOGY PROGRAMMING LANGUAGES ALGORITHMS | ||
 |
||
| 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 | ||
|
|
||
| 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 | ||
 |
||
| 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 | ||
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 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 res... | ||
| COMPUTER SCIENCE PROGRAMMING LANGUAGES ALGORITHMS TECHNOLOGY | ||
 AMP 2020 : Agility with Microservices ProgrammingCopenhagen, 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 co... | ||
| MICROSERVICES AGILE SOFTWARE ENGINEERING PROGRAMMING LANGUAGES | ||
|
|
||
| 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 • ... | ||
| MACHINE LEARNING AUTOMATIC DIFFERENTIATION PROBABILISTIC PROGRAMMING PROGRAMMING LANGUAGES | ||
|
|
||
| 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 ... | ||
| COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE DATA MINING PROGRAMMING LANGUAGES | ||
|
|
||
| When: Jun 15, 2019 - Aug 30, 2019 Submission Deadline: Aug 30, 2019 | ||
| ... | ||
| PROGRAMMING LANGUAGES SOFTWARE LANGUAGES SOFTWARE ENGINEERING | ||
|
|
||
| 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 ... | ||
| PROGRAMMING LANGUAGES SECURITY | ||
|
|
||
| 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 refere... | ||
| PROGRAMMING LANGUAGES APPLICATIONS EMBEDDED EDUCATIONAL | ||
PPoPP 2019 : 47th ACM SIGPLAN Symposium on Principles of Programming LanguagesNew 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 system... | ||
| PROGRAMMING LANGUAGES | ||
 |
||
| 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 &bu... | ||
| FORMAL METHODS SOFTWARE ENGINEERING MODELING PROGRAMMING LANGUAGES | ||
MPLR 2019 : Managed Programming Languages and Runtimes 2019Athens, 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 programm... | ||
| 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, G... | ||
| PROGRAMMING LANGUAGES FUNCTIONAL PROGRAMMING TYPES GENERIC PROGRAMMING | ||
|
|
||
| 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 thei... | ||
| FORMAL METHODS PROGRAMMING LANGUAGES SOFTWARE ENGINEERING LOGIC | ||
|
|
||
| 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 &bu... | ||
| PROGRAMMING LANGUAGES HIGH PERFORMANCE COMPUTING PARALLEL COMPUTING COMPILERS | ||
ICE 2019 : Interaction and Concurrency ExperienceLyngby, 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/confe... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
 |
||
| When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 3, 2019 | ||
| ... | ||
| THEORY PROGRAMMING LANGUAGES COGNITIVE SYSTEMS REASONING | ||
|
|
||
| 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 a... | ||
| COMPUTER SCIENCE SOFTWARE ENGINEERING CRYPTOGRAPHY PROGRAMMING LANGUAGES | ||
|
|
||
| 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 experiment... | ||
| PROGRAMMING LANGUAGES | ||
 |
||
| 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 ... | ||
| PROGRAMMING LANGUAGES | ||
Find and Compare Upcoming Programming Languages Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
