Revision history of "CATS-Sep-26-2014"

From Theory

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 14:56, 24 September 2014Manishp talk contribs 2,537 bytes +2,537 Created page with "== Title == Certifying Computations: Algorithmics meets Software Engineering == Speaker == Kurt Mehlhorn == Abstract == I am mostly interested in algorithms for difficult co..."