I’m on the program committee and they say they’re looking to broaden their horizons this year to include systems like Stan. The workshop is part of POPL, the big programming language theory conference. Here’s the official link
- PPS 2018 home page
- Call for extended abstracts (2 pages)
The submissions are two-page extended abstracts and the deadline is 17 October 2017; the workshop itself is in Los Angeles on 9 January 2018.
You can also see the program from last year. I would’ve liked to have seen Gordon Plotkin’s talk, but there aren’t even abstracts on line; I see that despite the hype surrounding comp sci, he’s still modestly titling his contributions “Towards …”.
The workshop is the day before StanCon starts in Monterey (up the coast). That’s cutting it too close for me, so I won’t be at the workshop. I do hope to see you at
The PPS 2017 abstracts (or most of them) are online: https://pps2017.soic.indiana.edu/
Plotkin’s abstract is missing, though.