 |
||
| 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: 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 | ||
 |
||
| 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 | ||
 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: 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 | ||
 |
||
| 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 | ||
|
|
||
| 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 | ||
 |
||
| 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 | ||
|
|
||
| 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: 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: 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 | ||
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 | ||
 |
||
| When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 3, 2019 | ||
| ... | ||
| THEORY PROGRAMMING LANGUAGES COGNITIVE SYSTEMS REASONING | ||
 WAPL 2019 : 7th Workshop on Advances in Programming LanguagesLeipzig, 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 &... | ||
| PROGRAMMING LANGUAGES LANGUAGE PROCESSING GRAMMAR ENGINEERING COMPUTER SCIENCE | ||
|
|
||
| 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 beha... | ||
| COMPUTER SCIENCE FORMAL METHODS SEMANTICS PROGRAMMING LANGUAGES | ||
 |
||
| When: Apr 1, 2019 - Apr 2, 2019 Submission Deadline: Jan 11, 2019 | ||
| ... | ||
| VIRTUAL MACHINES COMPILERS PROGRAMMING LANGUAGES | ||
Find and Compare Upcoming Programming Languages Workshops. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
