Home

Jump to bottom Edit New page

Konrad Siek edited this page Jan 16, 2018 · 8 revisions

PRL@PRG wiki!

Welcome! This wiki is meant to gather info useful in day-to-day life in our lab as well as info for newcomers.

Communication channels

TODO: slack, mailing lists, github groups

Useful links

Group calendar (private)

PL-related resources over the internet:

Subscribe to the PL subject class on arXiv.org.
Twitter accounts of major PL-conferences: @icfp_conference @poplconf, @PLDI, @splashcon.