ProgLog Meetings

The ProgLog group usually meets on Wednesdays at 13.15 in room 5453. Talks are informal. Anyone interested is welcome to attend. Note that the schedule is tentative. It may be changed or shifted, e.g. if there is an external speaker.

Upcoming meetings:

Date Speaker Title Extra
Dec 2 Ana Bove Formalising the Odd-Even merge-sort algorithm abstract
Dec 16 Jean-Philippe Bernardy Sorting proofs

Past meetings: 2009, 2008, 2007, 2006