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.
||Formalising the Odd-Even merge-sort algorithm
Past meetings: 2009, 2008, 2007, 2006