Explore >> Select a destination
|
You are here 
|
icfp19.sigplan.org | ||
| | | | |
popl20.sigplan.org
|
|
| | | | | What is PLMW? The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they ... | |
| | | | |
icfp20.sigplan.org
|
|
| | | | | PACMPL (ICFP) seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from practice to theory, including its peripheries. Authors of papers published in this issue of PACMPL will present their work at ICFP in Jersey City, providing an opportunity for researchers and developers to hear about the latest work in functional programming. PACMPL Volume 4, Issue ICFP, August 2020 is now available Gold Open Access from the ACM Digi... | |
| | | | |
popl18.sigplan.org
|
|
| | | | | OBT 2018 will be held on Saturday, January 13th. Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop's goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increa ... | |
| | | | |
popl18.sigplan.org
|
|
| | | POPL 2018 TutorialFest will be on Monday, 8 January 2018. This year POPL TutorialFest will consist of 8 tutorials (4 in the morning and 4 in the afternoon) of 3 hours each. Morning Session Message-Passing Concurrency and Substructural Logics. Slides - Live-coded examples - as a zip file. Frank Pfenning, Carnegie Mellon University. Code Obfuscation - a Hacking view on program analysis and understanding. Slides. Roberto Giacobazzi, University of Verona and IMDEA SW Institute. Equational reasoning for probabilistic programming. Handout. Chung-chieh Shan, Indiana University. Programming and ... | ||
