Indiana University PL Reading Group
Participation

Please send us (Contact) a short proposal (informal, one paragraph) about your presentation.

Possible topics:

• Present a classic work ¹.
• Talk about your original work like library, language design, etc.
• Host a tutorial session (for example: how to use a proof assistant).

We maintain a queue of papers which every member can contribute to.

Paper selection is bidding-based. Each week we vote for the next paper to read from the first 3 papers in the paper queue.

• We expect that every participant at least go through the paper and get its main idea before coming to each meeting.
• We recommend that you bring a physical or electronic copy of the paper.

• It is always recommended to wear a mask when attending in-person meetings.