All CFPs for "programming languages"
CFPs in the table are ordered by the end date.
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click 
.
Click on a topic to see related CFPs.
CFPs are ordered by the end date.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| CLA 2019 | 14th Workshop on Computational Logic and Applications | Versailles, France | Jun 11, 2019 | Jul 1, 2019 | lambda calculus combinatorics logic programming languages | |
| FTfJP 2019 | 21st Workshop on Formal Techniques for Java-like Programs | London, UK | May 26, 2019 | Jul 15, 2019 | programming languages specification verification synthesis | |
| COP 2019 | 11th International Workshop on Context-oriented Programming | London, UK | Jul 15, 2019 | programming languages software engineering modularity computer science | | |
| PROLE 2019 | XIX Jornadas sobre Programación y Lenguajes | Cáceres, Spain | Apr 7, 2019 | Sep 2, 2019 | programming languages formal methods program semantics programming paradigms | |
| QPLogic2019 | QPLogic - International Workshop on Quantum and Probabilistic Logic | Cottbus, Germany | Jun 24, 2019 | Sep 9, 2019 | theory programming languages cognitive systems reasoning | |
| SAS 2019 | 26th International Static Analysis Symposium | Porto, Portugal | Apr 18, 2019 | Oct 9, 2019 | static analysis programming languages formal methods | |
| FACS 2019 | 16th International Conference on Formal Aspects of Component Software | Amsterdam, Netherlands | Jul 12, 2019 | Oct 23, 2019 | formal methods software engineering modeling programming languages | |
| PLAS 2019 | ACM SIGSAC 14th Workshop on Programming Languages and Analysis for Security | London, UK | Jul 19, 2019 | Nov 15, 2019 | programming languages security | |
| ICECCO 2019 | 15th International Conference on Electronics Computer and Computation | Abuja, Nigeria | Oct 10, 2019 | Dec 10, 2019 | computer vision artificial intelligence/machine learning programming languages mechatronic/robotics and embedded systems | |