Overview

The Macquarie University Programming Languages and Verification Reading Group is a collection of faculty, students and researchers in the Department of Computing at Macquarie University who are interested in learning more about programming language design and implementation and software verification. Attendees from outside Macquarie are also very welcome.

We read papers and articles on programming language topics and discuss them at (mostly) weekly meetings. Topics are chosen according to the interests of the participants. Occasionally, we have seminars from visitors or students presenting their current work or watch videos on programming language topics.

We meet on Fridays from 4-6pm in the Jan Hext Seminar Room (room 221, 4 Research Park Drive formerly the BD Building) except when there is a Friday afternoon seminar and social event in the department. When you get to level 2 of 4RPD, turn right and go straight ahead through the doors. The Jan Hext Seminar Room is on the left.

The reading group is organised by Anthony Sloane, Matthew Roberts, Franck Cassez and Dominic Verity. Please contact them if you are interested in participating.

Announcements about reading group meetings are sent to the whole Department of Computing, but we also maintain a mailing list for regular participants and for participants who are not in the department. The mailing list receives announcements and special mailings not of general interest. Anyone can ask to be subscribed to the list.

Current Topic

TBA

Previous Topics

Please search this site if you know what you are looking for, or see the archives for a complete list: 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009.