/explore
|
You are here 
|
2023.splashcon.org | ||
| | | | |
2021.ecoop.org
|
|
| | | | | ECOOP is Europe's longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, object-oriented technologies, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense. In 2021 we celebrate the 35th ECOOP! ECOOP 2021 is co-located with ISSTA 2021. See the list of accepted papers. | |
| | | | |
2019.splashcon.org
|
|
| | | | | SPLASH is the ACM SIGPLAN 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 languagesat the intersection of programming languages and software engineering. SPLASH 2019 will take place in Athens from Sunday 20th to Friday 25th of October 2019. SPLASH includes the following co-located conferences: OOPSLA, Onward!, GPCE, SLE, DLS, and M... | |
| | | | |
popl21.sigplan.org
|
|
| | | | | POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL. Preprints are also linked from Clowdr. Having trouble getting on Clowdr? DM @poplconf on Twitter or email popl2021team@gmail.com. Online registration is still open. POPL 2021 will take place on January 1722, 2021 as a virtual meeting. Heres How to POPL 2021. Video pre-publication is coming! The POPL 2021 Program is up! POPL 2021 Accepted Papers | |
| | | | |
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 ... | ||
