/explore
|
You are here 
|
2021.ecoop.org | ||
| | | | |
2020.ecoop.org
|
|
| | | | | ECOOP is Europes 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 pearls, and forward-thinking new idea papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals. | |
| | | | |
homotopytypetheory.org
|
|
| | | | | The 2nd International Conference on Homotopy Type Theory (HoTT 2023)will be held Monday 22nd May - Thursday 25th May 2023at Carnegie Mellon University, Pittsburgh (USA). Abstracts of no more than 2 pages should be submitted via Easychair, see the submissions page for instructions. Submissions open on 3rd February 2023 and close on 3rd March 2023.... | |
| | | | |
2023.splashcon.org
|
|
| | | | | The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. We welcome the community to join us in Lisbon to celebrate humanity at the core of the software development process. We encourage everyone to participate in the many differ... | |
| | | | |
popl23.sigplan.org
|
|
| | | Workshop on Programming Languages and the Law 2023 Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm. The current state of affairs is concerning: in many cases, human-critical systems are implemented using technology that is several decades old, resulti ... | ||
