[TYPES/announce] PPS 2018: Workshop on Probabilistic Programming Languages, Semantics, and Systems 2018

Andy Gordon (RESEARCH) adg at microsoft.com
Tue Oct 10 22:54:33 EDT 2017


Reminder: it’s one week to go to the PPS deadline. Submit a 2-pager on your latest results!

News: Erik Meijer of Facebook has agreed to speak at PPS 2018

Cameron Freer and Andy Gordon, co-chairs

From: Cameron Freer [mailto:cameronfreer at gmail.com]
Sent: 22 September 2017 12:12
To: types-announce at lists.seas.upenn.edu
Cc: Andy Gordon (RESEARCH) <adg at microsoft.com>
Subject: PPS 2018: Workshop on Probabilistic Programming Languages, Semantics, and Systems 2018

Workshop on Probabilistic Programming Languages, Semantics, and Systems (PPS 2018)
Colocated right before POPL (Los Angeles, CA) on January 9, 2018

https://conf.researchr.org/track/POPL-2018/pps-2018<https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fconf.researchr.org%2Ftrack%2FPOPL-2018%2Fpps-2018&data=02%7C01%7Cadg%40microsoft.com%7C6144b793ea904463244a08d501edcecd%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636417043245846099&sdata=b0484eVB7fWxGFJcyDvk47CQcHFKfHVgFE7UC0RiXpc%3D&reserved=0>

Call for Extended Abstracts

Probabilistic programming is the idea of expressing probabilistic models
and inference methods as programs, to ease use and reuse.  The recent
rise of practical implementations as well as research activity in
probabilistic programming has renewed the need for semantics to help us
share insights and innovations.

This workshop aims to bring programming-language and machine-learning
researchers together to advance all aspects of probabilistic programming
languages, semantics, and systems. Topics include but are not limited to:

  * design of probabilistic programming languages;
  * inference algorithms for probabilistic programming languages;
  * semantics (axiomatic, operational, denotational, games, etc) and types
    for probabilistic programming;
  * efficient and correct implementation;
  * and last but not least, applications of probabilistic programming.

For a sense of the talks and posters in past years, see:
  * https://conf.researchr.org/track/POPL-2017/pps-2017<https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fconf.researchr.org%2Ftrack%2FPOPL-2017%2Fpps-2017&data=02%7C01%7Cadg%40microsoft.com%7C6144b793ea904463244a08d501edcecd%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636417043245846099&sdata=oYZc7%2Bvfx%2F0hW4TzrwYkNJoY%2FMWHQpYzkUhYMa4JYuo%3D&reserved=0>
  * https://pps2017.soic.indiana.edu/<https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpps2017.soic.indiana.edu%2F&data=02%7C01%7Cadg%40microsoft.com%7C6144b793ea904463244a08d501edcecd%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636417043245846099&sdata=I4kPZNxsHYP7B194rCXYvIt43d24ZuKGOUZlErLlWDw%3D&reserved=0>
and
  * https://conf.researchr.org/track/POPL-2016/pps-2016<https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fconf.researchr.org%2Ftrack%2FPOPL-2016%2Fpps-2016&data=02%7C01%7Cadg%40microsoft.com%7C6144b793ea904463244a08d501edcecd%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636417043245846099&sdata=c7Atytggh7wovQcVRRITEPB96AXZvMFidSxZMBeZy%2Bc%3D&reserved=0>
  * https://pps2016.soic.indiana.edu/<https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpps2016.soic.indiana.edu%2F&data=02%7C01%7Cadg%40microsoft.com%7C6144b793ea904463244a08d501edcecd%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636417043245846099&sdata=7GRaUHu8XYML3YI%2FvgIDNNfk1%2BFbuGWXPgod%2FjDGvU8%3D&reserved=0>

In the tradition of the previous meetings, we anticipate that work on semantic
foundations of probabilistic programming will be at the core of PPS 2018, but
we are explicitly broadening the scope of PPS to embrace all aspects of
probabilistic programming languages.

We expect this workshop to be informal, and our goal is to foster
collaboration and establish common ground.  Thus, the proceedings will not
be a formal or archival publication, and we expect to spend only a portion
of the workshop day on traditional research talks.  Nevertheless, as a
concrete basis for fruitful discussions, we call for extended abstracts
describing specific and ideally ongoing work on probabilistic programming
languages, semantics, and systems.

Extended abstracts are up to 2 pages in PDF format.  Please submit them by
October 17 using EasyChair: https://easychair.org/conferences/?conf=pps2018<https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dpps2018&data=02%7C01%7Cadg%40microsoft.com%7C6144b793ea904463244a08d501edcecd%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636417043245846099&sdata=6PnVGMG%2FE2bfpRr4O8aN7pQFC%2BDGZo3hZ6hcrKpJv4Q%3D&reserved=0>

Tuesday, October 17, 2017: Submissions due
Friday, November 17, 2017: Author notification
Tuesday, December 19, 2017: Final papers due
Tuesday, January 9, 2018: Workshop, colocated right before POPL

Program committee:

  * Cameron Freer, Remine and Borelian (chair)
  * Andrew D. Gordon, Microsoft Research and University of Edinburgh (chair)
  * Johannes Borgström, Uppsala University
  * Bob Carpenter, Columbia University
  * Ohad Kammar, University of Oxford
  * Radu Mardare, Aalborg University
  * Annabelle McIver, Macquarie University
  * Norman Ramsey, Tufts University
  * Brian Ruttenberg, Charles River Analytics
  * Jean-Baptiste Tristan, Oracle Labs
  * Jan-Willem van de Meent, Northeastern University

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171011/1d92fd11/attachment-0001.html>


More information about the Types-announce mailing list