![]() |
||
When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 13, 2024 | ||
The 26th International Symposium on • Principles and Practice of Declarative Programming • Part of FM 2024 and co-located with LOPSTR 2024, FACS 2024, FMICS 2024, • and TAP 2024. &... | ||
PROGRAMMING LANGUAGES FUNCTIONAL PROGRAMMING LOGIC PROGRAMMING DECLARATIVE PROGRAMMING | ||
![]() |
||
When: Sep 16, 2024 - Sep 20, 2024 Submission Deadline: Apr 17, 2024 | ||
ECOOP is a conference about programming originally focused on object-orientation, but now including all practical and theoretical investigations of programming languages, systems and environments. EC... | ||
PROGRAMMING LANGUAGES SOFTWARE ENGINEERING | ||
![]() COORDINATION 2024 : 26th International Conference on Coordination Models and LanguagesUniversity of Groningen, The Netherlands |
||
When: May 18, 2024 - May 20, 2024 Submission Deadline: Feb 9, 2024 | ||
Call For Papers • COORDINATION 2024 • 26th International Conference on Coordination Models and Languages • Dates: June 18-20, 2024 • Location: University of Groningen, The Net... | ||
COMPUTER SCIENCE DISTRIBUTED COMPUTING FORMAL METHODS PROGRAMMING LANGUAGES | ||
![]() |
||
When: May 15, 2024 - May 17, 2024 Submission Deadline: Dec 13, 2023 | ||
============================================================================ • Call For Papers • FLOPS 2024: 17th International Symposium on Functional and Logic Programming • =====... | ||
PROGRAMMING LANGUAGES FUNCTIONAL PROGRAMMING LOGIC PROGRAMMING DECLARATIVE PROGRAMMING | ||
![]() |
||
When: Oct 22, 2023 - Oct 27, 2023 Submission Deadline: Aug 2, 2023 | ||
*** The abstract and paper submission deadlines have been extended *** • The new deadlines are: • 2023-07-23: Abstract and submission deadline (research and experience papers) • 202... | ||
VIRTUAL MACHINES PROGRAMMING LANGUAGES LANGUAGE IMPLEMENTATIONS COMPILERS | ||
![]() |
||
When: Feb 17, 2024 - Feb 18, 2024 Submission Deadline: Jan 13, 2024 | ||
8th International Conference on Software Engineering and Applications (SOEA 2024)February 17 ~ 18, 2024, Dubai, UAETopics of interest include, but are not limited to, the followingAdvanced Topics in ... | ||
SOFTWARE ENGINEERING APPLICATIONS PROGRAMMING LANGUAGES NATURAL LANGUAGE | ||
![]() |
||
When: Oct 23, 2023 - Oct 23, 2023 Submission Deadline: Aug 4, 2023 | ||
CALL FOR PAPERS • 12th Workshop on Programming Languages and Operating Systems • (PLOS 2023) • October 23, 2023 • Koblenz, Germany • https://plos-workshop.org/2023/ &bu... | ||
OPERATING SYSTEMS PROGRAMMING LANGUAGES | ||
![]() ESOP 2023 : 32st European Symposium on ProgrammingParis, France |
||
When: Apr 22, 2023 - Apr 27, 2023 Submission Deadline: Oct 13, 2022 | ||
32st European Symposium on Programming • General information • ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of pro... | ||
PROGRAMMING LANGUAGES FORMAL METHODS | ||
![]() |
||
When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: May 15, 2022 | ||
The formal design and verification of Cyber-Physical Systems pose numerous diverse and interesting challenges to both research and engineering communities. Because of their hybrid and distributed nat... | ||
CYBER-PHYSICAL SYSTEMS FORMAL METHODS PROGRAMMING LANGUAGES | ||
![]() LearnAut 2022 : Learning & Automata 2022Paris, France |
||
When: Jul 4, 2022 - Jul 4, 2022 Submission Deadline: Apr 7, 2022 | ||
Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexit... | ||
MACHINE LEARNING FORMAL METHODS COMPLEXITY PROGRAMMING LANGUAGES | ||
![]() |
||
When: Oct 13, 2022 - Oct 14, 2022 Submission Deadline: Jun 3, 2022 | ||
MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium focuses o... | ||
FORMAL METHODS PROGRAMMING LANGUAGES CYBER-PHYSICAL SYSTEMS | ||
![]() HOPE 2022 : ACM SIGPLAN Workshop on Higher-Order Programming with EffectsLjubljana, Slovenia |
||
When: Sep 11, 2022 - Sep 11, 2022 Submission Deadline: Jun 1, 2022 | ||
HOPE is an established informal workshop bringing together researchers • interested in the design, semantics, implementation, and verification • of higher-order effectful programs. Talks ... | ||
COMPUTER SCIENCE PROGRAMMING LANGUAGES SIGPLAN | ||
![]() |
||
When: Sep 14, 2022 - Sep 16, 2022 Submission Deadline: May 20, 2022 | ||
======================================================================== • Call for Papers • MPLR 2022 - 19th International Conference • on Managed Programming Languages & Runtimes ... | ||
PROGRAMMING LANGUAGES COMPILERS INTERPRETERS VIRTUAL MACHINES | ||
![]() |
||
When: Sep 21, 2022 - Sep 23, 2022 Submission Deadline: May 9, 2022 | ||
====================================================================== • LOPSTR 2022: Fist Call for Papers • ====================================================================== •... | ||
PROGRAMMING LANGUAGES COMPUTER SCIENCE | ||
![]() |
||
When: Oct 10, 2022 - Oct 12, 2022 Submission Deadline: May 15, 2022 | ||
The 28th International Workshop on Cellular Automata and Discrete Complex Systems will take place on October 10-12 at the Indian Institute of Technology Kharagpur, India • AUTOMATA 2022 is the ... | ||
COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS PROGRAMMING LANGUAGES | ||
![]() POPL 2023 : 50th Symposium on Principles of Programming LanguagesSan Antonio, Texas, USA (tentative) |
||
When: Jan 15, 2023 - Jan 21, 2023 Submission Deadline: Jul 7, 2022 | ||
# POPL 2023 Call for Papers • PACMPL Issue POPL 2023 seeks contributions on all aspects of programming languages and programming systems, both theoretical and practical. Authors of papers publi... | ||
![]() SLE 2022 : Software Language EngineeringAuckland, New Zealand |
||
When: Dec 5, 2022 - Dec 10, 2022 Submission Deadline: Apr 13, 2022 | ||
Topics of Interest • SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: • - Software Langua... | ||
PROGRAMMING LANGUAGES SOFTWARE ENGINEERING FORMAL METHODS PERFORMANCE | ||
![]() |
||
When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 20, 2022 | ||
2022 Joint Workshop Linearity & TLLA • Haifa, Israel • 31 July - 1 August 2022 • ======================================================== • FIRST Call for Papers • 3rd J... | ||
LOGIC FORMAL METHODS THEORETICAL COMPUTER SCIENCE PROGRAMMING LANGUAGES | ||
![]() SBLP 2022 : XXVI Brazilian Symposium on Programming LanguagesUberlândia, Brazil |
||
When: Oct 3, 2022 - Oct 7, 2022 Submission Deadline: May 22, 2022 | ||
SBLP 2022 • 26th Brazilian Symposium on Programming Languages • SBLP 2022 is the 26th edition of the Brazilian Symposium on Programming Languages. It is promoted by the Brazilian Computer... | ||
PROGRAMMING LANGUAGES FORMAL METHODS BLOCKCHAIN | ||
![]() |
||
When: Sep 28, 2022 - Sep 30, 2022 Submission Deadline: Jun 26, 2022 | ||
Overview and Scope • The 20th edition of the International Conference on Software Engineering and Formal Methods (SEFM'22) will be held Sept. 28 - 30, 2022, with workshops on Sept. 26 and 27 an... | ||
SOFTWARE ENGINEERING FORMAL METHODS PROGRAMMING LANGUAGES CYBER-PHYSICAL SYSTEMS | ||
![]() |
||
When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Apr 8, 2022 | ||
Agility with Microservices Programming: Call for Papers • ======================================================= • Third International Workshop on Agility with Microservices Programming ... | ||
MICROSERVICES AGILE SOFTWARE ENGINEERING PROGRAMMING LANGUAGES | ||
![]() PROLE 2022 : XXI Jornadas sobre Programación y LenguajesSantiago de Compostela (Spain) |
||
When: Sep 5, 2022 - Sep 7, 2022 Submission Deadline: May 15, 2022 | ||
PROLE 2022 • XXI Jornadas sobre Programación y Lenguajes • Santiago de Compostela (Spain), 5-7 de septiembre de 2022 • Parte de las Jornadas SISTEDES 2022 • https://sistedes2... | ||
PROGRAMMING LANGUAGES PROGRAMMING PARADIGMS PROGRAM SPECIFICATION PROGRAM ANALYSIS | ||
![]() |
||
When: Oct 29, 2022 - Oct 30, 2022 Submission Deadline: May 28, 2022 | ||
8th International Conference on Computer Science and Information Technology (CSTY 2022) • October 29 ~ 30, 2022, Vienna, AustriaTopics of interest include, but are not limited to, the following ... | ||
COMPUTER SCIENCE INFORMATION TECHNOLOGY DATA MINING PROGRAMMING LANGUAGES | ||
![]() |
||
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 | ||
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.