[Colloquium] [formalPhil] Michael O’Donnell at the Formal Philosophy Workshop - 11/23

[Michael J. O'Donnell]

Dear All,

The Formal Philosophy Workshop is delighted to welcome Michael O’Donnell (Department of Computer Science). Prof. O'Donnell's talk will take place on Tuesday November 23rd from 4:30-6:20pm in Cobb 119.

Prof. O'Donnell will be presenting a paper entitled:
“The Sources of Certainty in Computation and Formal Systems”

The paper, slides and optional background reading may be downloaded from the workshop website:
http://cas.uchicago.edu/workshops/formalphilosophy/

Hope to see you all there,
Nir.



-- 
Mike O'Donnell

http://people.cs.uchicago.edu/~odonnell/
PGP: http://people.cs.uchicago.edu/~odonnell/gpg_pubkey.asc