-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Welcome to the Programming Languages and Verification (PL&V) reading group. The aim of this group is to provide a forum to read and discuss papers on topics such as proof theory, functional programming, type theory, and program verification (see our suggested and past papers if you want to get an idea of what we read). Members of the reading group include researchers (from CompSci and other disciplines), practitioners, students and hobbyists. We typically read and discuss one academic paper each week, while occasionally we use the time slot to host seminars or to give practice talks. In the past, we have also formalised a simple language in Coq following a text book in the reading group session.
The basic mechanics/rules are:
- At each meeting we review and discuss a paper.
- Please try to read the paper beforehand. The more people who have read the paper, the more interesting discussion we can have.
- If you come across an interesting paper, please add it to the list of suggested papers.
When: Tuesday 1:00-2:00pm Melbourne local time. NEW TIME (29/07/2025)
Where: Physically in UniMelb and virtually on Zoom (join the mailing list and zulip to see the announced location).
Who: Anyone interested!
Organiser: @vjackson725
We have a mailing list and a Zulip channel for announcements and discussions. Please contact the organiser (or me) to be added.
Suggested papers page Obsolete.
Paper suggestions are now posted in the Zulip channel.