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