-
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 (and 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: Wednesday 12:30-13:30 Melbourne local time. NEW TIME (19/03/2025)
Where: Physically in UoMelb and virtually on Zoom (join the mailing list and slack to see the announced location).
Who: Anyone interested!
Organiser: @vjackson725
We have a mailing list and a slack channel for announcements and discussions. Please contact the organiser (or me) to be added.
If you have paper suggestions, please add them to this list.