UW PLSE

The PLSE webpages are stored in Github, and pushing to that repository publishes the webpages. If you don’t have access to the repository, ask one of the admins to give you access.

Schedule pages

The meet/ folder contains schedules for our various group meetings and reading groups. Each group meeting using the template lives in a separate folder (e.g, plrg for 590P). Within a folder, each quarter gets a new file (e.g., plrg/15au.md for the Autumn 2015 instance of 590P). There’s also a single calendar.ics in each folder, so that people can subscribe once per group, rather than resubscribing every quarter.

Adding an event

The schedule data lives in the YAML front matter in a Markdown file such as plrg/15au.md. Here is a complete definition of an event in YAML (everything except date and what is optional):

  - date: Oct 9 2016
    who: Leslie Lamport
    what: "The Part-Time Parliament: a reflection"
    link: "http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-paxos.pdf"
    extra: This is the Paxos paper!
    starttime: 2:30pm
    endtime: 3:20pm
    room: CSE 674

Some important notes about the file format:

Cancelling an event

You could just delete an event from the list. But then there won’t be a row on the webpage explaining why it’s cancelled, which some people like. To put such a row on the page, but not generate a calendar event, use an en- or em-dash as who, or use the words “No meeting” in what (case sensitive).

You might want to include multiple links in a single event. (For example, perhaps you’re presenting two papers in the same meeting.) To do this, add the second (and third, and …) link to the extra field using Markdown, like so:

  - date: Oct 9
    who: Leslie Lamport
    what: "The Part-Time Parliament: a reflection"
    link: "http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-paxos.pdf"
    extra: "Also read [The Byzantine Generals Problem](http://research.microsoft.com/en-us/um/people/lamport/pubs/byz.pdf)"

Possible fields

Adding a new schedule

Duplicate an existing quarter’s file (e.g., 15au.md). You’ll want to customize the metadata at the top of the new file. Here’s what those fields do:

To create a whole new group meeting, duplicate an entire folder.